Ferramentas do usuário
dica:suslin8
$T \Vdash ``\dot{A} \text{ é uma anticadeia maximal em } \mathcal{T} \text{ e } \mathcal{T} \text{ estende } T"$.
Dado $s \in T_0$ note que $T_0 \Vdash ``\exists t_s \in \dot{A} (t_s \text{ é compatível com } s)"$. Mostre que existe $T_0^s$ extensão de $T_0$ tal que $t_s \in T_0^s$ e $T_0^s \Vdash ``t_s \in \dot{A}"$.
dica/suslin8.txt · Última modificação: 2021/09/13 11:29 por hugo
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
