Forcing
Forcing [ˈfɔːsɪŋ; englisch, eigentlich »das Erzwingen«] das, -s, Erzwingungsmethode,
von P. J. Cohen 1963 bei seinem Beweis der Unabhängigkeit der Kontinuumshypothese eingeführtes Verfahren der Mengenlehre und Modelltheorie. Forcing wird v. a. angewendet, um die Widerspruchsfreiheit (oder Unabhängigkeit) gegebener Hypothesen (z. B. des Auswahlaxioms) mit zugrunde gelegten axiomatischen Theorien zu beweisen. Dabei konstruiert man, ausgehend von Modellen dieser Theorien, geeignete Modellerweiterungen, in
Informationen zum Artikel
Quellenangabe