Keywords
- Springer Lecture Note
- Baire Space
- Sheaf Model
- Cantor Space
- Rare Sequence
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
M. Beeson: Continuity in intuitionistic set theories, in: Logic Colloquium 78, ed. by M. Boffa, D. van Dalen and K. McAloon, North Holland, Amsterdam, 1979.
J. L. Bell: Boolean-valued models and independence proofs in set theory, Clarendon Press, Oxford, 1977.
D. van Dalen: An interpretation of intuitionistic analysis, Annals of Math. Logic 13 (1978), pp. 1–43.
M. Dummett: Elements of Intuitionism, Clarendon Press, Oxford, 1977.
M. P. Fourman: Sheaf models for set theory I, notes, Columbia University, 1979.
M. P. Fourman, J. M. E. Hyland: Sheaf models for analysis, in: Applications of Sheaves, ed. by M. P. Fourman, C. J. Mulvey and D. S. Scott, Springer Lecture Notes in Mathematics 753, Berlin, 1979.
M. P. Fourman, D. S. Scott: Sheaves and Logic, in: Applications of Sheaves, ed. by M. P. Fourman, C. J. Mulvey and D. S. Scott, Springer Lecture Notes in Mathematics 753, Berlin, 1979.
P. Freyd: All topoi are localic, or: Why permutation models prevail, notes, 1980.
R. Grayson: Heyting-valued models for intuitionistic set theory, in: Applications of Sheaves, ed. by M. P. Fourman, C. J. Mulvey and D. S. Scott, Springer Lecture Notes in Mathematics 753, Berlin, 1979.
R. Grayson: Concepts of general topology in constructive mathematics and in sheaves, preliminary report 78-12, University of Amsterdam, 1978.
J. M. E. Hyland: Continuity in spatial topoi, in: Applications of Sheaves, ed. by M. P. Fourman, C. J. Mulvey and D. S. Scott, Springer Lecture Notes in Mathematics 753, Berlin, 1979.
J. M. E. Hyland: Notes on realizability toposes, University of Cambridge, 1979.
S. C. Kleene, R. E. Vesley: The Foundations of Intuitionstic Mathematics, North-Holland, Amsterdam, 1965.
M. D. Krol': A topological model for intuitionistic analysis with Kripke's Schema, Zeitschr. f. Math. Logik und Grundlagen d. Math. 24 (1978), pp. 427–436.
J. R. Moschovakis: A topological interpretation of second order intuitionistic arithmetic, Compositio Math. 26 (1973), pp. 261–275.
J. Myhill: Formal systems for intuitionistic analysis I, in: Proceedings of 3rd International Congress of Logic, Methodology and Philosophy of Science, ed. by B. van Rootselaer and J. F. Staal, North-Holland, Amsterdam, 1968.
J. Myhill: Formal systems for intuitionistic analysis II, in: Intutionism and Proof Theory, ed. by A. Kino, J. Myhill, R. E. Vesley, North-Holland, Amsterdam, 1970.
J. Myhill: Constructive set theory, JSL 40 (1975), pp. 347–382.
J. Myhill; A. Scedrov: Second-order intuitionistic propositional calculus, to appear.
D. S. Scott: Extending the topological interpretation to intuitionistic analysis, I. Compositio Math. 20 (1968), pp. 194–210.
D. S. Scott: Extending the topological interpretation to intuitionistic analysis, II. in: Intuitionism and Proof Theory, ed. by A. Kino, J. Myhill, R. E. Vesley, North Holland, Amsterdam, 1970.
W. C. Powell: Seminar Notes, Ohio State University, 1977.
M. Tierney: Sheaf Theory and Continuum Hypothesis, in: Toposes, Algebraic Geometry and Logic, ed. by F. W. Lawvere, Springer Lecture Notes in Mathematics 274, Berlin, 1972.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
Ščedrov, A. (1981). Consistency and independence results in intuitionistic set theory. In: Richman, F. (eds) Constructive Mathematics. Lecture Notes in Mathematics, vol 873. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0090727
Download citation
DOI: https://doi.org/10.1007/BFb0090727
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10850-4
Online ISBN: 978-3-540-38759-6
eBook Packages: Springer Book Archive
