Del 177
Applications of Categories in Computer Science
M. P. Fourman, P. T. Johnstone, A. M. Pitts
Häftad, 1992
1 024 kr
Algebraic Set Theory
Häftad, Engelska, 1995
Del 220 i serien London Mathematical Society Lecture Note Series
906 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Recensioner i media
Innehållsförteckning
Hoppa över listan
Mer från samma serie
Del 34
Representation Theory of Lie Groups
M. F. Atiyah, R. Bott, S. Helgason, D. Kazhdan, B. Kostant, G. Lustztig
Häftad, 1980
1 322 kr
Del 69
Del 427
Del 288
Del 284
Foundations of Computational Mathematics
DeVore Iserles Suli, DeVore/Iserles/Suli, Ronald Devore, Arieh Iserles, Endre Süli
Häftad, 2001
1 006 kr
Del 286
Del 289
Del 290
Del 292
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Alpine Bouquet of Algebraic Topology
Christian Ausoni, Kathryn Hess, Brenda Johnson, Ieke Moerdijk, Jerome Scherer
Häftad, 2018
1 551 kr