Some purely topological models for intuitionistic analysis (Q1302294): Difference between revisions

The author proves that a Moschovakis-style model over the product of uncountably many copies of the Cantor space, proposed by him, is elementarily equivalent to Krol's model [\textit{M. D. Krol}, ``A topological model for intuitionistic analysis with Kripke's scheme'', Z. Math. Logik Grundlagen Math. 24, 427-436 (1978; Zbl 0418.03039)] for intuitionistic analysis with Kripke's schema. He then shows that Moschovakis' original model [\textit{J. R. Moschovakis}, ``A topological interpretation of second-order intuitionistic arithmetic'', Compositio Math. 26, 261-275 (1973; Zbl 0279.02018)], if interpreted in an intuitionistic metatheory, satisfies the general schema of weak continuity for numbers.