A countable-support symmetric iteration separating PP from AC

Die Autoren konstruieren ein transientes symmetrisches Modell der ZF-Mengenlehre, das das Prinzip der Auswahl für abzählbare Familien (AC_wo) und das Prinzip der Partition (PP) erfüllt, während die volle Auswahlaxiom (AC) verletzt bleibt, indem sie eine symmetrische Iteration mit abzählbarem Träger über einem Cohen-Seed-Modell durchführen.

Das Wesentliche

Stellen Sie sich das Universum der Mengenlehre als eine riesige, unendliche Bibliothek vor. In dieser Bibliothek gibt es ein fundamentales Regelwerk, das sogenannte Axiom der Wahl (AC). Dieses Axiom ist wie ein magischer Zauberstab: Wenn Sie eine unendliche Sammlung von Schachteln haben, die alle mindestens einen Gegenstand enthalten, erlaubt Ihnen AC, aus jeder Schachtel genau einen Gegenstand herauszuholen, ohne dass Sie jemals aufhören müssen. Es ist so selbstverständlich, dass wir es im Alltag kaum bemerken.

Aber was passiert, wenn wir diesen Zauberstab wegnehmen? Können wir immer noch Dinge sortieren? Gibt es immer noch eine klare Reihenfolge? Das ist die große Frage, die Frank Trevor Gilson in seinem Papier untersucht.

Hier ist eine einfache Erklärung der Reise, die er unternimmt, um eine neue Art von mathematischem Universum zu erschaffen.

1. Der Startpunkt: Ein chaotisches Fundament

Stellen Sie sich vor, Sie beginnen mit einem perfekten, geordneten Universum (das wir $V$ nennen), in dem der Zauberstab (AC) funktioniert. Aber Gilson möchte etwas Neues bauen. Er fängt an, indem er eine spezielle Art von "Chaos" in die Bibliothek einführt.

Er nimmt eine unendliche Menge von neuen, zufälligen Zahlenreihen (die sogenannten "Cohen-Reellen") und fügt sie hinzu. Wichtig ist: Er fügt sie so hinzu, dass sie nicht sortierbar sind. Es ist, als würde er eine unendliche Menge von Schuhen in einen Raum werfen, aber er verpasst jedem Schuh ein unsichtbares Etikett, das verhindert, dass man sie in eine Reihe (1. Schuh, 2. Schuh, 3. Schuh...) bringen kann.

• Das Ergebnis: In diesem neuen Raum ($N$) gibt es keine Möglichkeit, diese Schuhe zu ordnen. Das Axiom der Wahl ist hier kaputt ($\neg AC$). Aber das Universum funktioniert trotzdem noch gut genug, um einfache Dinge zu tun (dies nennt man $DC$, "abhängige Wahl").

2. Das Problem: Die Partition-Regel (PP)

Nun kommt das eigentliche Rätsel. Es gibt eine Regel, die schwächer ist als der volle Zauberstab, aber immer noch sehr mächtig: Die Partition-Regel (PP).

• Die Regel lautet: Wenn Sie eine Menge $A$ haben, die auf eine Menge $B$ "abgebildet" wird (jedes Element von $A$ zeigt auf ein Element von $B$, und jedes Element von $B$ wird mindestens einmal getroffen), dann muss es auch einen Weg geben, von $B$ zurück nach $A$ zu gehen (eine Injektion).
• Im Alltag: Wenn Sie 100 Menschen haben, die 50 Stühle belegen (jeder Stuhl hat mindestens einen Menschen), dann gibt es eine Möglichkeit, jedem Stuhl einen Menschen zuzuordnen, ohne dass zwei Menschen denselben Stuhl teilen.

In einem normalen Universum ist das immer wahr. Aber in unserem chaotischen Universum ohne Zauberstab? Ist das immer noch wahr? Die Mathematiker wussten lange nicht, ob man PP erzwingen kann, ohne den vollen Zauberstab (AC) wiederherzustellen.

3. Die Lösung: Ein riesiger Bauplan (Die Iteration)

Gilson baut nun ein riesiges, mehrstufiges Bauwerk, um dieses Problem zu lösen. Er nennt es eine "symmetrische Iteration". Stellen Sie sich das wie einen unendlichen Baukran vor, der Schicht für Schicht neue Regeln hinzufügt.

