
Set Theory
Boolean-Valued Models and Independence Proofs
John L. Bell(Author)
Clarendon Press
3rd Edition
Published on 1. June 2005
Book
Hardback
216 pages
978-0-19-856852-0 (ISBN)
Description
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.
More details
Edition
3rd edition
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
Professional and scholarly
Edition type
New edition
Illustrations
numerous line drawings and mathematical examples
Dimensions
Height: 242 mm
Width: 162 mm
Thickness: 16 mm
Weight
467 gr
ISBN-13
978-0-19-856852-0 (9780198568520)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Book
05/2011
33rd Edition
Oxford University Press
€71.00
Shipment within 15-20 days

George Berkeley | Howard Robinson
Set Theory: Boolean-Valued Models and Independence Proofs
Boolean-Valued Models and Independence Proofs
E-Book
05/2005
1st Edition
Clarendon Press
€57.89
Available for download
Person
Content
Foreword; Preface; 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