Some Purely Topological Models for Intuitionistic Analysis

Abstract 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.