• Der Bauplan: Er geht durch alle möglichen Ordinalzahlen (eine Art unendliche Zählung) und fügt in jedem Schritt kleine "Pakete" hinzu.
• Die Pakete: Es gibt zwei Arten von Paketen:
  1. PP-Pakete: Diese Pakete sorgen dafür, dass die Partition-Regel (PP) für bestimmte, festgelegte Mengen gilt. Sie zwingen das Universum, Wege zu finden, um von $B$ zurück nach $A$ zu kommen, aber nur für spezifische, kontrollierte Fälle.
  2. ACWO-Pakete: Diese Pakete sorgen dafür, dass man Dinge auswählen kann, wenn die Auswahlmenge bereits geordnet ist (z.B. "Wähle einen Schuh aus jeder Schachtel, wenn die Schachteln nummeriert sind"). Das ist eine sehr sanfte Form der Wahl, die den großen Zauberstab nicht wiederbelebt.

4. Die Magie: Symmetrie und Spiegelungen

Das Geniale an Gilsons Methode ist, wie er verhindert, dass der große Zauberstab (AC) versehentlich wiederhergestellt wird.
Er nutzt Symmetrie. Stellen Sie sich vor, das Universum hat unsichtbare Spiegel. Wenn er ein neues Objekt hinzufügt, sorgt er dafür, dass es so viele "Spiegelbilder" davon gibt, dass man sie nicht unterscheiden kann.

• Wenn man versucht, eine globale Auswahlregel zu finden (den Zauberstab), scheitert man daran, dass alle Spiegelbilder gleichwertig sind. Man kann nicht sagen "Nimm das hier", weil das "da" genauso gut wäre.
• Durch diese geschickte Anordnung von Symmetrien und speziellen Filtern (den "diagonalen Lifts") gelingt es ihm, die PP-Regel und die sanfte Wahl (ACWO) zu erzwingen, während die Unordnung der ursprünglichen Schuhe (die Nicht-Ordnbarkeit der Menge $A$) erhalten bleibt.

5. Das Endergebnis: Ein neues Universum

Am Ende dieser unendlichen Baustelle steht das neue Universum $M$. Es erfüllt folgende Eigenschaften:

• Es funktioniert logisch: Die Grundregeln der Mengenlehre ($ZF$) gelten.
• Es ist einfach genug: Man kann endliche Folgen von Entscheidungen treffen ($DC$).
• Es hat die Partition-Regel: Die PP-Regel gilt überall! Wenn es eine Überdeckung gibt, gibt es auch eine Rückkehr.
• Es hat sanfte Wahl: Man kann aus geordneten Mengen wählen ($ACWO$).
• Aber: Der große Zauberstab ist immer noch weg! Die ursprüngliche Menge der chaotischen Schuhe ($A$) lässt sich immer noch nicht sortieren. Es gibt keine globale Auswahlregel für alle Mengen.

Warum ist das wichtig?

Bis zu diesem Papier war es unklar, ob die Partition-Regel (PP) und das Axiom der Wahl (AC) untrennbar miteinander verbunden waren. Gilson hat bewiesen: Nein, sie sind trennbar.
Man kann ein Universum haben, in dem die Partition-Regel gilt, aber man kann nicht einfach "alles auswählen". Es ist wie ein Haus, in dem man die Türen öffnen kann, wenn man einen Schlüssel hat (PP), aber man hat nicht den Master-Schlüssel für das ganze Gebäude (AC).

Zusammenfassend:
Gilson hat einen mathematischen "Trick" gefunden, um ein Universum zu bauen, das fast so gut funktioniert wie unser eigenes (wir können Dinge sortieren und auswählen, wo es nötig ist), aber eine fundamentale Unordnung beibehält, die beweist, dass die stärkste Form der Auswahl (AC) nicht notwendig ist, um die Partition-Regel (PP) zu haben. Er hat gezeigt, dass die Mathematik flexibler ist, als wir dachten.

Technische Zusammenfassung

Titel und Zielsetzung

Das Papier mit dem Titel "A countable-support symmetric iteration separating PP from AC" (Eine abzählbare-support-symmetrische Iteration zur Trennung von PP und AC) von Frank Trevor Gilson (veröffentlicht am 10. März 2026) adressiert ein fundamentales Problem der Mengenlehre ohne das Auswahlaxiom (ZF).

Das Problem:
Das Partition-Prinzip (PP) besagt, dass für jede Surjektion $A \twoheadrightarrow B$ eine Injektion $B \hookrightarrow A$ existiert. Im ZFC ist PP trivial, da jede Surjektion eine Rechtsinverses besitzt (was dem Auswahlaxiom AC entspricht). Es ist jedoch eine offene Frage, ob PP strikt schwächer als AC ist, d.h., ob es ein Modell von ZF gibt, das PP erfüllt, aber AC nicht. Bisherige Versuche, PP von AC zu trennen, waren unvollständig oder erforderten starke Annahmen.

