Detailansicht
Forcing: Larger cardinals in Cichon's diagram, and PFA(S)[S]
Arthur Fischer
Art der Arbeit
Dissertation
Universität
Universität Wien
Fakultät
Fakultät für Mathematik
Studiumsbezeichnung bzw. Universitätlehrgang (ULG)
Doktoratsstudium NAWI aus dem Bereich Naturwissenschaften (Dissertationsgebiet: Mathematik)
Betreuer*in
Jakob Kellner
DOI
10.25365/thesis.36205
URN
urn:nbn:at:at-ubw:1-30177.00060.678553-6
Link zu u:search
(Print-Exemplar eventuell in Bibliothek verfügbar)
Abstracts
Abstract
(Deutsch)
Die vorliegende Dissertation verwendet die forcing Methode für Untersuchungen an den reellen Zahlen und allgemeinen topologischen Räumen.
Im ersten Teil der Arbeit, die gemeinschaftlich mit M. Goldstern, J. Kellner und S. Shelah entstanden ist, wird ein creature forcing verwendet um ein Modell der Mengenlehre zu konstruieren in dem Aleph_1 = d = cov(N) < non(M) < non(N) < cof(N) < c.
Im zweiten Teil der Dissertation setzen wir die Untersuchung der topologischen Konsequenzen von PFA(S) fort. Das Axiom PFA(S) wurde von S. Todorcevics eingeführt und ist das Fragment von PFA das konsistent bleibt mit der Aussage, einen vorher fixierten Suslin Baum S-Suslin zu belassen. Wir zeigen insbesondere: In der von S erzeugten generischen Erweiterung ist jeder lokal abzählbare topologische Teilraum von Größe <c eines kompakten Hausdorff Raums Sigma-diskret. Das Resultat bezieht sich auf Z. Szentmiklossys Untersuchungen der S-Räume unter MA. Das MA Gegenstück dazu wurde von Z. Balogh erarbeitet.
Abstract
(Englisch)
This thesis applies the method of forcing to the investigation of the real line, and general topological spaces.
In the first part of the thesis (joint work with M. Goldstern, J. Kellner and S. Shelah), a creature forcing construction is used to construct models of ZGC in which Aleph_1 = d = cov(N) < non(M) < non(N) < cof(N) < c.
In the second part of the thesis, we continue the investigation of topological consequenced of S. Todorcevic's PFA(S) (the fragment of the Proper Forcing Axiom consistent with keeping a fixed (coherent) Souslin tree $S$ Souslin). In particular, we show that in the generic extension by $S$, every locally countable subspace of cardinality ${<}\mathfrak{c}$ in a compact Hausdorff space is $\sigma$-discrete. This is related to Z. Szentmiklossy's investigation of S-spaces under MA, the MA-counterpart of which was extracted by Z. Balogh.
Schlagwörter
Schlagwörter
(Englisch)
forcing creature forcing Chicon's diagram forcing axioms proper forcing Souslin trees
Schlagwörter
(Deutsch)
forcing creature forcing Chicons Diagramm Forcing Axiome proper forcing Souslin Bäume
Autor*innen
Arthur Fischer
Haupttitel (Englisch)
Forcing: Larger cardinals in Cichon's diagram, and PFA(S)[S]
Paralleltitel (Deutsch)
Forcing: Größere Kardinalzahlen in Cichons Diagramm, und PFA(S)[S]
Publikationsjahr
2015
Umfangsangabe
VI, 81 S. : Ill., graph. Darst.
Sprache
Englisch
Beurteiler*innen
Sy David Friedman ,
Jörg Brendle
Klassifikation
31 Mathematik > 31.10 Mathematische Logik, Mengenlehre
AC Nummer
AC12250008
Utheses ID
32088
Studienkennzahl
UA | 796 | 605 | 405 |