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
Introduction To Set Theory
Language: en
Pages: 130
Authors: A. K. Sharma
Categories: Set theory
Type: BOOK - Published: 2010 - Publisher: Discovery Publishing House

DOWNLOAD EBOOK

This book Introduction to Set Theory is very important in the field of modern algebra. It is very important to study this book to study modern mathematics. This
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