Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
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
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