Ver el código de «Forzado (matemáticas)»

{{contenido|derecha}}

En la disciplina matemática de la [[teoría de conjuntos]], el '''forzado''' es una técnica empleada para probar la [[consistencia (lógica)|consistencia]] y la [[Independencia (lógica matemática)|independencia]] de diversos resultados.<ref name=SP>{{cita libro|título=Studia philosophica, Volumen 4|editorial=Universidad de Oviedo, Departamento de Filosofía|año=2005|url=https://books.google.es/books?id=hbDWAAAAMAAJ&q=Forcing+Cohen&dq=Forcing+Cohen&hl=es&sa=X&ved=2ahUKEwjVss-o-M7wAhWCzIUKHV40Cg8Q6AEwB3oECAkQAg|fechaacceso= 16 de mayo de 2021}}</ref> Fue utilizada por primera vez por [[Paul Cohen]] en 1963, para demostrar la independencia del [[axioma de elección]] y de la [[hipótesis del continuo]] de los [[axiomas de Zermelo-Fraenkel]].

El procedimiento de forzado ha sido considerablemente reelaborado y simplificado en los años siguientes, y desde entonces ha servido como una técnica potente, tanto en la teoría de conjuntos como en áreas de la [[lógica matemática]] como la [[teoría de la computabilidad]]. La [[teoría descriptiva de conjuntos]] usa las nociones de forzado tanto de la teoría de recursividad como de la teoría de conjuntos. El forzamiento también se ha utilizado en [[teoría de modelos]], pero es común en la teoría de modelos definir el [[filtro generico|carácter genérico]] directamente sin mencionar el forzado.

== Concepto intuitivo ==

Intuitivamente, el forzado consiste en expandir el conjunto [[universo (matemáticas)|universo]] teórico <math> V </math> a un universo mayor <math> V^{*} </math>. En este universo más grande, por ejemplo, se podría disponer de muchos [[subconjunto]]s nuevos de {{nobreak|[[Álef (cardinales)|<math> \omega </math>]] <math> = \{ 0,1,2,\ldots \} </math>}} que no estaban en el universo antiguo y, por lo tanto, violar la [[hipótesis del continuo]].

Si bien es imposible cuando se trata de [[conjunto]]s [[Conjunto finito|finitos]], esta es solo otra versión de la [[paradoja de Cantor]] sobre el infinito. En principio, se podría considerar que:

: <math> V^{*} = V \times \{ 0,1 \}, </math>

identifique <math> x \in V </math> con <math> (x,0) </math> y luego introduzca una relación de membresía ampliada que incluya conjuntos ''nuevos'' de la forma <math> (x,1) </math>. El forzado es una versión más elaborada de esta idea, que reduce la expansión a la existencia de un nuevo conjunto y permite un control preciso sobre las propiedades del universo expandido.

La técnica original de Cohen, ahora llamada [[forzado ramificado]], es ligeramente diferente del '''forzado sin ramificar''' expuesto aquí. El forzado también es equivalente al método de [[modelo booleano-evaluado]], que en algunos casos se considera más natural e intuitivo conceptualmente, pero por lo general mucho más difícil de aplicar.

== Conjunto parcialmente ordenado forzado ==

Un '''conjunto parcialmente ordenado forzado''' es un triplete ordenado, <math> (\mathbb{P},\leq,\mathbf{1}) </math>, donde <math> \leq </math> es un [[conjunto preordenado|preorden]] sobre <math> \mathbb{P} </math> '''sin átomos''', lo que significa que satisface la siguiente condición:

* Para cada <math> p \in \mathbb{P} </math>, existen <math> q,r \in \mathbb{P} </math> tales que <math> q,r \leq p </math>, pero sin un elemento <math> s \in \mathbb{P} </math> tal que <math> s \leq q,r </math>. El elemento más grande de <math> \mathbb{P} </math> es <math> \mathbf{1} </math>, es decir, <math> p \leq \mathbf{1} </math> para todos los <math> p \in \mathbb{P} </math>.
Los miembros de <math> \mathbb{P} </math> se denominan '''condiciones forzadas''' o simplemente '''condiciones'''. Entonces se entiende que <math> p \leq q </math> implica que "<math> p </math> es '''más fuerte''' que <math> q </math>". Intuitivamente, la condición "menor" proporciona "más" información, al igual que el intervalo menor <math> [3.1415926,3.1415927] </math> proporciona más información sobre el número [[Número π|<math> \pi </math>]] que el intervalo <math> [3.1,3.2] </math>.

Hay varias convenciones en uso. Algunos autores requieren que la relación <math> \leq </math> también sea [[Relación antisimétrica|antisimétrica]], por lo que la relación es un [[conjunto parcialmente ordenado|orden parcial]]. Ocasionalmente se usa el término [[conjunto parcialmente ordenado]] de todos modos, en conflicto con la terminología estándar, mientras que también se usa el término [[conjunto preordenado]]. Se puede prescindir del elemento más grande. También se utiliza el orden inverso, sobre todo por [[Saharon Shelah]] y sus coautores.

=== Nombres P ===

Asociada con un conjunto parcialmente ordenado forzado <math> \mathbb{P} </math> está la clase <math> V^{(\mathbb{P})} </math> de <math> \mathbb{P} </math>-'''nombres'''. Un nombre <math> \mathbb{P} </math> es un conjunto <math> A </math> de la forma

: <math> A \subseteq \{ (u,p) \mid u ~ \text{es un} ~ \mathbb{P} \text{-nombre y} ~ p \in \mathbb{P} \}. </math>

En realidad, esta es una definición por recursividad transfinita. Más precisamente, se usa en primer lugar la [[inducción transfinita]] para definir la siguiente jerarquía:

: <math> \begin{align}
\operatorname{Nombre}(\varnothing) & = \varnothing; \\
\operatorname{Nombre}(\alpha + 1)  & = \mathcal{P}(\operatorname{Nombre}(\alpha) \times \mathbb{P}), \text{ donde } \mathcal{P} \text{ denota el operador potencia de conjuntos}; \\
\operatorname{Nombre}(\lambda)     & = \bigcup \{ \operatorname{Nombre}(\alpha) \mid \alpha < \lambda \}, \text{ si } \lambda \text{ es un ordinal límite}.
\end{align} </math>

Entonces la clase de nombres <math> \mathbb{P} </math> se define como

: <math> V^{(\mathbb{P})} = \bigcup \{ \operatorname{Nombre}(\alpha) ~|~ \alpha ~ \text{es un ordinal} \}. </math>

Los nombres <math> \mathbb{P} </math> son, de hecho, una expansión del [[universo de von Neumann|universo]]. Dado <math> x \in V </math>, se define <math> \check{x} </math> como el nombre <math> \mathbb{P} </math>

: <math> \check{x} = \{ (\check{y},\mathbf{1}) \mid y \in x \}. </math>

Una vez más, esta es realmente una definición por recursividad transfinita.

=== Interpretación ===

Dado cualquier subconjunto <math> G </math> de <math> \mathbb{P} </math>, a continuación se define la aplicación de '''interpretación''' o '''valoración''' de los nombres <math> \mathbb{P} </math> por

: <math> \operatorname{val}(u,G) = \{ \operatorname{val}(v,G) \mid \exists p \in G: ~ (v,p) \in u \}. </math>

Esta es de nuevo una definición por recursividad transfinita. Téngase en cuenta que si <math> \mathbf{1} \in G </math>, entonces <math> \operatorname{val}(\check{x},G) = x </math>. Luego se define

: <math> \underline{G} = \{ (\check{p},p) \mid p \in G \} </math>

para que <math> \operatorname{val}(\underline{G},G) = \{\operatorname{val}(\check p, G) \mid p \in G\} = G </math>.

=== Ejemplo ===

Un buen ejemplo de un conjunto parcialmente ordenado forzado es <math> (\operatorname{Bor}(I),\subseteq,I) </math>, donde <math> I = [0,1] </math> y <math> \operatorname{Bor}(I) </math> es la colección de los [[subconjunto de Borel|subconjuntos de Borel]] de <math> I </math> que tienen [[medida de Lebesgue]] distinta de cero. En este caso, se puede hablar de las condiciones como probabilidades, y un nombre <math> \operatorname{Bor}(I) </math> asigna membresía en un sentido probabilístico. Debido a la intuición que este ejemplo puede proporcionar, el lenguaje probabilístico a veces se usa con otros postulados de forzado divergentes.

== Modelos transitivos contables y filtros genéricos ==

El paso clave para el forzado es, dado un universo <math> \mathsf{ZFC} </math> <math> V </math>, encontrar un objeto apropiado <math> G </math> que no esté en <math> V </math>. La clase resultante de todas las interpretaciones de los nombres <math> \mathbb{P} </math> será un modelo de <math> \mathsf{ZFC} </math> que amplía adecuadamente el <math> V </math> original (desde <math> G \notin V </math>).

En lugar de trabajar con <math> V </math>, es útil considerar un '''modelo transitivo contable''' <math> M </math> con <math> (\mathbb{P},\leq,\mathbf{1}) \in M </math>. "Modelo" se refiere a un modelo de la teoría de conjuntos, ya sea de todo <math> \mathsf{ZFC} </math>, o de un modelo de un subconjunto grande pero finito de <math> \mathsf{ZFC} </math>, o alguna variante del mismo. "Transitividad" significa que si <math> x \in y \in M </math>, entonces <math> x \in M </math>. El [[lema de colapso de Mostowski]] establece que esto se puede asumir si la relación de membresía está [[relación bien fundada|bien fundada]]. El efecto de la transitividad es que la membresía y otras nociones elementales pueden manejarse intuitivamente. El carácter de contable del modelo se basa en el [[teorema de Löwenheim-Skolem]].

Como <math> M </math> es un conjunto, hay conjuntos que no están en <math> M </math>; esto se deriva de la [[paradoja de Russell]]. El conjunto propio <math> G </math> para seleccionar y adjuntar a <math> M </math> es un '''filtro genérico''' en <math> \mathbb{P} </math>. La condición de "filtro" significa que:

* <math> G \subseteq \mathbb{P}; </math>
* <math> \mathbf{1} \in G; </math>
* si <math> p \geq q \in G </math>, entonces <math> p \in G; </math>
* si <math> p,q \in G </math>, entonces existe un <math> r \in G </math> tal que <math> r \leq p,q. </math>

Que <math> G </math> sea "genérico", significa que:

* Si <math> D \in M </math> es un subconjunto "denso" de <math> \mathbb{P} </math> (es decir, para cada <math> p \in \mathbb{P} </math>, existe un <math> q \in D </math> tal que <math> q \leq p </math>), entonces <math> G \cap D \neq \varnothing </math>.

La existencia de un filtro genérico <math> G </math> se deriva del [[lema de Rasiowa-Sikorski]]. De hecho, es cierto algo más: dada una condición <math> p \in \mathbb{P} </math>, se puede encontrar un filtro genérico <math> G </math> tal que <math> p \in G </math>. Debido a la condición de división en <math>\mathbb{P}</math> (anteriormente denominada "sin átomos"), si <math> G </math> es un filtro, entonces <math> \mathbb{P} \setminus G </math> es denso. Si <math> G \in M </math>, entonces <math> \mathbb{P} \setminus G \in M </math> porque <math> M </math> es un modelo de <math> \mathsf{ZFC} </math>. Por esta razón, un filtro genérico nunca está en <math> M </math>.

== Forzado ==

Dado un filtro genérico <math> G \subseteq \mathbb{P}</math>, se procede de la siguiente manera. La subclase de nombres <math> \mathbb{P} </math> en <math> M </math> se denota como <math> M^{(\mathbb{P})} </math>. Sea

: <math> M[G] = \left\{ \operatorname{val}(u,G) ~ \Big| ~ u \in M^{(\mathbb{P})} \right\}.</math>

Para reducir el estudio de la teoría de conjuntos de <math> M[G] </math> al de <math> M </math>, se trabaja con el "lenguaje forzado", que se construye como una [[lógica de primer orden]] ordinaria, con la pertenencia como [[relación binaria]] y todos los nombres <math> \mathbb{P} </math> como constantes.

Se define <math> p \Vdash_{M,\mathbb{P}} \varphi(u_{1},\ldots,u_{n}) </math> (que debe leerse como "<math>p</math> fuerza a <math> \varphi </math> en el modelo <math> M </math> con el conjunto parcialmente ordenado <math> \mathbb{P} </math>"), donde <math> p </math> es una condición, <math> \varphi </math> es una fórmula en el lenguaje forzado y los <math> u_{i} </math> son nombres de <math> \mathbb{P} </math>, lo que significa que si <math> G </math> es un filtro genérico que contiene <math> p </math>, entonces <math> M[G] \models \varphi(\operatorname{val}(u_{1},G),\ldots,\operatorname{val}(u_{n},G)) </math>. El caso especial <math> \mathbf{1} \Vdash_{M,\mathbb{P}} \varphi </math> se escribe a menudo como "<math> \mathbb{P} \Vdash_{M,\mathbb{P}} \varphi </math>" o simplemente "<math> \Vdash_{M,\mathbb{P}} \varphi </math>". Tales declaraciones son verdaderas en <math> M[G] </math>, sin importar lo que sea <math> G </math>.

En resumen, <math> f </math> es desconocido en <math> V </math> ya que depende de <math> G </math>, pero no es completamente desconocido para un forzado de conjunto de cadena contable (c.c.c.). Se puede identificar un conjunto contable de conjeturas sobre que es el valor de <math> f </math> en cualquier entrada, independientemente de <math> G </math>.

Lo importante es que esta definición '''externa''' de la relación de forzamiento <math> p \Vdash_{M,\mathbb{P}} \varphi </math> es equivalente a una definición '''interna''' dentro de <math> M </math>, definida por inducción transfinita sobre los nombres <math> \mathbb{P} </math> en instancias de <math> u \in v </math> y <math> u = v </math>, y luego por inducción ordinaria sobre la complejidad de las fórmulas. Esto tiene el efecto de que todas las propiedades de <math> M[G] </math> son realmente propiedades de <math> M </math>, y la verificación de <math> \mathsf{ZFC} </math> en <math> M[G] </math> se vuelve sencilla. Esto generalmente se resume en las siguientes tres propiedades clave:

* '''Verdad''': <math> M[G] \models \varphi(\operatorname{val}(u_{1},G),\ldots,\operatorname{val}(u_{n},G)) </math> [[bicondicional]] es forzado por <math> G </math>, es decir, para alguna condición <math> p \in G </math>, se tiene que <math> p \Vdash_{M,\mathbb{P}} \varphi(u_{1},\ldots,u_{n}) </math>.
* '''Definibilidad''': La declaración "<math> p \Vdash_{M,\mathbb{P}} \varphi(u_{1},\ldots,u_{n}) </math>" se puede definir en <math> M </math>.
* '''Coherencia''': <math> p \Vdash_{M,\mathbb{P}} \varphi(u_{1},\ldots,u_{n}) \land q \leq p \implies q \Vdash_{M,\mathbb{P}} \varphi(u_{1},\ldots,u_{n}) </math>.

Se define la relación de forzado <math> \Vdash_{M,\mathbb{P}} </math> en <math> M </math> por inducción sobre la complejidad de fórmulas, en la que primero se da la relación para [[Fórmula atómica|fórmulas atómicas]] por inducción <math> \in </math> y luego se implementa para fórmulas arbitrarias por inducción sobre su complejidad.

Primero se define la relación de forzado en fórmulas atómicas, haciéndolo para ambos tipos de fórmulas, <math>x\in y</math> y <math>x=y</math>, simultáneamente. Esto significa que se define una relación <math>R(p,a,b,t,\mathbb{P})</math> donde <math>t</math> denota el tipo de fórmula de la siguiente manera:
# <math>R(p,a,b,0,\mathbb{P})</math> significa <math>p\Vdash_{\mathbb{P}}a\in b</math>.
# <math>R(p,a,b,1,\mathbb{P})</math> significa <math>p\Vdash_{\mathbb{P}}a=b</math>.
# <math>R(p,a,b,2,\mathbb{P})</math> significa <math>p\Vdash_{\mathbb{P}}a\subseteq b</math>.

Aquí <math>p</math> es una condición y <math>a</math> y <math>b</math> son nombres <math>\mathbb{P}</math>. Sea <math>R(p,a,b,t,\mathbb{P})</math> una fórmula definida por la inducción de <math>\in</math>:

R1. <math>R(p,a,b,0,\mathbb{P})</math> si y solo si <math>(\forall q\leq p)(\exists r\leq q)(\exists(s,c)\in b)(r\leq s\,\land\,R(r,a,c,1,\mathbb{P}))</math>.

R2. <math>R(p,a,b,1,\mathbb{P})</math> si y solo si <math>R(r,a,b,2,\mathbb{P})\,\land\,R(r,b,a,2,\mathbb{P})</math>.

R3. <math>R(p,a,b,2,\mathbb{P})</math> si y solo si <math>(\forall(s,c)\in a)(\forall q\leq p)(\exists r\leq q)(r\leq s\,\Rightarrow\,R(r,c,b,0,\mathbb{P}))</math>.

Más formalmente, se usa la siguiente relación binaria <math>\mathbb{P}</math>-nombres: sea <math>S(a,b)</math> válido para los nombres <math>a</math> y <math>b</math> si y solo si <math>(p,a)\in b</math> para al menos una condición <math>p</math>. Esta relación está bien fundada, lo que significa que para cualquier nombre <math>a</math> la clase de todos los nombres <math>b</math>, tal que <math>S(a,b)</math> tiene, es un conjunto y no hay ninguna función <math>f:\omega\longrightarrow Nombres</math> tal que <math>(\forall n\in\omega)S(f(n+1),f(n))</math>.

En general, una relación bien fundada no es un preorden, porque podría no ser transitiva. Pero, si se considera como un "ordenamiento", es una relación sin infinitas secuencias decrecientes y donde para cualquier elemento la clase de elementos por debajo es un conjunto.

Es fácil cerrar cualquier relación binaria de transitividad. Para los nombres <math>a</math> y <math>b</math>, <math>a<b</math> se cumple si hay al menos una secuencia finita <math>c_0,\dots,c_n</math> (como aplicación con dominio <math>\{0,\dots,n\}</math>) para algunos <math>n>0</math> tales que <math>c_0=a</math>, <math>c_n=b</math> y se cumple para algún <math>i<n</math>, que <math>S(c_{i-1},c_i)</math>. 

Este ordenamiento también está bien fundado.

Definimos el siguiente orden bien definido en pares de nombres: <math>T((a,b),(c,d))</math> si se cumple uno de los siguientes:
# <math>\max\{a,b\}<\max\{c,d\}</math>,
# <math>\max\{a,b\}=\max\{c,d\}</math> y <math>\min\{a,b\}<\min\{c,d\}</math>,
# <math>\max\{a,b\}=\max\{c,d\}</math> y <math>\min\{a,b\}=\min\{c,d\}</math> y <math>a<c</math>.

La relación <math>R(p,a,b,t,\mathbb{P})</math> se define por recursividad en pares <math>(a,b)</math> de nombres. Para cualquier par, se define por la misma relación en pares "más simples". En realidad, por el teorema de recursividad hay una fórmula <math>R(p,a,b,t,\mathbb{P})</math> tal que R1, R2 y R3 son teoremas porque su valor de verdad en algún punto está definido por sus valores de verdad en puntos "más pequeños" en relación con alguna relación bien fundada utilizada como "ordenar". Ahora, se está preparados para definir la relación forzada:
# <math>p\Vdash_{\mathbb P}a\in b</math> significa <math>a,b\in Nombre\,\land\,R(p,a,b,0,\mathbb{P})</math>.
# <math>p\Vdash_{\mathbb P}a=b</math> significa <math>a,b\in Nombre\,\land\,R(p,a,b,1,\mathbb{P})</math>.
# <math>p\Vdash_{\mathbb P}\lnot f(a_1,\dots,a_n)</math> significa <math>a_1,\dots,a_n\in Nombre\,\land\,\lnot(\exists q\leq p)q\Vdash_{\mathbb P} f(a_1,\dots,a_n)</math>.
# <math>p\Vdash_{\mathbb P}(f(a_1,\dots,a_n)\land g(a_1,\dots,a_n))</math> significa <math>a_1,\dots,a_n\in Nombre\,\land\,(p\Vdash_{\mathbb P}f(a_1,\dots,a_n))\land(p\Vdash_{\mathbb P}g(a_1,\dots,a_n))</math>.
# <math>p\Vdash_{\mathbb{P}}(\forall x)f(a_1,\dots,a_n,x)</math> significa <math>a_1,\dots,a_n\in Nombre\,\land\,a_1,\dots,a_n\in Nombre\,\land\,(\forall b\in Nombres)p\Vdash_{\mathbb{P}}f(a_1,\dots,a_n,b)</math>.

En realidad, esta es una transformación de una fórmula arbitraria <math>f(x_1,\dots,x_n)</math> a la fórmula <math>p\Vdash_{\mathbb{P}}f(x_1,\dots,x_n)</math> donde <math>p</math> y <math>\mathbb{P}</math> son variables adicionales. Esta es la definición de la relación de forzado en el universo <math>V</math> de todos los conjuntos independientemente de cualquier modelo transitivo contable. Sin embargo, existe una relación entre esta formulación "sintáctica" de forzado y la formulación "semántica" de forzado sobre algún modelo transitivo contable <math>M</math>.

1. Para cualquier fórmula <math>f(x_1,\dots,x_n)</math> existe un teorema <math>T</math> de la teoría <math>\mathsf{ZFC}</math> (por ejemplo, conjunción de un número finito de axiomas) tal que para cualquier modelo transitivo contable <math>M</math> tal que <math>M\models T</math> y cualquier orden parcial sin átomos <math>\mathbb{P}\in M</math> y cualquier <math>\mathbb{P}</math>-filtro genérico <math>G</math> sobre <math>M</math>

: <math>(\forall a_1,\ldots,a_n\in M^{\mathbb{P}})(\forall p\in\mathbb{P})(p\Vdash_{M,\mathbb{P}} f(a_1,\dots,a_n) \,\Leftrightarrow \, M\models p\Vdash_{\mathbb{P}}f(a_1,\dots,a_n)).</math>

Esto se denomina propiedad de definibilidad de la relación de forzado.

== Consistencia ==

La discusión anterior se puede resumir en el resultado de consistencia fundamental de que, dado un conjunto parcialmente ordenado forzado <math> \mathbb{P} </math>, se puede asumir la existencia de un filtro genérico <math> G </math>, que no pertenece al universo <math> V </math>, de modo que <math> V[G] </math> es nuevamente un universo de teoría de conjuntos que modela <math> \mathsf{ZFC} </math>. Además, todas las verdades en <math> V[G] </math> pueden reducirse a verdades en <math> V </math> que involucran la relación forzada.

Ambos estilos, junto a <math> G </math> a un modelo transitivo contable <math> M </math> o al universo completo <math> V </math>, se utilizan comúnmente. Es menos común el enfoque que utiliza la definición "interna" de forzado, en la que no se hace mención de modelos de conjuntos o clases. Este fue el método original de Cohen, y en una elaboración, se convierte en el método de análisis con valores booleanos.

== Forzado de Cohen ==

En el conjunto parcialmente ordenado forzado no trivial más simple es <math> (\operatorname{Fin}(\omega,2),\supseteq,0) </math>, las [[Función parcial|funciones parciales]] finitas de <math> \omega </math> a <math> 2 ~ \stackrel{\text{df}}{=} ~ \{ 0,1 \} </math> bajo la inclusión "inversa". Es decir, una condición <math> p </math> es esencialmente dos subconjuntos finitos disjuntos <math> {p^{-1}}[1] </math> y <math> {p^{-1}}[0] </math> de <math> \omega </math>, que deben considerarse como las partes "sí" y "no" de {{nowrap|<math> p </math>,}} sin información proporcionada sobre valores fuera del dominio de <math> p </math>. "<math> q </math> es más fuerte que <math> p </math>" significa que <math> q \supseteq p </math>, en otras palabras, las partes "sí" y "no" de <math> q </math> son superconjuntos de las partes "sí" y "no" de <math> p </math>, y en ese sentido, brindan más información.

Sea <math> G </math> un filtro genérico para este conjunto parcialmente ordenado. Si <math> p </math> y <math> q </math> están ambos en <math> G </math>, entonces <math> p \cup q </math> es una condición porque <math> G </math> es un filtro. Esto significa que <math> g = \bigcup G </math> es una función parcial bien definida de <math> \omega </math> a <math> 2 </math> porque dos condiciones cualesquiera en <math> G </math> coinciden en su dominio común.

De hecho, <math> g </math> es una función total. Dado <math> n \in \omega </math>, sea <math> D_{n} = \{ p \mid p(n) ~ \text{is defined} \} </math>. Entonces <math> D_{n} </math> es denso. (Dado cualquier <math> p </math>, si <math> n </math> no está en el dominio de <math> p </math>, se adjunta un valor para <math> n </math>; el resultado está en <math> D_{n} </math>.) Una condición <math> p \in G \cap D_{n} </math> tiene <math> n </math> en su dominio y, desde <math> p \subseteq g </math>, se tiene que <math> g(n) </math> está definido.

Sea <math> X = {g^{-1}}[1] </math>, el conjunto de todos los miembros "sí" de las condiciones genéricas. Es posible dar un nombre a <math> X </math> directamente. Sea

: <math> \underline{X} = \left \{ \left (\check{n},p \right ) \mid p(n) = 1 \right \}.</math>

Entonces <math>\operatorname{val}(\underline{X},G) = X.</math> Ahora supóngsea que <math> A \subseteq \omega </math> en <math> V </math>. Se afirma que <math> X \neq A </math>. Sea ahora

: <math> D_{A} = \{ p \mid (\exists n)(n \in \operatorname{Dom}(p) \land (p(n) = 1 \iff n \notin A)) \}.</math>

Entonces <math>D_A</math> es denso. (Dado cualquier <math> p </math>, buscar un <math> n </math> que no esté en su dominio y adjúntese un valor para <math> n </math> contrario al estado de "<math> n \in A </math>"). Entonces cualquier <math> p \in G \cap D_A</math> presencia <math> X \neq A </math>. Para resumir, <math> X </math> es un subconjunto "nuevo" de <math> \omega </math>, necesariamente infinito.

Reemplazando <math> \omega </math> por <math> \omega \times \omega_{2} </math>, es decir, considerando en su lugar funciones parciales finitas cuyas entradas son de la forma <math> (n,\alpha) </math>, con <math> n < \omega </math> y <math> \alpha < \omega_{2} </math>, y cuyas salidas son <math> 0 </math> o <math> 1 </math>, se obtienen <math> \omega_{2} </math> nuevos subconjuntos de <math> \omega </math>. Todos son distintos, por un argumento de densidad: dado <math> \alpha < \beta < \omega_{2} </math>, entonces

: <math> D_{\alpha,\beta} = \{ p \mid (\exists n)(p(n,\alpha) \neq p(n,\beta)) \},</math>

de forma que cada <math> D_{\alpha,\beta} </math> es denso, y una condición genérica en él prueba que el α-ésimo nuevo conjunto no está de acuerdo con el nuevo conjunto <math> \beta </math>.

Esta no es todavía la falsificación de la hipótesis del continuo. Se debe probar que no se han introducido nuevas aplicaciones que hagan corresponder <math> \omega </math> en <math> \omega_{1} </math>, o <math> \omega_{1} </math> en <math> \omega_{2} </math>. Por ejemplo, si se considera en su lugar <math> \operatorname{Fin}(\omega,\omega_{1}) </math>, funciones parciales finitas de <math> \omega </math> a <math> \omega_{1} </math>, el [[primer ordinal no numerable]], se obtiene en <math> V[G] </math> una biyección de <math> \omega </math> a <math> \omega_{1} </math>. En otras palabras, <math> \omega_{1} </math> está "colapsado", y en la extensión forzada, es un ordinal contable.

El último paso para demostrar la independencia de la hipótesis del continuo, entonces, es mostrar que el forzado de Cohen no colapsa los cardinales. Para ello, una propiedad combinatoria suficiente es que todos las [[anticadena]]s del conjunto parcialmente ordenado forzado son contables.

== Condición de cadena contable ==
{{AP|Condición de cadena contable}}

Una [[anticadena fuerte]] <math> A </math> de <math> \mathbb{P} </math> es un subconjunto tal que si <math> p,q \in A </math>, entonces <math> p </math> y <math> q </math> son '''incompatibles''' (escrito <math> p \perp q </math>), lo que significa que no hay <math> r </math> en <math> \mathbb{P} </math> tal que <math> r \leq p </math> y <math> r \leq q </math>. En el ejemplo de conjuntos de Borel, la incompatibilidad significa que <math> p \cap q </math> tiene medida cero. En el ejemplo de funciones parciales finitas, la incompatibilidad significa que <math> p \cup q </math> no es una función, en otras palabras, <math> p </math> y <math> q </math> asignan valores diferentes a alguna entrada de dominio.

<math> \mathbb{P} </math> satisface la [[condición de cadena contable]] (c.c.c.) si y solo si cada anticadena en <math> \mathbb{P} </math> es contable (el nombre, que obviamente es inapropiado, es un vestigio de terminología más antigua. Algunos matemáticos escriben "c.a.c." por "condición de anticadena contable").

Es fácil ver que <math> \operatorname{Bor}(I) </math> satisface el c.c.c. porque las medidas suman como máximo <math> 1 </math>. Además, <math> \operatorname{Fin}(E,2) </math> satisface la c.c.c., pero la prueba es más difícil.

Dada una subfamilia incontable <math> W \subseteq \operatorname{Fin}(E,2) </math>, reduzca <math> W </math> a una subfamilia incontable <math> W_{0} </math> de conjuntos de tamaño <math> n </math>, para algunos <math>n < \omega </math>. Si <math> p(e_{1}) = b_{1} </math> para innumerables <math> p \in W_{0} </math>, se reduce esto a una subfamilia incontable <math> W_{1} </math> y repita, obteniendo un conjunto finito <math> \{ (e_{1},b_{1}),\ldots,(e_{k},b_{k}) \} </math> y una familia incontable <math> W_{k} </math> de condiciones incompatibles de tamaño <math> n - k </math> de modo que cada <math> e </math> esté en <math> \operatorname{Dom}(p) </math> durante como máximo muchos <math> p \in W_{k} </math> contables. Ahora, elíjase un <math> p \in W_{k} </math> arbitrario y elíjase de <math> W_{k} </math> cualquier <math> q </math> que no sea uno de los innumerables miembros que tienen un miembro de dominio en común con <math> p </math>. Entonces <math> p \cup \{ (e_{1},b_{1}),\ldots,(e_{k},b_{k}) \} </math> y <math>q \cup \{ (e_{1},b_{1}),\ldots,(e_{k},b_{k}) \} </math> son compatibles, por lo que <math> W </math> no es una anticadena. En otras palabras, <math> \operatorname{Fin}(E,2) </math>-anticadenas son contables.

La importancia de las anticadenas en el forzado es que para la mayoría de los propósitos, los conjuntos densos y las anticadenas máximas son equivalentes. Una anticadena "máxima" <math> A </math> es aquella que no se puede extender a una anticadena más grande. Esto significa que cada elemento <math> p \in \mathbb{P} </math> es compatible con algún miembro de <math> A </math>. La existencia de una anticadena máxima se deriva del [[lema de Zorn]]. Dada una anticadena máxima <math> A </math>, sea

: <math> D = \left \{ p \in \mathbb{P} \mid (\exists q \in A)(p \leq q) \right \}.</math>

Entonces <math> D </math> es denso, y <math> G \cap D \neq \varnothing </math> si y solo si <math> G \cap A \neq \varnothing </math>. Por el contrario, dado un conjunto denso <math> D </math>, el Lema de Zorn demuestra que existe una anticadena máxima <math> A \subseteq D </math>, y entonces <math> G \cap D \neq \varnothing </math> si y solo si <math> G \cap A \neq \varnothing </math>.

Supóngase que <math> \mathbb{P} </math> satisface la c.c.c. Dado <math> x,y \in V </math>, con <math> f: x \to y </math> una función en <math> V[G] </math>, se puede aproximar <math> f </math> dentro de <math> V </math> de la siguiente manera. Sea <math> u </math> un nombre para <math> f </math> (según la definición de <math> V[G] </math>) y sea <math> p </math> una condición que obligue a <math> u </math> a ser una función de <math> x </math> a <math> y </math>. Defínase una función <math> F </math>, cuyo dominio es <math> x </math>, por

: <math> F(a) \stackrel{\text{df}}{=} \left \{ b \left | (\exists q \in \mathbb{P}) \left [(q \leq p) \land \left (q \Vdash ~ u \left (\check{a} \right ) = \check{b} \right ) \right ] \right \}. \right.</math>

Por la definibilidad de forzado, esta definición tiene sentido dentro de <math> V </math>. Por la coherencia del forzado, un <math> b </math> diferente proviene de un <math> p </math> incompatible. Por la c.c.c., <math> F(a) </math> es contable.

En resumen, <math> f </math> es desconocido en <math> V </math> ya que depende de <math> G </math>, pero no es completamente desconocido para un forzado de la c.c.c. Se puede identificar un conjunto contable de conjeturas sobre cuál es el valor de <math> f </math> en cualquier entrada, independientemente de <math> G </math>.

Esto tiene la siguiente consecuencia muy importante. Si en <math> V[G] </math>, <math> f: \alpha \to \beta </math> es una sobreyección de un ordinal infinito a otro, entonces existe una sobreyección <math> g: \omega \times \alpha \to \beta </math> en <math> V </math> y, en consecuencia, una sobreyección <math> h: \alpha \to \beta </math> en <math> V </math>. En particular, los cardinales no pueden colapsar. La conclusión es que <math>2^{\aleph_{0}} \geq \aleph_{2} </math> en <math> V[G] </math>.

== Forzado de Easton ==
El valor exacto del continuo en el modelo de Cohen anterior, y variantes como <math> \operatorname{Fin}(\omega \times \kappa,2) </math> para los cardinales <math> \kappa </math> en general, fue elaborado por [[Robert M. Solovay]], quien también descubrió cómo violar <math> \mathsf{GCH} </math> (la [[hipótesis del continuo|hipótesis del continuo generalizado]]), solo para un [[cardinal regular]], y un número finito de veces. Por ejemplo, en el modelo de Cohen anterior, si <math> \mathsf{CH} </math> se mantiene en <math> V </math>, entonces <math> 2^{\aleph_{0}} = \aleph_{2} </math> se mantiene en <math> V[G] </math>.

[[William Bigelow Easton|William B. Easton]] elaboró la versión de clase adecuada capaz de violar el <math> \mathsf{GCH} </math> para los cardinales regulares, básicamente mostrando que las restricciones conocidas, (monotonicidad, [[teorema de Cantor]] y [[Teorema de König (teoría de conjuntos)|teorema de König]]), eran las únicas restricciones demostrables por <math> \mathsf{ZFC} </math> (véase [[teorema de Easton]]).

El trabajo de Easton fue notable porque implicó el forzado con una clase adecuada de condiciones. En general, el método de forzado con una clase adecuada de condiciones no da un modelo de <math> \mathsf{ZFC} </math>. Por ejemplo, el forzado con <math> \operatorname{Fin}(\omega \times \mathbf{On},2) </math>, donde <math> \mathbf{On} </math> es la clase adecuada de todos los ordinales, hace que el continuo sea una clase adecuada. Por otro lado, el forzado con <math> \operatorname{Fin}(\omega,\mathbf{On}) </math> introduce una enumeración contable de los ordinales. En ambos casos, el <math> V[G] </math> resultante no es visiblemente un modelo de <math> \mathsf{ZFC} </math>.

En un momento, se pensó que un forzado más sofisticado también permitiría una variación arbitraria en las potencias de los [[Cardinal regular|cardinales singulares]]. Sin embargo, esto ha resultado ser un problema difícil, sutil e incluso sorprendente, con varios [[teoría PCF|restricciones probables]] más en <math> \mathsf{ZFC} </math> y con los modelos de forzado dependiendo de la consistencia de varias propiedades de un [[Cardinal grande|gran cardinal]]. todavía quedan muchos problemas abiertos en este campo.

== Reales aleatorios ==

{{AP|Álgebra aleatoria}}

El forzado aleatorio se puede definir como el forzado sobre el conjunto <math>P</math> de todos los subconjuntos compactos de <math>[0,1]</math> de medida positiva ordenados por relación <math>\subseteq</math> (el conjunto más pequeño en el contexto de inclusión es un conjunto más pequeño en el orden y representa la condición con más información). Hay dos tipos de conjuntos densos importantes:

1. Para cualquier entero positivo <math>n</math>, el conjunto

: <math>D_n= \left \{p\in P : \operatorname{diam}(p)<\frac 1n \right \}</math>

es denso, donde <math>\operatorname{diam}(p)</math> es el diámetro del conjunto <math>p</math>.

2. Para cualquier subconjunto de Borel <math>B \subseteq [0,1]</math> de medida 1, el conjunto

: <math>D_B=\{p\in P : p\subseteq B\}</math>

es denso.

Para cualquier filtro <math>G</math> y para un número finito de elementos <math>p_1,\ldots,p_n\in G</math> hay <math>q\in G</math> tal que contiene <math>q\leq p_1,\ldots,p_n</math>. En el caso de este orden, esto significa que cualquier filtro es un conjunto de conjuntos compactos con la propiedad de intersección finita. Por esta razón, la intersección de todos los elementos de cualquier filtro no está vacía. Si <math>G</math> es un filtro que cruza el conjunto denso <math>D_n</math> para cualquier entero positivo <math>n</math>, entonces el filtro <math>G</math> contiene condiciones de diámetro positivo arbitrariamente pequeño. Por lo tanto, la intersección de todas las condiciones de <math>G</math> tiene diámetro 0. Pero los únicos conjuntos no vacíos de diámetro 0 son únicos. Entonces, hay exactamente un número real <math>r_G</math> tal que <math>r_G\in\bigcap G</math>.

Sea <math>B\subseteq[0,1]</math> cualquier conjunto de medidas de Borel 1. Si <math>G</math> se cruza con <math>D_B</math>, entonces <math>r_G\in B</math>.

Sin embargo, un filtro genérico sobre un modelo transitivo contable <math>V</math> no está en <math>V</math>. El <math>r_G</math> real definido por <math>G</math> probablemente no es un elemento de <math>V</math>. El problema es que si <math>p\in P</math>, entonces <math>V\models</math> "<math>p</math> es compacto", pero desde el punto de vista de un universo mayor <math>U\supset V</math>, <math>p</math> puede no ser compacto y la intersección de todas las condiciones del filtro genérico <math>G</math> está realmente vacía. Por esta razón, se considera el conjunto <math>C=\{\bar p : p\in G\}</math> de cierres topológicos de condiciones de G. Debido a <math>\bar p\supseteq p</math> y la propiedad de intersección finita de <math>G</math>, el conjunto <math>C</math> también tiene la propiedad de intersección finita. Los elementos del conjunto <math>C</math> son conjuntos cerrados delimitados como cierres de conjuntos delimitados. Por lo tanto, <math>C</math>
es un conjunto de conjuntos compactos con la propiedad de intersección finita y, por lo tanto, tiene una intersección no vacía. Dado que <math>\operatorname{diam}(\bar p) = \operatorname{diam}(p)</math> y el modelo de base <math>V</math> heredan una métrica del universo <math>U</math>, el conjunto <math>C</math> tiene elementos de diámetro arbitrariamente pequeño. Finalmente, hay exactamente un real que pertenece a todos los miembros del conjunto <math>C</math>. El filtro genérico <math>G</math> se puede reconstruir a partir de <math>r_G</math> como <math>G=\{p\in P : r_G\in\bar p\}</math>.

Si <math>a</math> es el nombre de <math>r_G</math>, y para <math>B\in V</math> contiene <math>V\models</math> "<math>B</math> es el conjunto de medida 1 de Borel", entonces se mantiene que

: <math>V[G]\models \left (p\Vdash_{\mathbb{P}}a\in\check{B} \right )</math>

para algunos <math>p\in G</math>. Hay un nombre <math>a</math> tal que para cualquier filtro genérico <math>G</math> se mantiene que

: <math>\operatorname{val}(a,G)\in\bigcup_{p\in G}\bar p.</math>

Luego

: <math>V[G]\models \left (p\Vdash_{\mathbb{P}}a\in\check{B} \right )</math>

se mantiene para cualquier condición <math>p</math>.

Cada [[conjunto de Borel]] puede construirse, de forma no única, a partir de intervalos con puntos finales racionales y aplicando las operaciones de complemento y uniones contables, un número contable de veces. El registro de tal construcción se denomina "código de Borel". Dado un conjunto de Borel <math>B</math> en <math>V</math>, se recupera un código de Borel y luego se aplica la misma secuencia de construcción en <math>V[G]</math>, obteniendo un conjunto de Borel <math>B^*</math>. Se puede demostrar que se obtiene el mismo conjunto independientemente de la construcción de <math>B </math>, y que las propiedades básicas se preservan. Por ejemplo, si <math>B \subseteq C</math>, entonces <math>B^* \subseteq C^*</math>. Si <math>B</math> tiene medida cero, <math>B^*</math> tiene medida cero. Esta aplicación <math>B\mapsto B^*</math> es inyectiva.

Para cualquier conjunto <math>B\subseteq[0,1]</math> tal que <math>B\in V</math> y <math>V\models</math> "<math>B</math> es un conjunto de Borel de medida 1" que contiene <math>r\in B^*</math>.

Esto significa que <math>r</math> es una "secuencia aleatoria infinita de 0 y 1" desde el punto de vista de <math>V</math>, lo que significa que satisface todas las pruebas estadísticas del modelo de base <math>V</math>.

Entonces, dado <math>r</math>, un real aleatorio, se puede demostrar que

: <math> G = \left \{ B ~ (\text{in } V) \mid r \in B^* ~ (\text{in } V[G]) \right \}. </math>

Debido a la interdefinibilidad mutua entre <math>r</math> y <math> G </math>, generalmente se escribe <math>V[r]</math> para <math>V[G]</math>.

[[Dana Scott]] proporcionó una interpretación diferente de los reales mediate <math>V[G]</math>. Los [[Número racional|números racionales]] en <math> V[G] </math> tienen nombres que corresponden a numerosos valores racionales distintos asignados a una anticadena máxima de conjuntos de Borel; en otras palabras, una determinada función de valor racional en <math>I = [0,1] </math>. Los [[Número real|números reales]] en <math>V[G]</math> corresponden a los [[cortes de Dedekind]] de dichas funciones, es decir, se trata de una [[función medible]].

== Modelos con valor booleano ==
{{AP|Modelo booleano valorado}}

Quizás más claramente, el método se puede explicar en términos de modelos con valores booleanos. En estos, a cualquier declaración se le asigna un [[valor de verdad]] de alguna [[álgebra booleana (estructura)|álgebra booleana]] completa sin átomos, en lugar de solo un valor verdadero/falso. Luego, se elige un [[ultrafiltro]] en esta [[Álgebra de Boole|álgebra booleana]], que asigna valores verdadero/falso a los enunciados de la teoría objeto de estudio. El caso es que la teoría resultante tiene un modelo que contiene este ultrafiltro, que puede entenderse como un nuevo modelo obtenido ampliando el anterior con el mencionado ultrafiltro. Al elegir un modelo con valor booleano de una manera adecuada, se puede obtener un modelo que tenga la propiedad deseada. En él, solo las declaraciones que deben ser verdaderas ("forzadas" a ser verdaderas) serán verdaderas, en cierto sentido (ya que tiene esta propiedad de extensión/minimalidad).

== Explicación metamatemática ==

Al proceder al forzado, generalmente se busca mostrar que algunas [[Sentencia (lógica)|sentencias]] son [[Consistencia (lógica)|consistentes]] con <math> \mathsf{ZFC} </math> (u opcionalmente alguna extensión de <math> \mathsf{ZFC} </math>). Una forma de interpretar el argumento es asumir que <math> \mathsf{ZFC} </math> es consistente y luego demostrar que <math> \mathsf{ZFC} </math> combinado con la nueva [[Sentencia (lógica)|sentencia]] también es consistente.

Cada "condición" es una pieza finita de información; la idea es que solo las piezas finitas son relevantes para la consistencia, ya que, según el [[compacidad (lógica)|teorema de compacidad]], una teoría es satisfactoria si y solo si cada subconjunto finito de sus axiomas es satisfactorio. Entonces se puede elegir un [[conjunto infinito]] de condiciones consistentes para extender el modelo estudiado. Por lo tanto, asumiendo la consistencia de <math> \mathsf{ZFC} </math>, se prueba la consistencia de <math> \mathsf{ZFC} </math> extendida por este conjunto infinito.

== Explicación lógica ==

Por los [[teoremas de incompletitud de Gödel]], no se puede probar la consistencia de una teoría formal suficientemente fuerte, como <math> \mathsf{ZFC} </math>, usando solo los axiomas de la teoría misma, a menos que la teoría sea inconsistente. En consecuencia, los matemáticos no intentan probar la consistencia de <math> \mathsf{ZFC} </math> usando solo los axiomas de <math> \mathsf{ZFC} </math>, o probar que <math> \mathsf{ZFC} + H </math> es consistente para cualquier hipótesis <math> H </math> usando solo <math> \mathsf{ZFC} + H </math>. Por esta razón, el objetivo de una prueba de coherencia es demostrar la coherencia de <math> \mathsf{ZFC} + H </math> en relación con la coherencia de <math> \mathsf{ZFC} </math>. Tales problemas se conocen como problemas de '''consistencia relativa''', uno de los cuales demuestra que

(*) <math> \mathsf{ZFC} \vdash \operatorname{Con}(\mathsf{ZFC}) \rightarrow \operatorname{Con}(\mathsf{ZFC} + H). </math>

A continuación se muestra el esquema general de las pruebas de coherencia relativa. Como cualquier prueba es finita, usa solo un número finito de axiomas:

: <math> \mathsf{ZFC} + \lnot \operatorname{Con}(\mathsf{ZFC} + H) \vdash (\exists T)(\operatorname{Fin}(T) \land T \subseteq \mathsf{ZFC} \land (T \vdash \lnot H)). </math>

Para cualquier prueba dada, <math> \mathsf{ZFC} </math> puede verificar la validez de esta prueba. Esto se puede demostrar por inducción sobre la longitud de la prueba.

: <math> \mathsf{ZFC} \vdash (\forall T)((T \vdash \lnot H) \rightarrow (\mathsf{ZFC} \vdash (T \vdash \lnot H))). </math>

Entonces se resuelve

: <math> \mathsf{ZFC} + \lnot \operatorname{Con}(\mathsf{ZFC} + H) \vdash (\exists T)(\operatorname{Fin}(T) \land T \subseteq \mathsf{ZFC} \land (\mathsf{ZFC} \vdash (T \vdash \lnot H))). </math>

Al demostrar lo siguiente

(**) <math> \mathsf{ZFC} \vdash (\forall T)(\operatorname{Fin}(T) \land T \subseteq \mathsf{ZFC} \rightarrow (\mathsf{ZFC} \vdash \operatorname{Con}(T + H))), </math>

se puede concluir que

: <math> \mathsf{ZFC} + \lnot \operatorname{Con}(\mathsf{ZFC} + H) \vdash (\exists T)(\operatorname{Fin}(T) \land T \subseteq \mathsf{ZFC} \land (\mathsf{ZFC} \vdash (T \vdash \lnot H)) \land (\mathsf{ZFC} \vdash \operatorname{Con}(T + H))), </math>

que es equivalente a

: <math> \mathsf{ZFC} + \lnot \operatorname{Con}(\mathsf{ZFC} + H) \vdash \lnot \operatorname{Con}(\mathsf{ZFC}), </math>

lo que da (*). El núcleo de la prueba de coherencia relativa está demostrando (**). Se puede construir una prueba <math> \mathsf{ZFC} </math> de <math> \operatorname{Con}(T + H) </math> para cualquier subconjunto finito dado <math> T </math> de los axiomas <math> \mathsf{ZFC} </math> por medio de instrumentos <math> \mathsf{ZFC} </math>, por supuesto. En cualquier caso, no existe una prueba universal de <math> \operatorname{Con}(T + H) </math>).

En <math> \mathsf{ZFC} </math>, se puede demostrar que para cualquier condición <math> p </math>, el conjunto de fórmulas (evaluadas por nombres) forzadas por <math> p </math> se cierra deductivamente. Además, para cualquier axioma <math> \mathsf{ZFC} </math>, <math> \mathsf{ZFC} </math> prueba que este axioma es impuesto por <math> \mathbf{1} </math>. Entonces basta con probar que existe al menos una condición que obliga a <math> H </math>.

En el caso del forzado con valor booleano, el procedimiento es similar: probar que el valor booleano de <math> H </math> no es <math> \mathbf{0} </math>.

Otro enfoque utiliza el teorema de reflexión. Para cualquier conjunto finito dado de axiomas <math> \mathsf{ZFC} </math>, existe una prueba <math> \mathsf{ZFC} </math> de que este conjunto de axiomas tiene un modelo transitivo contable. Para cualquier conjunto finito dado <math> T </math> de axiomas <math> \mathsf{ZFC} </math>, hay un conjunto finito <math> T' </math> de axiomas <math> \mathsf{ZFC} </math> tal que <math> \mathsf{ZFC} </math> prueba que si un modelo transitivo contable <math> M </math> satisface <math> T' </math>, entonces <math> M[G] </math> satisface <math> T </math>. Demostrando que hay un conjunto finito <math> T'' </math> de axiomas <math> \mathsf{ZFC} </math> tal que si un modelo transitivo contable <math> M </math> satisface <math> T'' </math>, entonces <math> M[G] </math> satisface la hipótesis <math> H </math>. Entonces, para cualquier conjunto finito dado <math> T </math> de axiomas <math> \mathsf{ZFC} </math>, <math> \mathsf{ZFC} </math> prueba que <math> \operatorname{Con}(T + H) </math>.

A veces, en (**), se usa una teoría más fuerte <math> S </math> que <math> \mathsf{ZFC} </math> para probar que <math> \operatorname{Con}(T + H) </math>. Entonces se tiene una prueba de la consistencia de <math> \mathsf{ZFC} + H </math> en relación con la consistencia de <math> S </math>. Téngase en cuenta que <math> \mathsf{ZFC} \vdash \operatorname{Con}(\mathsf{ZFC}) \leftrightarrow \operatorname{Con}(\mathsf{ZFL}) </math>, donde <math> \mathsf{ZFL} </math> es <math> \mathsf{ZF} + V = L </math> (el axioma de constructibilidad).

== Véase también ==
* [[Anexo:Nociones de forzado]]
* [[Nombre bonito]]

== Referencias ==
{{listaref}}

== Bibliografía ==
* Bell, J. L. (1985). ''Boolean-Valued Models and Independence Proofs in Set Theory'', Oxford. {{ISBN|0-19-853241-5}}
* {{cite book|author = Cohen, P. J.|title = Set theory and the continuum hypothesis|year = 1966|publisher = Addison–Wesley|isbn = 978-0-8053-2327-6}}
* {{springer|id = F/f040770|title = Forcing Method|first = V. N.|last = Grishin}}
* {{cite book|title = Set Theory: An Introduction to Independence Proofs|author = Kunen, K.|publisher = North-Holland|year = 1980|isbn = 978-0-444-85401-8|title-link = Set Theory: An Introduction to Independence Proofs}}
* {{cite book|title = Set Theory: The Third Millennium Edition|url = https://archive.org/details/settheory0000jech_f7i4|author = Jech, Thomas|publisher = Spring-Verlag |year = 2002|isbn = 3-540-44085-2}}

== Enlaces externos ==
* El libro de Nik Weaver [http://www.worldscientific.com/worldscibooks/10.1142/8962 Forcing for Mathematicians] fue escrito para matemáticos que quieren aprender la maquinaria básica de forzar. No se asume ningún antecedente en lógica, más allá de la facilidad con la sintaxis formal que debería ser una segunda naturaleza para cualquier matemático bien entrenado.
* El artículo de [[Timothy Chow]] [https://arxiv.org/abs/0712.1320 A Beginner's Guide to Forcing] es una buena introducción a los conceptos de forzado que evita muchos detalles técnicos. Este documento surgió del artículo del grupo de noticias de Chow [https://archive.today/20090506150201/http://alum.mit.edu/www/tchow/mathstuff/forcingdum Forcing for dummies]. Además de una exposición mejorada, la Guía para principiantes incluye una sección sobre modelos con valor booleano.
* Véase también el artículo de [[Kenny Easwaran]] [https://arxiv.org/abs/0712.2279 Una introducción alegre al forzamiento y la hipótesis del continuo], que también está dirigido al principiante pero incluye más detalles técnicos que el artículo de Chow.
* Cohen, P. J. [https://dx.doi.org/10.1073/pnas.50.6.1143 '' The Independence of the Continuum Hypothesis ''], Actas de la Academia Nacional de Ciencias de los Estados Unidos de América, vol. 50, núm. 6. (15 de diciembre de 1963), págs.&nbsp;1143-1148.
* Cohen, PJ [https://dx.doi.org/10.1073/pnas.51.1.105 '' The Independence of the Continuum Hypothesis, II ''], Actas de la Academia Nacional de Ciencias de los Estados Unidos de América, Vol. 51, núm. 1. (15 de enero de 1964), págs.&nbsp;105-110.
* Paul Cohen dio una conferencia histórica [http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.rmjm/1181070010 The Discovery of Forcing] (Rocky Mountain J. Math. Volumen 32, Número 4 ( 2002), 1071-1100) sobre cómo desarrolló su prueba de independencia. La página vinculada tiene un enlace de descarga para un PDF de acceso abierto, pero su navegador debe enviar un encabezado [[referer]] desde la página vinculada para recuperarlo.
* Akihiro Kanamori: [http://math.bu.edu/people/aki/16.pdf '' Teoría de conjuntos de Cantor a Cohen '']
* {{MathWorld|title = Forcing|id = Forcing}}

{{Control de autoridades}}
[[Categoría:Teoría de conjuntos]]