When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Algebraic Set Theory by Izak Moerdijk (English) Paperback Book
- Item No : 157043795909
- Condition : Brand New
- Brand : No brand Info
- Seller : the_nile
- Current Bid : US $61.91
-
* Item Description
-
The Nile on eBay 
Algebraic Set Theory
by Izak Moerdijk, Andre Joyal
This book 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 these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.
FORMAT
PaperbackLANGUAGE
EnglishCONDITION
Brand New
Publisher Description
This book 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 these algebras using the theory of bisimulations. Their approach is completely constructive, and contains both intuitionistic set theory and topos theory. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realizability models. Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest, and it should be accessible to anyone with a background in categorical logic.
Table of Contents
1. Axiomatic theory of small maps; 2. Zermelo-Fraenkel algebras; 3. Existence theorems; 4. Examples.
Review
"Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest." Ioan Tofan, Mathematical Reviews
Review Quote
"Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest." Ioan Tofan, Mathematical Reviews
Promotional "Headline"
This book offers a new, algebraic, approach to set theory.
Description for Bookstore
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.
Description for Library
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.
Details
ISBN0521558301Author Andre JoyalShort Title ALGEBRAIC SET THEORYPages 132Publisher Cambridge University PressLanguage EnglishISBN-10 0521558301ISBN-13 9780521558303Media BookFormat PaperbackDEWEY 511.322Year 1995Publication Date 1995-09-30Imprint Cambridge University PressPlace of Publication CambridgeCountry of Publication United KingdomSeries London Mathematical Society Lecture NotesIllustrations Worked examples or ExercisesDOI 10.1604/9780521558303Series Number 220Audience Professional and ScholarlyUK Release Date 1995-09-14AU Release Date 1995-09-14NZ Release Date 1995-09-14
