Algebraic Set Theory

Zusammenfassung Offers a new! algebraic! approach to set theory. The authors introduce a particular kind of algebra! the Zermelo-Fraenkel algebras! which arise from the familiar axioms of Zermelo-Fraenkel set theory. Furthermore the authors explicitly construct such algebras using the theory of bisimulations. Their approach is completely constructive! and contains both intuitionistic set theory and topos theory. Inhaltsverzeichnis 1. Axiomatic theory of small maps; 2. Zermelo-Fraenkel algebras; 3. Existence theorems; 4. Examples.

Produktdetails

• Autoren: Andre Joyal, Andri Joyal, Andri (Universite Du Quebec Joyal, Andri Moerdijk Joyal, Ieke Moerdijk, Izak Moerdijk
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Taschenbuch
• Erschienen: 14.09.1995
• EAN: 9780521558303
• ISBN: 978-0-521-55830-3
• Seiten: 132
• Serie: London Mathematical Society Le
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Naturwissenschaften allgemein