Mostrar páginaRevisões anterioresLinks reversosVoltar ao topo Pela construção de $\mathcal{T}^G$, se $u,v \in \omega_1$, $v<u$ e $G(v)\cap v = G(u) \cap v$, então $v \prec^G u$. Assim os níveis de $\mathcal{T}^G$ são enumeráveis pelo lema anterior. E $\mathcal{T}^G$ não contém ramos de tamanho $\omega_1$, pois os ramos são conjuntos dois a dois comparáveis e $G$ é não trivial. solucao/lema2almistsmoothgrahs.txt Última modificação: 2022/07/11 16:17por 127.0.0.1