Detailansicht
Iteration trees and genericity iterations
Lena Wallner
Art der Arbeit
Masterarbeit
Universität
Universität Wien
Fakultät
Fakultät für Mathematik
Studiumsbezeichnung bzw. Universitätlehrgang (ULG)
Masterstudium Mathematik
Betreuer*in
Sandra Müller
DOI
10.25365/thesis.74803
URN
urn:nbn:at:at-ubw:1-10623.21947.976681-5
Link zu u:search
(Print-Exemplar eventuell in Bibliothek verfügbar)
Abstracts
Abstract
(Deutsch)
Diese Arbeit ist eine sorgfältige und detailreiche Einführung in die Grundkonzepte der inneren Modelltheorie. Wir beginnen mit der Entwicklung der Konstruktion von Ultrapotenzen und Iterationsbäumen. Das erste Hauptresultat ist die (ω_1 +1)-Iterierbarkeit von schönen Iterationsbäumen und die schwache Iterierbarkeit. Anschließend diskutieren wir Generizitätsiterationen und nützliche Varianten davon. Diese werden im letzen Hauptresultat verwendet. Dort zeigen wir, dass L(R) ein Modell des Axioms der Determiniertheit ist.
Abstract
(Englisch)
This thesis is a careful and detailed introduction to the basic concepts of inner model theory. We start with developing the construction of ultrapowers and iteration trees. The first main result is the (ω_1 + 1)-iterability of nice iteration trees and weak iterability. We then discuss genericity iterations and some useful variants. They are used in the last main result which is that L(R) is a model of the Axiom of Determinacy.
Schlagwörter
Schlagwörter
(Deutsch)
innere Modelltheory Iterationsbäume Ultrapotenz Iterierbarkeit Generizitätsiterationen Determiniertheit lineare Iterationen große Kardinalzahlen
Schlagwörter
(Englisch)
inner model theory iteration trees ultrapower iterability genericity iterations determinacy linerar iterations large cardinals
Autor*innen
Lena Wallner
Haupttitel (Englisch)
Iteration trees and genericity iterations
Paralleltitel (Deutsch)
Iterationsbäume und Generizitätsiterationen
Publikationsjahr
2023
Umfangsangabe
iv, 72 Seiten : Illustrationen
Sprache
Englisch
Beurteiler*in
Sandra Müller
Klassifikation
31 Mathematik > 31.10 Mathematische Logik. Mengenlehre
AC Nummer
AC17009355
Utheses ID
68980
Studienkennzahl
UA | 066 | 821 | |