An Introduction to Independence for Analysts

Erscheinungsjahr 2008
ISBN: 978-0-521-33996-4
Verlag: Cambridge University Press

Buch, Englisch, Band 115, 256 Seiten, Format (B × H): 152 mm x 229 mm, Gewicht: 421 g

Reihe: London Mathematical Society Lecture Note Series

Forcing is a powerful tool from logic which is used to prove that certain propositions of mathematics are independent of the basic axioms of set theory, ZFC. This book explains clearly, to non-logicians, the technique of forcing and its connection with independence, and gives a full proof that a naturally arising and deep question of analysis is independent of ZFC. It provides an accessible account of this result, and it includes a discussion, of Martin's Axiom and of the independence of CH.

Autoren/Hrsg.

Dales, H. G.

Woodin, W. H.

Fachgebiete

• Mathematik | Informatik Mathematik Stochastik Wahrscheinlichkeitsrechnung
• Mathematik | Informatik Mathematik Stochastik Mathematische Statistik

Inhaltsverzeichnis

1. Homomorphisms from algebras of continuous functions; 2. Partial orders, Boolean algebras, and ultraproducts; 3. Woodin's condition; 4. Independence in set theory; 5. Martin's Axiom; 6. Gaps in ordered sets; 7. Forcing; 8. Iterated Forcing.