Some purely topological models for intuitionistic analysis
type: Item
instance of: scholarly article
title: Some purely topological models for intuitionistic analysis
zbMATH Open document ID: 0944.03058
DOI: 10.1016/S0168-0072(98)00059-1
author: Philip Scowcroft
published in: Annals of Pure and Applied Logic
publication date: 2000-09-15T00:00:00Z
review text: 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.
reviewed by: Victor N. Krivtsov
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03C90
zbMATH DE Number: 1340813
zbMATH Keywords: intuitionistic analysis
zbMATH Keywords: topological models
MaRDI profile type: Publication
cites work: An interpretation of intuitionistic analysis
cites work: Some theorems of set theory and their topological consequences
cites work: Q3050433
cites work: Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
cites work: Q3281965
cites work: Q5343325
cites work: The topological models of intuitionistic analysis. One counterexample
cites work: A Topological Model for Intuitionistic Analysis with Kripke's Scheme
cites work: Q4404863
cites work: Q3912576
cites work: A new model for intuitionistic analysis
cites work: Q4764119
cites work: Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
cites work: Constructivism in mathematics. An introduction. Volume II
Recommended article: Q5593817
Recommended article: Q4829243
Recommended article: Q4395561
Recommended article: Intuitionistic logic and modality via topology
Recommended article: Q4778494
Recommended article: Topological models for extensional partial set theory
Recommended article: Two applications of topology to model theory
Recommended article: Topological duality for intuitionistic modal algebras
Recommended article: Q3086700
Recommended article: Topological models of arithmetic
description: scientific article; zbMATH DE number 1340813