Algebraic set theory
 Responsibility
 A. Joyal and I. Moerdijk.
 Imprint
 Cambridge ; New York : Cambridge University Press, 1995.
 Physical description
 123 p.
 Series
 London Mathematical Society lecture note series 220
Online
At the library
SAL3 (offcampus storage)
Stacks
Request (opens in new tab)
Call number  Note  Status 

QA248 .J69 1995  Available 
More options
Description
Creators/Contributors
 Author/Creator
 Joyal, André.
 Contributor
 Moerdijk, Ieke.
Contents/Summary
 Bibliography
 Includes bibliographical references (p. 117119) and index.
 Contents

 1. Axiomatic theory of small maps
 2. ZermeloFraenkel algebras
 3. Existence theorems
 4. Examples.
 (source: Nielsen Book Data)
 Publisher's summary

This book offers a new, algebraic, approach to set theory. The authors introduce a particular kind of algebra, the ZermeloFraenkel algebras, which arise from the familiar axioms of ZermeloFraenkel 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. In particular it provides a uniform description of various constructions of the cumulative hierarchy of sets in forcing models, sheaf models and realisability 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 some background in categorical logic.
(source: Nielsen Book Data)
Subjects
 Subjects
 Set theory.
Bibliographic information
 Publication date
 1995
 ISBN
 0521558301 (pbk.)
 9780521558303 (pbk.)