LMS: 220 Algebraic Set Theory - Couverture souple

Livre 195 sur 387: London Mathematical Society Lecture Notes

Joyal, Andri

 
9780521558303: LMS: 220 Algebraic Set Theory
Couverture souple
ISBN 10 : 0521558301 ISBN 13 : 9780521558303
Editeur : Cambridge University Press, 2008

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Revue de presse

"Graduate students and researchers in mathematical logic, category theory and computer science should find this book of great interest." Ioan Tofan, Mathematical Reviews

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
2008
Langue
anglais
ISBN 10 
0521558301
ISBN 13 
9780521558303
Reliure
Broché
Nombre de pages
132
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France