You are here: University of Vienna PHAIDRA Detail o:1322303
Title (eng)
Foundations of higher-order forcing
Parallel title (deu)
Grundlagen der Erzwingungsmethode höherer Ordnung
Author
Carolin Antos-Kuby
Adviser
Sy-David Friedman
Assessor
Martin Goldstern
Assessor
Benjamin Miller
Abstract (deu)
Grundlegend kann die Erzwingungsmethode durch die Größe ihrer Grundstruktur klassifiziert werden. Die heute verwendeten Formen umfassen Größen im Bereich von Mengen und definierbaren Klassen. In dieser Arbeit werden die nächsten möglichen Schritte in dieser Hierarchie entwickelt: Klassen und Hyperklassen (Objekte deren Elemente Klassen sind) in der Theorie von Morse-Kelley. F\"ur Klassen werden die Definitionen und grundlegenden Ergebnisse der Erzwingungsmethode im Kontext von Morse-Kelley definiert und gezeigt. Insbesondere wird das Definierbarkeitslemma und Wahrheitslemma bewiesen das hier im allgemeinen f\"ur jegliche Klassenerzwingung gilt. Als Anwendung beweisen wir, dass das Theorem von Laver nicht f\"ur Klassenerzwingung gilt. Für Hyperklassen nutzen wir die Beziehung zwischen Modellen von MK$^{**}$ und Modellen einer Variante von ZFC$^-$. Dies erlaubt uns Hyperklassenerzwingung in MK$^{**}$ zu definieren, indem wir zu einem ZFC$^-$ Modell gehen und dort definierbare Klassenerzwingung anwenden. Von der daraus ge-wonnenen Modellerweiterung können wir nun wieder zu einem Modell von MK$^{**}$ zurückgehen. Für diesen Ansatz entwickeln wir eine Kodierung zwischen Modellen von MK$^{**}$ und bestimmten Modellen von ZFC$^-$ und zeigen, dass definierbare Klassenerzwingung in diesem Kontext durchführbar ist. Ein konkretes Beispiel einer Hyperklassenerzwingung wird gegeben, indem gezeigt wird, dass jedes $\beta$-Modell von MK$^{**}$ zu einem minimalen $\beta$-Modell von MK$^{**}$ erweitert werden kann (mit den selben Ordinalzahlen).
Abstract (eng)
Forcing notions can be classified via their size in a general way. Until now two different types were developed: set forcing and definable class forcing, where the forcing notion is a set or definable class respectively. Here, we want to introduce and study the next two steps in this classification by size, namely class forcing and definable hyperclass forcing (where the conditions of the forcing notion are themselves classes) in the context of (an extension of) Morse-Kelley class theory. For class forcing, we adapt the existing account of class forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class forcing in such a model and show that the Definability Lemma (and the Truth Lemma) can be proven without restricting the notion of forcing. Furthermore we show under which conditions the axioms are preserved. We conclude by proving that Laver's Theorem does not hold for class forcings. For definable hyperclass forcing, we use a symmetry between MK$^{**}$ models and models of ZFC$^-$ plus there exists a strongly inaccessible cardinal (called SetMK$^{**}$). This allows us to define hyperclass forcing in MK$^{**}$ by going to the related SetMK$^{**}$ model and use a definable class forcing there. We arrive at a definable class forcing extension from which we can go back to a model of MK$^{**}$. To use this construction we define a coding between MK$^{**}$ and SetMK$^{**}$ models and show how definable class forcing can be applied in the context of an ZFC$^-$ model. We conclude by giving an application of this forcing in showing that every $\beta$-model of MK$^{**}$ can be extended to a minimal $\beta$-model of MK$^{**}$ with the same ordinals.
Keywords (eng)
set theoryforcingclass theory
Keywords (deu)
ErzwingungsmethodeKlassentheorieMengenlehre
Type (deu)
Persistent identifier
https://phaidra.univie.ac.at/o:1322303
rdau:P60550 (deu)
IX, 69 S. : graph. Darst.
Number of pages
79
Association (deu)
Members (1)
Title (eng)
Foundations of higher-order forcing
Parallel title (deu)
Grundlagen der Erzwingungsmethode höherer Ordnung
Author
Carolin Antos-Kuby
Abstract (deu)
Grundlegend kann die Erzwingungsmethode durch die Größe ihrer Grundstruktur klassifiziert werden. Die heute verwendeten Formen umfassen Größen im Bereich von Mengen und definierbaren Klassen. In dieser Arbeit werden die nächsten möglichen Schritte in dieser Hierarchie entwickelt: Klassen und Hyperklassen (Objekte deren Elemente Klassen sind) in der Theorie von Morse-Kelley. F\"ur Klassen werden die Definitionen und grundlegenden Ergebnisse der Erzwingungsmethode im Kontext von Morse-Kelley definiert und gezeigt. Insbesondere wird das Definierbarkeitslemma und Wahrheitslemma bewiesen das hier im allgemeinen f\"ur jegliche Klassenerzwingung gilt. Als Anwendung beweisen wir, dass das Theorem von Laver nicht f\"ur Klassenerzwingung gilt. Für Hyperklassen nutzen wir die Beziehung zwischen Modellen von MK$^{**}$ und Modellen einer Variante von ZFC$^-$. Dies erlaubt uns Hyperklassenerzwingung in MK$^{**}$ zu definieren, indem wir zu einem ZFC$^-$ Modell gehen und dort definierbare Klassenerzwingung anwenden. Von der daraus ge-wonnenen Modellerweiterung können wir nun wieder zu einem Modell von MK$^{**}$ zurückgehen. Für diesen Ansatz entwickeln wir eine Kodierung zwischen Modellen von MK$^{**}$ und bestimmten Modellen von ZFC$^-$ und zeigen, dass definierbare Klassenerzwingung in diesem Kontext durchführbar ist. Ein konkretes Beispiel einer Hyperklassenerzwingung wird gegeben, indem gezeigt wird, dass jedes $\beta$-Modell von MK$^{**}$ zu einem minimalen $\beta$-Modell von MK$^{**}$ erweitert werden kann (mit den selben Ordinalzahlen).
Abstract (eng)
Forcing notions can be classified via their size in a general way. Until now two different types were developed: set forcing and definable class forcing, where the forcing notion is a set or definable class respectively. Here, we want to introduce and study the next two steps in this classification by size, namely class forcing and definable hyperclass forcing (where the conditions of the forcing notion are themselves classes) in the context of (an extension of) Morse-Kelley class theory. For class forcing, we adapt the existing account of class forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class forcing in such a model and show that the Definability Lemma (and the Truth Lemma) can be proven without restricting the notion of forcing. Furthermore we show under which conditions the axioms are preserved. We conclude by proving that Laver's Theorem does not hold for class forcings. For definable hyperclass forcing, we use a symmetry between MK$^{**}$ models and models of ZFC$^-$ plus there exists a strongly inaccessible cardinal (called SetMK$^{**}$). This allows us to define hyperclass forcing in MK$^{**}$ by going to the related SetMK$^{**}$ model and use a definable class forcing there. We arrive at a definable class forcing extension from which we can go back to a model of MK$^{**}$. To use this construction we define a coding between MK$^{**}$ and SetMK$^{**}$ models and show how definable class forcing can be applied in the context of an ZFC$^-$ model. We conclude by giving an application of this forcing in showing that every $\beta$-model of MK$^{**}$ can be extended to a minimal $\beta$-model of MK$^{**}$ with the same ordinals.
Keywords (eng)
set theoryforcingclass theory
Keywords (deu)
ErzwingungsmethodeKlassentheorieMengenlehre
Type (deu)
Persistent identifier
https://phaidra.univie.ac.at/o:1322304
Number of pages
79
Association (deu)