Weiß, Christoph (2010): Subtle and Ineffable Tree Properties. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics |
Preview |
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.
Item Type: | Theses (Dissertation, LMU Munich) |
---|---|
Keywords: | Mathematics, Set Theory, Combinatorics, Proper Forcing, PFA, Large Cardinal, Subtle, Ineffable, Supercompact, Thin, Slender, ITP, ISP |
Subjects: | 500 Natural sciences and mathematics > 510 Mathematics 500 Natural sciences and mathematics |
Faculties: | Faculty of Mathematics, Computer Science and Statistics |
Language: | English |
Date of oral examination: | 22. April 2010 |
1. Referee: | Donder, Hans-Dieter |
MD5 Checksum of the PDF-file: | a92de0261e2b243fff27e3baed3906e9 |
Signature of the printed copy: | 0001/UMC 18546 |
ID Code: | 11438 |
Deposited On: | 29. Apr 2010 12:47 |
Last Modified: | 24. Oct 2020 05:07 |