Set Theory

Boolean-Valued Models and Independence Proofs

John L. Bell - Collection Oxford Logic Guides

200 pages, parution le 05/08/2005 (3^eme édition)

Ajouter à une liste

Indisponible

Résumé

This monograph is a follow up to the author's classic text Boolean-Valued Models and Independence Proofs in Set Theory, providing an exposition of some of the most important results in set theory obtained in the 20th century--the independence of the continuum hypothesis and the axiom of choice. Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science, the text has been extensively updated with expanded introductory material, new chapters, and a new appendix on category theory, and includes recent developments in the field. Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory.

A clear exposition of independence proofs in set theory presented in its most elegant form--Boolean-valued models
With a foreword by Dana Scott--an illuminating historical account by one of the creators of the subject
Numerous exercises, along with the enlarged and entirely updated background material, make this an ideal text for students in logic and set theory
New to this edition

30% new material on recent developments
Expanded background material
A new appendix on category theory

Readership: Aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science.

L'auteur - John L. Bell

John L. Bell, Professor of Philosophy, University of Western Ontario

Sommaire

List of Problems
0 Boolean and Heyting Algebras: The Essentials
1 Boolean-Valued Models: First Steps
2 Forcing and Some Independece Proofs
3 Group Actions on V(B) and the Independence of the Axiom of Choice
4 Generic Ultrafilters and Transitive Models of ZFC
5 Cardinal Collapsing, Boolean Isomorphism and Applications to the Theory of Boolean Algebras
6 Iterated Boolean Extensions, Martin's Axiom and Souslin's Hypothesis
7 Boolean-Valued Analysis
8 Intuitionistic Set Theory and Heyting-Algebra-Valued Models
Appendix. Boolean- and Heyting-Algebra-Valued Models as Categories
Historical Notes
Bibliography
Index of Symbols
Index of Terms

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Oxford University Press
Auteur(s)	John L. Bell
Collection	Oxford Logic Guides
Parution	05/08/2005
Édition	3^eme édition
Nb. de pages	200
Format	16 x 24
Couverture	Relié
Poids	450g
Intérieur	Noir et Blanc
EAN13	9780198568520
ISBN13	978-0-19-856852-0