Das Ziel:
Der Autor konstruiert ein transientes symmetrisches Modell $M$, das die folgenden Eigenschaften erfüllt:
$$\text{ZF} + \text{DC} + \text{PP} + \text{ACWO} + \neg\text{AC}$$
Dabei steht:

• DC: Das Axiom der abhängigen Wahl (Dependent Choice).
• ACWO: Das Auswahlaxiom für wohlgeordnete Mengen (Choice for Well-Orderable sets).
• $\neg$AC: Das volle Auswahlaxiom gilt nicht.
• PP: Das Partition-Prinzip gilt global.

---

Methodik und Konstruktion

Die Konstruktion basiert auf einer abzählbaren-support-symmetrischen Iteration (countable-support symmetric iteration) über einem Cohen-symmetrischen "Seed"-Modell. Der Aufbau lässt sich in folgende Schritte unterteilen:

1. Der Seed: Das Cohen-symmetrische Modell $N$

• Basis: Ausgehend von einem ZFC-Grundmodell $V$ wird das forcing $P = \text{Add}(\omega, \omega_1)$ (Cohen-Forcing für $\omega_1$ viele reelle Zahlen) verwendet.
• Symmetrie: Die Gruppe $G = \text{Sym}(\omega_1)$ (Permutationen von $\omega_1$) wirkt auf das Forcing. Der Filter $\mathcal{F}$ wird von den Stabilisatoren endlicher Mengen (bzw. abzählbarer Mengen im Kontext des Supports) erzeugt.
• Ergebnis: Das resultierende symmetrische Modell $N$ erfüllt ZF + DC, aber $\neg$AC. Die Menge der Cohen-Reellen $A = \{c_\alpha : \alpha < \omega_1\}$ ist in $N$ nicht wohlgeordnet.
• Wichtige Parameter: Es werden feste Parameter definiert: $S := A^\omega$ (die Menge der Folgen von Cohen-Reellen) und $T := \mathcal{P}(S)$ (berechnet in $N$). In $N$ gilt bereits $\text{SVC}(S)$ (Set-Valued Choice), was bedeutet, dass jede Menge durch ein kartesisches Produkt $S \times \eta$ surjektiv überdeckt werden kann.

2. Die Iteration: Ord-Länge mit Paket-Forcing

Der Kern der Arbeit ist eine Iteration der Länge $\text{Ord}$ (aller Ordinalzahlen), die schrittweise spezifische "Pakete" (Package Forcings) hinzufügt, um PP und ACWO zu erzwingen, ohne DC zu zerstören oder AC wiederherzustellen.

• Lokalisierte PP-Pakete ($Q_f$):
  Für jede Surjektion $f: Y \twoheadrightarrow X$ mit $X, Y \subseteq T$ wird ein Forcing $Q_f$ eingeführt, das eine Rechtsinverses (Splitting) für $f$ hinzufügt. Dies erzwingt das lokalisierte Prinzip $\text{PPsplit} \restriction T$.

  • Eigenschaft: $Q_f$ ist abzählbar abgeschlossen (countably closed), fügt keine neuen $\omega$-Folgen hinzu und erhält DC.

• ACWO-Pakete ($R_f$):
  Um ACWO zu sichern, werden für Surjektionen auf Ordinalzahlen $\lambda < \aleph^*(S)$ (wobei $\aleph^*(S)$ die Hartogs-Zahl von $S$ ist) Forcings $R_f$ hinzugefügt, die Rechtsinverses hinzufügen.

• Symmetrie und Filter:
  Um die Symmetrie über die gesamte Iteration hinweg zu erhalten, wird eine modifizierte Filter-Struktur verwendet:

  • Diagonal-Lifts und -Kancellation: Es werden spezielle Automorphismen (Diagonal-Lifts $\hat{\pi}_D$) definiert, die auf der Basis (Cohen-Reellen) wirken, aber bestimmte Koordinaten (die "geschützten" Mengen $D$) fixieren.
  • Modifizierter Limit-Filter ($\tilde{F}^*_\lambda$): An Limitstufen wird ein Filter generiert, der nicht nur Pullbacks vorheriger Filter enthält, sondern auch Untergruppen $\Delta^\uparrow_\lambda(E, D)$, die durch diese Diagonal-Lifts erzeugt werden. Dies ist entscheidend, um zu garantieren, dass die neuen Forcings symmetrisch sind und die Nicht-Wohlgeordnetheit von $A$ erhalten bleibt.

