×
Krol’, M. D.

The topological models of intuitionistic analysis. One counterexample. (English. Russian original) Zbl 0355.02025

Math. Notes 19, 503-504 (1976); translation from Mat. Zametki 19, 859-862 (1976).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0355.02025

Cited in 1 Review
Cited in 2 Documents

MSC:

03F55 Intuitionistic mathematics
03F99 Proof theory and constructive mathematics
Cite Review PDF
Full Text: DOI

References:

[1] D. Scott, ?Extending the topological interpretation to intuitionistic analysis,? Compositio Math.,20, 194?210 (1968). · Zbl 0197.00201
[2] D. Scott, ?Extending the topological interpretation to intuitionistic analysis. II,? Intuitionism and Proof Theory, North-Holland, Amsterdam (1970), pp. 235?255.
[3] J. R. Moschovakis, ?A topological interpretation of second-order intuitionistic arithmetic,? Compositio Math.,26, 261?275 (1973).
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.