Erweiterte Suche

Stationary set preserving L-forcings and the extender algebra

Wir konstruieren das Jensensche L-Forcing und nutzen dieses um die Pi_2 Konsequenzen der Theorie ZFC+BMM+"das nichtstationäre Ideal auf omega_1 ist abschüssig" zu studieren. Viele natürliche Konsequenzen der Theorie ZFC+MM folgen schon aus dieser schwächeren Theorie. Wir geben eine neue Charakterisierung des Axioms Dagger ("Alle Forcings welche stationäre Teilmengen von omega_1 bewahren sind semiproper") in dem wir eine Klasse von L-Forcings isolieren deren Semiproperness äquivalent zu Dagger ist. Wir verallgemeinern ein Resultat von Todorcevic: wir zeigen, dass Rado's Conjecture Dagger impliziert. Des weiteren studieren wir Generizitätsiterationen im Kontext einer messbaren Woodinzahl. Mit diesem Werkzeug erhalten wir eine Verallgemeinerung des Woodinschen Sigma^2_1 Absolutheitstheorems.

We review the construction of Jensen's L-forcing which we apply to study the Pi_2 consequences of the theory ZFC + BMM + "the nonstationary ideal on omega_1 is precipitous". Many natural consequences ZFC + MM follow from this weaker theory. We give a new characterization of the axiom dagger ("All stationary set preserving forcings are semiproper") by isolating a class of stationary set preserving L-forcings whose semiproperness is equivalent to dagger. This characterization is used to generalize work of Todorcevic: we show that Rado's Conjecture implies dagger. Furthermore we study genericity iterations beginning with a measurable Woodin cardinal. We obtain a generalization of Woodin's Sigma^2_1 absoluteness theorem.

Titel: Stationary set preserving L-forcings and the extender algebra
Verfasser: Doebler, Philipp GND
Gutachter: Schindler, Ralf
Organisation: FB 10: Mathematik und Informatik
Dokumenttyp: Dissertation/Habilitation
Medientyp: Text
Erscheinungsdatum: 2010
Publikation in MIAMI: 17.03.2010
Datum der letzten Änderung: 03.05.2016
Schlagwörter: L-Forcing; beschränkte Forcingaxiome; Extender-Algebra; Generizitätsiterationen; Chang's conjecture; Rado's conjecture; Woodin-Kardinalzahlen
Fachgebiete: Mathematik
Sprache: Englisch
Format: PDF-Dokument
URN: urn:nbn:de:hbz:6-18459428688
Permalink: https://nbn-resolving.org/urn:nbn:de:hbz:6-18459428688
Onlinezugriff: