Hoppa till sidans huvudinnehåll

Del 220

Algebraic Set Theory

Häftad, Engelska, 1995

AvAndri Joyal,Ieke Moerdijk,Montreal) Joyal, Andri (Universite du Quebec,The Netherlands) Moerdijk, Ieke (Universiteit Utrecht,Izak Moerdijk,Andre Joyal

949 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Tillhör följande kategorier

Hoppa över listan

Mer från samma serie

Del 366

Highly Oscillatory Problems

Bjorn Engquist, Athanasios Fokas, Ernst Hairer, Arieh Iserles, Austin) Engquist, Bjorn (University of Texas, Athanasios (University of Cambridge) Fokas, Ernst (Universite de Geneve) Hairer, Arieh (University of Cambridge) Iserles

Häftad

1 099 kr

Del 284

Foundations of Computational Mathematics

DeVore Iserles Suli, DeVore/Iserles/Suli, Endre Suili, Ronald Devore, Arieh Iserles, Endre Süli, Endre Süli, Ronald (University of South Carolina) Devore, Arieh (University of Cambridge) Iserles, Endre (University of Oxford) Suli

Häftad

1 049 kr

Del 292

A Quantum Groups Primer

Shahn Majid, Shahn (Queen Mary University of London) Majid, J. W. S. Cassels, N. J. Hitchin

Häftad

769 kr

Hoppa över listan

Du kanske också är intresserad av