Set Theory - John L. Bell

Set Theory

Boolean-Valued Models and Independence Proofs

(Autor)

Buch | Hardcover
216 Seiten
2005 | 3rd edition
Clarendon Press (Verlag)
978-0-19-856852-0 (ISBN)
98,50 inkl. MwSt
  • Titel ist leider vergriffen;
    keine Neuauflage
  • Artikel merken
Provides an exposition of some of the important results in set theory obtained in the 20th century - the independence of the continuum hypothesis and the axiom of choice. This book is aimed at research students and academics in mathematics, mathematical logic, philosophy, and computer science.
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.

John L. Bell is a member of the editorial boards of the journals Axiomathes and Philosophia Mathematica.

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

Erscheint lt. Verlag 1.6.2005
Zusatzinfo numerous line drawings and mathematical examples
Verlagsort Oxford
Sprache englisch
Gewicht 452 g
Themenwelt Mathematik / Informatik Mathematik Logik / Mengenlehre
Naturwissenschaften
ISBN-10 0-19-856852-5 / 0198568525
ISBN-13 978-0-19-856852-0 / 9780198568520
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
how simple questions lead us to mathematics’ deepest truths

von Eugenia Cheng

Buch | Softcover (2024)
Profile Books Ltd (Verlag)
13,70
An Introduction to Mathematical Proofs

von Antonella Cupillari

Buch | Softcover (2023)
Academic Press Inc (Verlag)
57,30