Reals and Forcing with an Elementary Topos
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.
Unable to display preview. Download preview PDF.
- [BW]M. Barr and C. F. Wells, Triples, Topoi and Theories, Springer-Verlag, Heidelberg, 1985.Google Scholar
- [C]P. J. Cohen, The independence of the continuum hypothesis, Proc. Nat. Acad. Sei. 50 (1963), 1143–1148 and 51 (1964), 105–110.Google Scholar
- [GV]A. Grothendieck and J. L. Verdier, Theorie des Topos, SGA IV, Springer Lecture Notes in Math., Vol. 269/270 (1972).Google Scholar
- [L]F. W. Lawvere, An elementary theory of the category of sets, Proc. Nat. Acad. Sei. USA 52 (1964), 1500–1511.Google Scholar
- [MacMo]S. MacLane and I. Moerdijk, A First Introduction to Topos Theory, (Springer-Verlag; in preparation).Google Scholar
- [Ma]A. R. D. Mathias, Notes on MacLane set theory, Preprint (1989), 11 pages. Google Scholar