Anzeige
Erschienen in:
1994 | OriginalPaper | Buchkapitel
Topoi and Logic
verfasst von : Saunders Mac Lane, Ieke Moerdijk
Erschienen in: Sheaves in Geometry and Logic
Verlag: Springer New York
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. 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.