Ferramentas do usuário
lista:forcingccc
Essa é uma revisão anterior do documento!
Forcing ccc e preservação de cardinais
Lista em construção!
Dizemos que um subconjunto $D$ de um conjunto parcialmente ordenado $\mathbb P$ é denso abaixo de $p\in\mathbb P$ se para todo $q\le p$ existe $r\in D$ tal que $r\le q$.
1 Sejam $\mathbb P$ um forcing, $p\in\mathbb P$ e $\varphi$ uma fórmula.
1.1 Mostre que $p\vDash \varphi$ se, e somente se, $\{q\in\mathbb P: q\vDash\varphi\}$ é denso abaixo de $p$.
1.2 Mostre que se $p\not\vDash \varphi$, então existe $q\le p$ tal que $q\vDash \neg\varphi$.
lista/forcingccc.1537894655.txt.gz · Última modificação: 2020/11/06 16:02 (edição externa)
Ferramentas da página
Exceto onde for informado ao contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Share Alike 4.0 International
