Ferramentas do usuário
Essa é uma revisão anterior do documento!
A consistência de $\neg$CH
Dados $A$ e $B$ conjuntos quaisquer, denotaremos por $Fn(A,B)$ o conjunto das funções finitas cujo domínio está contido em $A$ e a imagem está contida em $B$.
Dadas $f,g \in Fn(A,B)$, se $f \supset g$, então dizemos que $f \leq g$.
1 Mostre que $\langle Fn(A,B), \leq \rangle$ é um forcing.
2 Mostre que se $p \Vdash \varphi$ e a fórmula $\varphi \rightarrow \psi$ é verdadeira em ZFC, então $p \Vdash \psi$.
De agora em diante usaremos que $\mathbb{P} = Fn(\omega_2 \times \omega, 2)$ e que $A$ é um completamento de $\mathbb{P}$.
Dados $\alpha,\beta \in \omega_2$ e $n \in \omega$, definimos os conjuntos $D_{\alpha,n} = \{g \in \mathbb{P} : \langle \alpha,n \rangle \in dom(g)\}$ e $E_{\alpha,\beta} = \{g \in \mathbb{P} : \exists n g(\alpha,n) \neq g(\beta,n)\}$
3 Mostre que $D_{\alpha,n}$ e $E_{\alpha,\beta}$ são densos em $\mathbb{P}$ para quaisquer $n \in \omega$ e $\alpha,\beta \in \omega_2$.
4 Mostre que existe um nome $\dot{f}$ tal que $[\![\dot{f} = \bigcup \dot{G}]\!] = 1$.
5 Dado $p \in \mathbb{P}$, mostre que $p \Vdash ``\dot{f} é uma função cujo domínio é \check{\omega_2} \times \check{\omega} e o contradomínio é \check{2}"$
6 Dados $p \in \mathbb{P}$ e $\alpha,\beta \in \omega_2$ distintos, mostre que $p \vdash ``\exists n \in \check{\omega} \dot{f}(\check{\alpha},n) \neq \dot{f}(\check{\beta},n)"$
7 Dado $p \in \mathbb{P}$, mostre que $p \Vdash \check{\omega_2} \geq \dot{2^{\omega}}$.
8 Mostre que se $\varphi$ é uma fórmula tal que existe $p \in \mathbb{P}$ de forma que $p \Vdash \varphi$, então $\varphi$ é consistente com ZFC.
Ferramentas da página
