1994 | OriginalPaper | Chapter
Topoi and Logic
Authors : Saunders Mac Lane, Ieke Moerdijk
Published in: Sheaves in Geometry and Logic
Publisher: Springer New York
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Topos theory involves both geometry, especially sheaf theory, and logic, especially set theory. This chapter will develop some of the connections with set theory and illustrate how geometric constructions such as sheafification are deeply involved in independence proofs for the axioms of set theory.