Algebraic Set Theory

Algebraic Set Theory
Author :
Publisher : Cambridge University Press
Total Pages : 136
Release :
ISBN-10 : 0521558301
ISBN-13 : 9780521558303
Rating : 4/5 (303 Downloads)

Book Synopsis Algebraic Set Theory by : André Joyal

Download or read book Algebraic Set Theory written by André Joyal and published by Cambridge University Press. This book was released on 1995-09-14 with total page 136 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 these 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 realizability 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 a background in categorical logic.


Algebraic Set Theory Related Books

Algebraic Set Theory
Language: en
Pages: 136
Authors: André Joyal
Categories: Mathematics
Type: BOOK - Published: 1995-09-14 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

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
A Book of Set Theory
Language: en
Pages: 259
Authors: Charles C Pinter
Categories: Mathematics
Type: BOOK - Published: 2014-07-23 - Publisher: Courier Corporation

DOWNLOAD EBOOK

"This accessible approach to set theory for upper-level undergraduates poses rigorous but simple arguments. Each definition is accompanied by commentary that mo
Set Theory and Logic
Language: en
Pages: 516
Authors: Robert R. Stoll
Categories: Mathematics
Type: BOOK - Published: 2012-05-23 - Publisher: Courier Corporation

DOWNLOAD EBOOK

Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathema
Labyrinth of Thought
Language: en
Pages: 472
Authors: Jose Ferreiros
Categories: Mathematics
Type: BOOK - Published: 2001-11-01 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

"José Ferreirós has written a magisterial account of the history of set theory which is panoramic, balanced, and engaging. Not only does this book synthesize
Set Theory: The Structure of Arithmetic
Language: en
Pages: 289
Authors: Norman T. Hamilton
Categories: Mathematics
Type: BOOK - Published: 2018-05-16 - Publisher: Courier Dover Publications

DOWNLOAD EBOOK

This text is formulated on the fundamental idea that much of mathematics, including the classical number systems, can best be based on set theory. 1961 edition.