Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"

Dieser Nachtrag ergänzt die Arbeit „Categoricity-like properties in the first order realm" aus dem Jahr 2024 durch eine Berichtigung und Erweiterung.

Das Wesentliche

Hier ist eine einfache Erklärung dieses wissenschaftlichen Dokuments, verpackt in eine Geschichte mit Alltagsanalogien.

Die Geschichte von den Bauplänen des Universums

Stellen Sie sich vor, Mathematiker sind wie Architekten, die versuchen, den perfekten Bauplan für das gesamte Universum der Mengen (die Grundbausteine der Mathematik) zu entwerfen. In ihrem früheren Werk, dem Papier [6], hatten diese Architekten (Ali Enayat und Mateusz Łełyk) behauptet, bestimmte Baupläne seien so perfekt, dass sie nur auf eine einzige, eindeutige Weise gebaut werden könnten. Sie nannten diese Eigenschaft „Kategorizität" – wie ein Schlüssel, der nur zu genau einem Schloss passt.

Jetzt, in diesem neuen Dokument (einem „Korrektur- und Ergänzungsheft"), kommen die Architekten zurück und sagen: „Moment mal, wir haben uns bei zwei Dingen geirrt, und wir haben auch neue Entdeckungen gemacht."

Hier ist, was passiert ist, übersetzt in eine einfache Geschichte:

---

1. Die Reparatur (Der korrigierte Beweis)

Das Problem:
In ihrem alten Papier hatten die Architekten einen Beweis für eine wichtige Regel (Theorem 39) geliefert. Aber wie sich herausstellt, war der Beweis fehlerhaft. Es war, als hätten sie versucht, ein Haus zu bauen, indem sie eine unsichere Leiter benutzten.

• Der Fehler: Sie hatten angenommen, dass eine bestimmte Art von mathematischem Werkzeug (ein Satz über die „Kripke-Platek-Theorie") einfacher war, als es tatsächlich war. Es war wie der Versuch, einen schweren Stein mit einem Papierblatt zu heben.
• Die Lösung: Sie haben den Beweis komplett neu geschrieben. Sie haben eine stärkere, stabilere Leiter gefunden (ein neuer Satz, Theorem 3). Mit dieser neuen Leiter können sie nun beweisen, dass ihre ursprüngliche Behauptung (dass bestimmte mathematische Systeme nicht „fest" oder „starr" sind) trotzdem stimmt.
• Die Analogie: Stellen Sie sich vor, Sie wollten beweisen, dass ein bestimmter Schlüssel nicht zu einem Schloss passt. Ihr alter Beweis war wackelig. Der neue Beweis ist solide wie Beton. Das Ergebnis bleibt gleich: Der Schlüssel passt nicht.

2. Der Rückzug (Der falsche Beweis)

Das Problem:
Es gab noch eine andere, noch wichtigere Behauptung (Theorem 77). Sie behaupteten, ein bestimmtes Bauplan-System sei so perfekt, dass es nur eine einzige Interpretation gäbe.

• Der Fehler: Sie stützten sich auf eine Annahme (Lemma 79), die wie ein Zaubertrick klang: „Wenn man ein kleines Universum in ein großes Universum einbaut, dann müssen sie entweder identisch sein oder das Große muss das Kleine enthalten."
• Die Entlarvung: Ein Leser (oder ein Kollege) hat einen Gegenbeweis gefunden. Stellen Sie sich vor, Sie haben eine perfekte Kopie eines Hauses (K) und bauen eine neue Version (M) mit einem speziellen Filter (einem „Ultrafilter").
  • Das alte Haus (K) ist „normal" (es hat keine unendlichen Zahlen, die nicht existieren sollten).
  • Das neue Haus (M) ist „verrückt" (es hat unendliche Zahlen, die größer sind als alle normalen Zahlen).
  • Obwohl M aus K gebaut wurde und alle Regeln von K befolgt, sind sie nicht identisch und nicht einfach nur eine Erweiterung voneinander. Sie sind wie zwei Zwillinge, von denen einer im Weltraum lebt und der andere auf der Erde. Sie sehen ähnlich aus, aber sie sind fundamental anders.
• Das Ergebnis: Die Architekten müssen zugeben: „Wir haben uns geirrt. Wir können diesen Beweis nicht retten. Vielleicht ist die Behauptung falsch, vielleicht brauchen wir eine neue Idee. Aber wir ziehen die alte Behauptung zurück."

3. Die neuen Entdeckungen (Das Addendum)

Nachdem sie die Fehler repariert und die falschen Behauptungen zurückgezogen haben, zeigen sie, was in der Welt der Mathematik neuerdings passiert ist. Es ist wie ein Update für ihre Software:

• Neue Beweise: Andere Forscher haben gezeigt, dass zwei große mathematische Systeme (Z2 und ZF) zwar ähnlich sind, aber nicht genau gleich. Ein neuer Beweis dafür ist sogar einfacher und braucht keine „magischen" Annahmen über riesige unendliche Mengen.
• Trennung von Konzepten: Neue Forschung zeigt, dass man verschiedene Arten von „Starrheit" (Kategorizität) trennen kann. Man kann Systeme bauen, die in manchen Aspekten starr sind, aber in anderen nicht.
• Die Rolle des Beobachters: Es wurde klar, dass die Art und Weise, wie wir über diese Systeme nachdenken (unsere „Metatheorie"), einen großen Unterschied macht. Es ist wie der Unterschied zwischen einem Fotografen, der ein Bild in Schwarz-Weiß macht, und einem, der es in 3D filmt. Das Objekt ist dasselbe, aber die Darstellung ändert sich.
• Neue Gebiete: Andere Forscher untersuchen jetzt, ob bestimmte Teile der Mengenlehre (wie die Theorie der Klassen) „starr" sind. Es ist ein offenes Rätsel, das gerade gelöst wird.

Zusammenfassung für den Laien

Dieses Dokument ist eine Ehrlichkeitserklärung von Wissenschaftlern.

1. Wir haben uns bei einem Beweis geirrt, aber das Endergebnis stimmt trotzdem. (Wir haben die Leiter repariert).
2. Wir haben bei einem anderen Beweis einen schweren Fehler gemacht und müssen die Behauptung streichen. (Der Zaubertrick funktioniert nicht).
3. Aber schauen Sie mal, was wir und andere seitdem gelernt haben! (Das Feld wächst weiter).

Es zeigt, wie Wissenschaft funktioniert: Nicht durch perfekte, unfehlbare Götter, sondern durch Menschen, die Fehler finden, korrigieren und so Schritt für Schritt die Wahrheit über die Struktur unseres mathematischen Universums besser verstehen.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch, basierend auf den bereitgestellten Inhalten.

Titel und Kontext

Titel: Korrigendum und Addendum zu: Categoricity-like Properties in the First Order Realm (Kategorizitätsähnliche Eigenschaften im Bereich der Prädikatenlogik erster Stufe).
Autoren: Ali Enayat und Mateusz Łełyk.
Datum: 10. März 2026 (veröffentlicht auf arXiv am 5. März 2026).
Kontext: Dieses Dokument dient als Ergänzung zu einem früheren Artikel der Autoren [6], der sich mit Kategorizität und verwandten Eigenschaften in der Mengenlehre und Modelltheorie befasst. Es besteht aus zwei Hauptteilen: einem Korrigendum (Korrektur von Beweisen und Gegenbeispielen) und einem Addendum (Bericht über neuere Fortschritte).

---

1. Problemstellung

Die Autoren identifizieren zwei kritische Mängel in ihrem vorherigen Werk [6]:

1. Theorem 39: Der ursprüngliche Beweis für Theorem 39 war fehlerhaft. Es wurde eine stärkere Version eines Lemmas benötigt, und die Quantorenkomplexität der verwendeten Axiome der Kripke-Platek-Mengenlehre (KP) wurde falsch eingeschätzt (sie ist $\Pi_3$, nicht $\Pi_2$).
2. Theorem 77: Die Behauptung, dass das Schema $\tau_{Repl+Tarski}$ sowohl $g$-solid als auch stark intern kategorisch ist, wurde zurückgezogen. Ein zentrales Lemma (Lemma 79), das im Beweis verwendet wurde, erwies sich als falsch. Es gibt derzeit weder einen alternativen Beweis für die Gültigkeit des Theorems noch ein Gegenbeispiel, das seine Falschheit beweist.

---

2. Methodik und technische Ansätze

A. Korrektur von Theorem 39 (Abschnitt 2)

Um Theorem 39 zu retten, führen die Autoren eine tiefgehende modelltheoretische Analyse durch, die auf der Konstruktion spezifischer Untermodelle innerhalb von Modellen der Mengenlehre basiert.

• Modellkonstruktion: Unter der Annahme der Konsistenz von ZF wird ein abzählbares Modell $M_0$ konstruiert, das $ZF + V=L + \neg Con_{ZF}$ erfüllt. Ein entscheidendes Merkmal ist, dass das elementare Diagramm von $M_0$ in der Standardarithmetik $\mathbb{N}$ definierbar ist.
• $\Sigma_n$-definierbare Untermodelle ($K_n(M)$): Für ein gegebenes $n$ wird $K_n(M_0)$ als das Untermodell definiert, dessen Universum aus allen Elementen besteht, die in $M_0$ durch eine $\Sigma_n$-Formel definierbar sind.
• Verfeinerung der Definierbarkeit: Ein Kernstück der neuen Methode ist der Nachweis, dass die kanonische Wohlordnung $<_L$ der konstruierbaren Welt $L$ innerhalb von $ZF^- + V=L$ so genutzt werden kann, um die Definierbarkeit von Elementen in $K_n(M)$ zu steuern.
• Komplexitätsanalyse: Die Autoren zeigen detailliert, wie bestimmte Formeln (insbesondere diejenige, die die Wohlordnung nutzt) auf $\Sigma_n$-Formeln reduziert werden können, indem sie die Eigenschaften der $L$-Hierarchie und die $\Delta_1$-Definierbarkeit der Abbildungen $\alpha \mapsto L_\alpha$ ausnutzen.
• Bi-Interpretierbarkeit: Es wird gezeigt, dass $\mathbb{N}$ und $K_n(M_0)$ für $n \ge 3$ bi-interpretierbar sind. Dies ist entscheidend, um die Eigenschaften von Theorien wie $ZF_{\Pi_n}$ zu analysieren.

B. Widerlegung von Claim 6 (Abschnitt 3)

Für das zurückgezogene Theorem 77 wird ein Gegenbeispiel zu Claim 6 (einem Lemma über die Beziehung zwischen einem Modell $K$ und einem Erweiterungsmodell $M$) konstruiert.

• Konstruktion:
  • $K$ ist ein $\omega$-standardes Modell von ZFC.
  • $U$ ist ein nicht-prinzipales Ultrafilter über $\mathcal{P}(\omega)$, der in $K$ existiert.
  • $M$ ist das interne Ultrapotenz $K^\omega / U$.
• Analyse:
  • Durch den Satz von Łoś ist $K$ elementar in $M$ eingebettet.
  • Da $U$ nicht-prinzipal ist, ist $M$ $\omega$-nicht-standard (es enthält "unendliche" natürliche Zahlen), während $K$ $\omega$-standard bleibt.
  • Es wird gezeigt, dass $K$ eine konservative elementare Erweiterung von $M$ ist (im Sinne der Schnittbarkeit definierbarer Mengen).
• Ergebnis: Obwohl die Voraussetzungen von Claim 6 erfüllt sind, scheitern alle drei möglichen Schlussfolgerungen des Claims (Isomorphie zu einer $V_\kappa$, Isomorphie zu $M$ oder Einbettung von $M$ in $K$), da $K$ und $M$ unterschiedliche Standardteile haben ($\omega$-standard vs. $\omega$-nicht-standard).

---

3. Wichtige Ergebnisse und Beiträge

Korrigendum-Teile

1. Neuer Beweis für Theorem 1 (basierend auf Theorem 3):

   • Es wird bewiesen, dass für konsistentes ZF und jedes $n \in \omega$ die Theorie $ZF_{\Pi_n}$ weder solid noch tight ist.
   • Theorem 3 wird als zentrales Hilfsmittel etabliert: Für ein Modell $M \models ZF^- + V=L$ gilt, dass $K_n(M) \prec_{\Pi_n} M$ und dass $K_n(M)$ die Axiome von $ZF_{\Pi_{n+1}}$ erfüllt, aber das Sammlungsaxiom für $\Sigma_{n+1}$-Formeln ($\neg Coll(\Sigma_{n+1})$) verletzt.
   • Dies widerlegt die Solidität und Tightness von $ZF_{\Pi_n}$ durch den Nachweis, dass man Modelle mit unterschiedlichen Eigenschaften (insbesondere bezüglich der Sammlungsaxiome) konstruieren kann, die bi-interpretierbar mit der Arithmetik sind.

2. Rückzug von Theorem 77:

   • Die Behauptung der starken internen Kategorizität von $\tau_{Repl+Tarski}$ wird offiziell zurückgezogen.
   • Es wird angemerkt, dass in der Metatheorie GB (Gödel-Bernays Mengenlehre) die Kategorizität gilt, wenn man das Ersetzungsaxiom für alle Klassenfunktionen annimmt. Das Problem entsteht jedoch in reinen ZF-Kontexten ohne diese starke Metatheorie.

Addendum-Teile (Aktuelle Fortschritte)

Der Abschnitt 4 fasst neuere Entwicklungen zusammen, die sich auf die Themen des Originalpapiers beziehen:

1. Meadows & Chen [4]: Liefern einen einfacheren Beweis dafür, dass $Z_2 + \Pi^1_\infty\text{-AC}$ und $ZF^- + \forall x |x| \le \aleph_0$ nicht definitorisch äquivalent sind, indem sie die Existenz definierbarer globaler linearer Ordnungen nutzen.
2. Gruza, Kołodziejczyk & Łełyk [8]: Untersuchen Subtheorien der Peano-Arithmetik (PA) und zeigen, dass es für jedes $n$ eine solide Subtheorie gibt, die $I\Sigma_n$ erweitert, in der PA nicht interpretierbar ist. Dies beantwortet Frage B aus [6] positiv für $T=PA$.
3. Gruza & Łełyk [9]: Erweitern die Theorie der internen Kategorizität, insbesondere die Abhängigkeit von der Metatheorie und die "Kategorizität bis zu einer Ordinalhöhe". Sie zeigen, dass Mittel, die für die Kategorizität der Arithmetik höherer Ordnung ausreichen, für ZF nicht ausreichen.
4. Meadows [14]: Untersucht die interne Kategorizität von Steels Multiversum-Theorie.
5. Barton & Meadows [1, 15]: Nutzen das Konzept der "Tightness" (Strammheit), um fundamentale Fragen der Mengenlehre neu zu rahmen.
6. Glazer [7]: Skizziert einen Beweis für die Solidität von $ZCR$ (Zermelo-Mengenlehre mit Auswahl und Rangaxiom), wobei die Solidität von $ZR$ (ohne Auswahl) offen bleibt.
7. Enayat [5]: Neue Arbeiten zur Solidität der Kelley-Morse-Theorie der Klassen.

---

4. Signifikanz und Fazit

Dieses Korrigendum ist von erheblicher Bedeutung für die Modelltheorie der Mengenlehre und die Grundlagenforschung:

• Korrektur fundamentaler Beweise: Es stellt sicher, dass die Ergebnisse zu $ZF_{\Pi_n}$ auf einem soliden, korrigierten Beweis basieren, der die Komplexität der Axiome (insbesondere $\Pi_3$ für KP) und die Rolle der konstruierbaren Hierarchie präzise berücksichtigt.
• Klarstellung von Kategorizität: Durch den Rückzug von Theorem 77 und die Präsentation des Gegenbeispiels wird deutlich, dass die internen Kategorizitätseigenschaften von Theorien stark von den metatheoretischen Annahmen (wie der Verfügbarkeit von Klassen oder dem Ersetzungsaxiom für Klassen) abhängen. Dies verhindert Fehlschlüsse bei der Anwendung dieser Theoreme in schwächeren Systemen.
• Impulse für die Forschung: Das Addendum zeigt, dass das Feld sehr aktiv ist. Die Unterscheidung zwischen verschiedenen "Geschmacksrichtungen" der Kategorizität (solid, tight, intern kategorisch) und deren Abhängigkeit von der Metatheorie ist zu einem zentralen Thema in der modernen Grundlagenforschung geworden.

Zusammenfassend repariert das Dokument kritische Lücken im vorherigen Werk, präzisiert die Grenzen der internen Kategorizität und liefert einen aktuellen Überblick über die sich schnell entwickelnde Landschaft der Kategorizitätsforschung in der Mengenlehre.