Some purely topological models for intuitionistic analysis Original Research Article

If one builds a topological model, analogous to that of Moschovakis (1973), over the product of uncountably many copies of the Cantor set, one obtains a structure elementarily equivalent to Krolʹs model (1978). In an intuitionistic metatheory Moschovakisʹs original model satisfies all the axioms of intuitionistic analysis, including the unrestricted version of weak continuity for numbers.