Une technique de construction de modèles, issue de la théorie des ensembles, qui étend un modèle en adjoignant des objets génériques ou des conditions pour réaliser ou réfuter des énoncés particuliers ; utilisée pour produire des modèles où certaines phrases sont vraies ou fausses.

Principe

Définir un ensemble partiellement ordonné de conditions de forcage et une notion de filtre générique sur le modèle de base, puis interpréter les noms et évaluer les formules dans l'extension générique pour obtenir des propriétés combinatoires ou cardinelles souhaitées tout en préservant les axiomes requis.

Démonstration

Le forcage de Cohen ajoute une partie générique de ω à un modèle pour montrer l'indépendance de l'hypothèse du continu : on spécifie des approximations partielles finies (conditions), on construit un filtre générique rencontrant des ensembles denses, et l'union se lit comme un nouveau réel aux propriétés contrôlées dans l'extension.

Mauvaise application

Considérer le forcage comme une simple manipulation syntaxique sans contrôler les préservations (p. ex. cardinaux, cofinalités, ou axiomes ZF/ZFC) ou négliger la distinction entre noms dans le modèle de base et objets effectifs dans l'extension, ce qui mène à des affirmations erronées sur ce que satisfait l'extension.

Conséquence

Le forcage fournit une méthode flexible pour construire des modèles aux propriétés finement ajustées et démontrer des résultats d'indépendance ; appliqué correctement, il engendre des extensions où des énoncés ciblés sont vrais ou faux tout en préservant souvent une large partie de la théorie axiomatique initiale.

Inversion

La perspective inverse est l'analyse de modèles internes : au lieu d'adjoindre des génériques pour étendre un modèle, on examine des sous-modèles ou des cœurs définissables d'un modèle pour expliquer pourquoi certains génériques ne peuvent pas exister à l'intérieur ; la réversion souligne la relativité des objets ajoutés.

Limite

Technique ancrée dans la théorie des ensembles classique ZF/ZFC et applicable dans de nombreux contextes model-théoriques ; tous les objectifs combinatoires ne sont pas atteignables par n'importe quel forcage, et des exigences de préservation (p. ex. properness, c.c.c.) restreignent les forcings admissibles.

Tension sémantique

Tension entre l'extension d'un modèle par ajout de génériques (construction externe) et la préservation des vérités et invariants structurels internes ; entre la liberté d'imposer des configurations combinatoires et les contraintes imposées par les théorèmes de préservation.

Synthèse

Le forcage consiste à construire des extensions de modèles en spécifiant des conditions de forcage et en construisant des filtres génériques, ce qui permet d'ajouter de manière contrôlée des objets pour réaliser des phénomènes d'indépendance ou de consistance, tout en exigeant un soin particulier quant à la préservation et à l'interprétation des noms par rapport aux objets réels.