Abstract
Certain special types of categories, called Toposes, can formulate basic facts about sheaf theory in topology and algebraic geometry and thus clarify the role of geometry in independence proofs by forcing. They also establish a remarkable connection with intuitionist logic. This paper will summarize these results.
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. Barr and C. F. Wells, Triples, Topoi and Theories, Springer-Verlag, Heidelberg, 1985.
J. L. Bell, Toposes and Local Set Theories, an Introduction, Clarendon Press, 1988, pp. 267.
M. C. Bunge, Topos theory and Souslin’s hypothesis, J. Pure and Applied Algebra 4 (1974), 159–187.
P. J. Cohen, The independence of the continuum hypothesis, Proc. Nat. Acad. Sei. 50 (1963), 1143–1148 and 51 (1964), 105–110.
M. P. Fourman, Sheaf models for set theory, J. Pure and Applied Algebra 19 (1980), 91–101.
P. J. Freyd, The axiom of choice, J. Pure and Applied Algebra 19 (1980), 103–125.
A. Grothendieck and J. L. Verdier, Theorie des Topos, SGA IV, Springer Lecture Notes in Math., Vol. 269/270 (1972).
P. T. Johnstone, Topos Theory, London Math. Soc. Monograph No. 10, Academic Press, New York, 1977, pp. 367.
J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic, Cambridge Univ. Press, 1986, pp. 293.
F. W. Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sei. USA 52 (1964), 1500–1511.
S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics No. 5, Springer-Ver lag, Heidelberg, 1971.
S. Mac Lane , Mathematics: Form and Function, Springer-Verlag, New York/Heidelberg, 1986, 476 pages.
S. MacLane and I. Moerdijk, A First Introduction to Topos Theory, (Springer-Verlag; in preparation).
A. R. D. Mathias, Notes on MacLane set theory, Preprint (1989), 11 pages.
W. Mitchell, Boolean topoi and the theory of sets, J. Pure and Applied Algebra 2 (1972), 261–274.
M. Tierney, Sheaf theory and the continuum hypothesis, in “Toposes, algebraic geometry, and logic”, F. W. Lawvere (ed.), Springer Lecture Notes in Math 274 (1972), 13–42.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc
About this paper
Cite this paper
Mac Lane, S., Moerdijk, I. (1992). Reals and Forcing with an Elementary Topos. In: Moschovakis, Y.N. (eds) Logic from Computer Science. Mathematical Sciences Research Institute Publications, vol 21. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-2822-6_15
Download citation
DOI: https://doi.org/10.1007/978-1-4612-2822-6_15
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-7685-2
Online ISBN: 978-1-4612-2822-6
eBook Packages: Springer Book Archive