Call Boomerang Books 1300 36 33 32

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 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.

Buy Algebraic Set Theory book by Andri Joyal from Australia's Online Bookstore, Boomerang Books.

Book Details

ISBN: 9780521558303
ISBN-10: 0521558301
Format: Paperback
(228mm x 152mm x 8mm)
Pages: 132
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 14-Sep-1995
Country of Publication: United Kingdom

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Algebraic Set Theory book by Andri Joyal and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review