Subtle and Ineffable Tree Properties

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: Thesis (Dissertation, LMU Munich)
• Keywords: Mathematics, Set Theory, Combinatorics, Proper Forcing, PFA, Large Cardinal, Subtle, Ineffable, Supercompact, Thin, Slender, ITP, ISP
• Dewey Decimal Classification: 600 Natural sciences and mathematics > 510 Mathematics; 600 Natural sciences and mathematics
• Faculties: Faculty of Mathematics, Computer Science and Statistics
• Language: English
• Date Accepted: 22. April 2010
• 1. Referee: Donder, Hans-Dieter
• Persistent Identifier (URN): urn:nbn:de:bvb:19-114389
• Signature of the printed copy: 0001/UMC 18546