Una técnica de construcción de modelos, originada en la teoría de conjuntos, que extiende un modelo añadiendo objetos genéricos o condiciones para realizar o refutar enunciados concretos; se usa para producir modelos donde ciertas oraciones son verdaderas o falsas.

Principio

Definir un orden parcialmente ordenado de condiciones de forcing y una noción de filtro genérico sobre el modelo base, luego interpretar nombres y evaluar fórmulas en la extensión genérica de modo que se consigan propiedades combinatorias o cardinales deseadas preservando los axiomas necesarios.

Demostración

El forcing de Cohen añade un subconjunto genérico de ω a un modelo para mostrar la independencia de la hipótesis del continuum: se especifican aproximaciones parciales finitas (condiciones), se construye un filtro genérico que encuentra conjuntos densos y la unión se interpreta como un nuevo real con propiedades controladas en la extensión.

Aplicación incorrecta

Tratar el forcing como mera manipulación sintáctica sin controlar preservaciones (p. ej. de cardinales, cofinalidades o axiomas ZF/ZFC) o ignorar la distinción entre nombres en el modelo base y objetos reales en la extensión, lo que conduce a afirmaciones incorrectas sobre lo que satisface la extensión.

Consecuencia

El forcing proporciona un método flexible para construir modelos con propiedades finamente ajustadas y demostrar resultados de independencia; aplicado correctamente, produce extensiones donde enunciados concretos son verdaderos o falsos mientras suele preservar una gran parte de la teoría axiomática original.

Inversión

La perspectiva inversa es el análisis de modelos internos: en lugar de añadir genéricos para extender un modelo, se examinan submodelos o núcleos definibles de un modelo para explicar por qué ciertos genéricos no pueden existir internamente; la inversión destaca la naturaleza relativa de los objetos añadidos.

Límite

Técnica enraizada en la teoría de conjuntos clásica ZF/ZFC y aplicable en muchos contextos modelo‑teóricos; no todos los objetivos combinatorios son alcanzables por cualquier forcing, y requisitos de preservación (p. ej. properness, c.c.c.) restringen los forcings admisibles.

Tensión semántica

Tensión entre extender un modelo añadiendo genéricos (construcción externa) y preservar verdades internas e invariantes estructurales; entre la libertad para forzar patrones combinatorios y las limitaciones impuestas por los teoremas de preservación.

Síntesis

El forcing es un método para construir extensiones de modelos mediante la especificación de condiciones de forcing y la construcción de filtros genéricos, permitiendo la adición controlada de objetos para realizar fenómenos de independencia o consistencia, y requiriendo cuidado en la preservación e interpretación de nombres frente a objetos reales.