Eine Modellkonstruktionstechnik, ursprünglich aus der Mengentheorie, die ein Modell erweitert, indem sie generische Objekte oder Bedingungen beifügt, um bestimmte Aussagen zu verwirklichen oder zu widerlegen; dient häufig dazu, Modelle zu erzeugen, in denen bestimmte Sätze gelten oder nicht gelten.

Prinzip

Definiere eine partiell geordnete Menge von Forcing‑Bedingungen und eine Vorstellung eines generischen Filters über dem Grundmodell, interpretiere dann Namen und bewerte Formeln in der generischen Erweiterung, sodass gewünschte kombinatorische oder kardinalzahlige Eigenschaften erreicht werden, während benötigte Axiome erhalten bleiben.

Demonstration

Cohens Forcing fügt einem Modell eine generische Teilmenge von ω hinzu, um die Unabhängigkeit der Kontinuumshypothese zu zeigen: man spezifiziert endliche partielle Approximationen (Bedingungen), baut einen generischen Filter, der dichte Mengen trifft, und die Vereinigung wird in der Erweiterung als neue reale Zahl mit gesteuerten Eigenschaften gelesen.

Fehlanwendung

Forcing als rein syntaktische Manipulation zu behandeln, ohne Erhaltungseigenschaften (z. B. Kardinalzahlen, Kofinalitäten oder ZF/ZFC‑Axiome) zu kontrollieren, oder die Unterscheidung zwischen Namen im Grundmodell und tatsächlichen Objekten in der Erweiterung zu vernachlässigen, was zu falschen Aussagen über Erfüllung in der Erweiterung führt.

Konsequenz

Forcing bietet eine flexible Methode, Modelle mit fein abgestimmten Eigenschaften zu konstruieren und Unabhängigkeitsaussagen zu beweisen; korrekt angewandt liefert es Erweiterungen, in denen gezielte Aussagen wahr oder falsch sind, während oft ein großer Teil der ursprünglichen axiomatischen Theorie erhalten bleibt.

Umkehrung

Die Umkehr ist die Analyse innerer Modelle: statt Generika anzufügen, um ein Modell zu erweitern, untersucht man Untermodele oder definierbare Kerne eines Modells, um zu erklären, warum bestimmte Generika nicht intern existieren können; die Umkehr betont die Relativität hinzugefügter Objekte.

Abgrenzung

Eine Technik mit Wurzeln in klassischer ZF/ZFC‑Mengentheorie und in vielen modeltheoretischen Kontexten anwendbar; nicht alle kombinatorischen Ziele lassen sich mit jedem Forcing erreichen, und Erhaltungsvoraussetzungen (z. B. Properness, c.c.c.) schränken zulässige Forcings ein.

Semantische Spannung

Spannung zwischen dem Erweitern eines Modells durch Hinzufügen von Generika (externe Konstruktion) und der Bewahrung interner Wahrheiten und struktureller Invarianten; zwischen der Freiheit, kombinatorische Muster zu erzwingen, und den Einschränkungen durch Erhaltungssätze.

Synthese

Forcing ist ein Verfahren zur Konstruktion von Modellerweiterungen durch Festlegung von Forcing‑Bedingungen und Aufbau generischer Filter, das eine kontrollierte Hinzufügung von Objekten erlaubt, um Unabhängigkeits‑ oder Konsistenzphänomene zu realisieren, wobei sorgfältige Beachtung von Erhaltung und Namensinterpretation nötig ist.