3. Buchhaltung (Bookkeeping)

Da die Iteration die Länge von $\text{Ord}$ hat, wird eine Buchhaltungsstrategie verwendet, um sicherzustellen, dass jede relevante Surjektion, die im finalen Modell existiert, an einer späteren Stufe "gefangen" und durch das entsprechende Paket-Forcing gespalten wird. Dies geschieht durch eine Kodierung von Namen und deren wiederholtes Testen in den Zwischenmodellen.

---

Schlüsselbeiträge und technische Innovationen

1. Trennung von PP und AC:
   Das Papier liefert den ersten expliziten Beweis, dass PP strikt schwächer als AC ist, selbst unter der Annahme von DC und ACWO. Dies widerlegt implizit die Vermutung, dass PP in Gegenwart von DC bereits AC implizieren könnte.

2. Ryan-Smith-Lokalisierung:
   Der Autor nutzt einen tiefgreifenden Satz von Ryan und Smith (Theorem 4.5), der besagt:
   $$\text{SVC}^+(T) \implies (\text{PP} \iff (\text{PP} \restriction T \land \text{ACWO}))$$
   Da im Seed-Modell $\text{SVC}(S)$ (und damit $\text{SVC}^+(T)$) gilt, reduziert sich das Problem darauf, lokal $\text{PP} \restriction T$ und global ACWO zu erzwingen.

3. Diagonal-Kancellation-Mechanismus:
   Ein zentraler technischer Beitrag ist die Konstruktion der "Diagonal-Kancellation"-Automorphismen. Diese erlauben es, die Symmetrie so zu steuern, dass:

   • Die neuen Forcings (Pakete) symmetrisch sind (also im Modell bleiben).
   • Die ursprüngliche Menge $A$ (die Cohen-Reellen) nicht symmetrisch bezüglich einer wohlgeordneten Struktur wird, was $\neg$AC garantiert.
   • Der Filter an Limitstufen $\omega_1$-vollständig bleibt, was für die Erhaltung von DC notwendig ist.

4. Erhaltung von DC:
   Durch die Verwendung von abzählbar abgeschlossenen Forcings ($Q_f, R_f$) und dem modifizierten Filter wird sichergestellt, dass das Axiom der abhängigen Wahl (DC) über die gesamte Iteration hinweg erhalten bleibt.

---

Ergebnisse

Das Haupttheorem (Theorem 5.85) besagt, dass das konstruierte Modell $M$ folgende Eigenschaften erfüllt:

• ZF: Die Axiome von Zermelo-Fraenkel gelten.
• DC: Das Axiom der abhängigen Wahl gilt.
• PP: Das Partition-Prinzip gilt global.
• ACWO: Das Auswahlaxiom für wohlgeordnete Mengen gilt.
• $\neg$AC: Das volle Auswahlaxiom gilt nicht (die Menge $A$ ist nicht wohlgeordnet).

Folgerungen:

• Ordnungsprinzip: Da PP und DC gelten, folgt, dass jede Menge linear geordnet werden kann (Ordering Principle).
• Kinna-Wagner-Prinzipien: Es wird gezeigt, dass $KWP_1$ und $KWP_2$ in $M$ gelten.

---

Bedeutung und Einordnung

Diese Arbeit ist ein Meilenstein in der Forschung zu Modellen ohne Auswahlaxiom.

1. Lösung eines offenen Problems: Sie trennt PP von AC in einem Kontext, der DC und ACWO erfüllt, was die Hierarchie der schwachen Auswahlprinzipien präzisiert.
2. Methodischer Fortschritt: Die Entwicklung der "Diagonal-Lift/Cancel"-Technik für Ord-Längen-Iterationen bietet ein neues Werkzeug für die Konstruktion symmetrischer Modelle, die komplexe lokale und globale Eigenschaften gleichzeitig erfüllen müssen.
3. Verbindung von Lokalem und Globalem: Die Arbeit demonstriert effektiv, wie lokale Splitting-Eigenschaften (auf einer festen Menge $T$) durch die Kombination mit $\text{SVC}$ und ACWO zu globalen Prinzipien (PP) hochgezüchtet werden können.

Zusammenfassend liefert Gilson eine robuste Konstruktion, die zeigt, dass das Partition-Prinzip eine eigenständige, schwächere Form des Auswahlaxioms ist, die mit der Existenz nicht-wohlgeordneter Mengen vereinbar ist, selbst wenn man starke Formen der Wahl für wohlgeordnete Mengen akzeptiert.