Weiß, Christoph (2010): Subtle and Ineffable Tree Properties. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik |
Vorschau |
PDF
Weiss_Christoph.pdf 662kB |
Abstract
In the style of the tree property, we give combinatorial principles that capture the concepts of the so-called subtle and ineffable cardinals in such a way that they are also applicable to small cardinals. Building upon these principles we then develop a further one that even achieves this for supercompactness. We show the consistency of these principles starting from the corresponding large cardinals. Furthermore we show the equiconsistency for subtle and ineffable. For supercompactness, utilizing the failure of square we prove that the best currently known lower bounds for consistency strength in general can be applied. The main result of the thesis is the theorem that the Proper Forcing Axiom implies the principle corresponding to supercompactness.
Abstract
In Anlehnung an die Baumeigenschaft geben wir kombinatorische Prinzipien an, die die Konzepte der sogenannten subtle und ineffable Kardinalzahlen so einfangen, dass diese auch für kleine Kardinalzahlen anwendbar sind. Auf diesen Prinzipien aufbauend entwickeln wir dann ein weiteres, das dies sogar für superkompakte Kardinalzahlen leistet. Wir zeigen die Konsistenz dieser Prinzipien ausgehend von den jeweils entsprechenden großen Kardinalzahlen. Zudem zeigen wir die Äquikonsistenz für subtle und ineffable. Für Superkompaktheit beweisen wir durch das Fehlschlagen des Quadratprinzips, dass die besten derzeit bekannten unteren Schranken für Konsistenzstärke anwendbar sind. Das Hauptresultat der Arbeit ist das Ergebnis, dass das Proper Forcing Axiom das der Superkompaktheit entsprechende Prinzip impliziert.
Dokumententyp: | Dissertationen (Dissertation, LMU München) |
---|---|
Keywords: | Mathematics, Set Theory, Combinatorics, Proper Forcing, PFA, Large Cardinal, Subtle, Ineffable, Supercompact, Thin, Slender, ITP, ISP |
Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik
500 Naturwissenschaften und Mathematik |
Fakultäten: | Fakultät für Mathematik, Informatik und Statistik |
Sprache der Hochschulschrift: | Englisch |
Datum der mündlichen Prüfung: | 22. April 2010 |
1. Berichterstatter:in: | Donder, Hans-Dieter |
MD5 Prüfsumme der PDF-Datei: | a92de0261e2b243fff27e3baed3906e9 |
Signatur der gedruckten Ausgabe: | 0001/UMC 18546 |
ID Code: | 11438 |
Eingestellt am: | 29. Apr. 2010 12:47 |
Letzte Änderungen: | 24. Oct. 2020 05:07 |