40 research outputs found
Scott Ranks of Classifications of the Admissibility Equivalence Relation
Let be a recursive language. Let be the set of
-structures with domain . Let be a function with the property that
for all , if and only if
. Then there is some
so that
The consistency of the negation of the Continuum Hypothesis
Treballs Finals de Grau de Matemà tiques, Facultat de Matemà tiques, Universitat de Barcelona, Any: 2022, Director: Juan Carlos MartÃnez Alonso[en] The purpose of this work is to prove the consistency of the negation of the Continuum Hypothesis with the Zermelo - Fraenkel axiomatic system, including the Axiom of Choice (ZFC). The Continuum Hypothesis states that there is no set whose cardinality is strictly between the cardinality of the set of integers and the cardinality of the set of real numbers. It is well-known that is independent of ZFC: neither nor its negation can be proved from ZFC. In order to show the consistency of , we will use the method of forcing that permits us to construct a model that satisfies all the axioms of and where fails
Universally measurable sets may all be Delta^1_2
We produce a forcing extension of the constructible universe \bL in which
every sufficiently regular subset of any Polish space is a continuous image of
a coanalytic set. In particular, we show that consistently every universally
measurable set is \uTDelta^{1}_{2}, partially answering question CG from
David Fremlin's problem list \cite{FQL}
Alternative Finestructural and Computational Approaches to Constructibility
We consider attempts to simplify finestructural arguments concerning inner models of ZFC, in particular L; in addition, we exhibit different aspects of the computational strength of Infinite Time Register Machines.Die Arbeit befasst sich mit alternativen Methoden zur Analyse von Gödels konstruktiblem Universum L, dem ⊆-minimalen klassenmächtigen Modell von ZFC und anderer konstruktibler Strukturen. Im ersten Teil werden F-Strukturen eingeführt, ein Ansatz von Koepke zur Vereinfachung der Feinstrukturtheorie von Kernmodellen. Wir gewinnen einige Vorteile für die weitere Entwicklung aus der Einführung einer Namensfunktion N unter die Basisfunktionen und kleinerer Modifikationen des Hüllenoperators. Es wird demonstriert, dass die F-Hierarchie ein geeignetes Instrument zum Beweis wichtiger Eigenschaften von L ist, wie etwa der Hausdorffschen verallgemeinerten Kontinuumshypothese GCH oder des kombinatorische Prinzips ◊. Dann wird eine Methode zur Erweiterung strukturerhaltender Funktionen, sogenannter feiner Abbildungen, angegeben, Koepkes vereinfachter Beweis des Überdeckungssatzes für L erläutert und ein Approximationssatz für L gezeigt: Unter ¬0# ist jedes X ⊂ On von überabzählbarer Konfinalität, das unter den Basisfunktionen der F-Hierarchie abgeschlossen ist, Vereinigung von abzählbar vielen Elementen von L. Gegenüber dem Beweis des Approximationssatzes von Magidor, der die Abgeschlossenheit unter primitiv-rekursiven Mengenfunktionen voraussetzt, gewinnen wir deutlich an Kürze und Einfachheit. Weiter ergänzen wir die Basisfunktionen der F-Hierarchie durch Ansätze aus der Hyperfeinstrukturtheorie von Friedman und Koepke. Im Kontext der F-Hierarchie ergibt sich daraus das allgemeinere Konzept des Hyperings, das wir ausführen und benutzen, um die hyperfeinstrukturellen Beweise des Quadrat- und Morastprinzips in die F-Hierarchie zu übertragen. Das hierbei vornehmlich benutzte horizontale Hypering H2 sorgt dabei für eine Unabhängigkeit der konstruierten Objekte von der gewählten Aufzählung der Formeln. Anschließend betrachten wir Infinite Time Register Machines (ITRMs) sowohl als Anwendung von wie auch als weiteren Zugang zu konstruktiblen Methoden. ITRMs sind Registermaschinen, deren Laufzeiten beliebige Ordinalzahlen sein können. Wir beweisen das Lost-Melody-Theorem für ITRMs, d.h. die Existenz einer reellen Zahl, die durch eine ITRM als Orakelzahl erkannt, aber nicht berechnet werden kann. Wir führen getypte Maschinen ein, die Register mit verschiedenem Limesverhalten parallel verwenden und klassifizieren die Maschinentypen hinsichtlich ihrer Berechnungsstärke. Insbesondere zeigen wir, dass ITRMs mit n+1 überlaufenden Registern und einigen schwächeren Hilfsregistern den n-ten Hypersprung berechnen und das Halteproblem für ITRMs mit n überlaufenden Registern lösen können. Wir beweisen, dass die Menge der ITRM-erkennbaren reellen Zahlen in der Ordnung von L Lücken aufweist, und zwar mindestens von der Größe sup{ωiCK|i ∈ ω}, wobei ωiCK die i-te zulässige Ordinalzahl bezeichnet. Außerdem zeigen wir, dass die beweistheoretischen Analysen von Welch bezüglich der Existenz der Haltezahlen für verschiedene Maschinen im Kontext der getypten Maschinen zu präziseren Schranken führen. Im letzten Teil skizzieren wir Ansätze zu einer Übertragung alternativer Feinstrukturen auf allgemeinere konstruktible Strukturen, sogenannte Kernmodelle. Wir übertragen zentrale Konzepte, zeigen einige Erhaltungseigenschaften für die Ultrapotenzkonstruktion und ein Dodd-Jensen-Lemma für das entsprechende Iterationskonzept. Die Bewahrung der feinstrukturellen Information in Iterationen hingegen scheitert. Daran anschließend erläutern wir kurz die Gründe dieser Schwierigkeiten und diskutieren mögliche Auswege
The formal verification of the ctm approach to forcing
We discuss some highlights of our computer-verified proof of the
construction, given a countable transitive set-model of , of
generic extensions satisfying and
. Moreover, let be the set of instances
of the Axiom of Replacement. We isolated a 21-element subset
and defined
such that for every
and -generic , implies , where is Zermelo set theory
with Choice.
To achieve this, we worked in the proof assistant Isabelle, basing our
development on the Isabelle/ZF library by L. Paulson and others.Comment: 20pp + 14pp in bibliography & appendices, 2 table