Uma árvore é dita de Aronszajn se ela
Tal árvore é dita especial se
Chamaremos de $\mathcal{K}$ uma família de tamanho $\omega_1$ sem cliques e sem conjuntos independentes de tamanho $\omega_1$.
Chamemos de $\mathcal{I}(G)$, com $G \in \mathcal{K}$, o conjunto de subgrafos induzidos de tamanho $\omega_1$, a menos de isomorfismos.
Se vale a hipótese do contínuo generalizada e se toda árvore de aronszajn for especial, então $|\mathcal{I}(G)|= 2^{\omega_1}$ para todo $G \in \mathcal{K}$.
A hípotese do contínuo generalizada diz que :
Partition Tree:
Diamond (Ouros):
Pequeno subconjunto :
Tomando $G \in \mathcal{K}$, $A \in [\omega_1]^{\omega_1}$ e $|\{G(x)\cap A:x \in \omega_1\}| = \omega_1$, então $|\mathcal{I}(G)| \geq 2^{\omega_1}$ Solução
Se $G = (\omega_1,E) \in \mathcal{K}$ com $|\mathcal{I}(G)| < 2^{\omega_1}$, então $\mathcal{T}^G$ é uma árvore de Aronazajn. Solução
Se $2^\omega < 2^{\omega_1}$ então $\tau$ é enumeravelmente completo $(\forall H \subset F, H \text{ é enumerável } \implies \cap H \in F)$, próprio e ideal em $\omega_1$. Solução
Se vale a hipótese do contínuo generalizada e se toda árvore de aronszajn for especial, então $|\mathcal{I}(G)|= 2^{\omega_1}$ para todo $G \in \mathcal{K}$.
$$\forall \gamma \in S \forall p \in (S\cup A)\setminus(\gamma + 1), \exists \alpha \in A\cap \gamma \text{ tq } (\{\gamma,\alpha\} \in E \text{ sse } \{p,\gamma\} \notin E)$$
Realmente, se para cada $\alpha \in A\cap \gamma$ temos $\{\gamma,\alpha\} \in E$ sse $\{p,\alpha\} \in E$, temos $\gamma \prec^G p$, é assegurado pela contrução de $\mathcal{T}^G$.
$$F(v,\gamma,T,f)= 1 \text{ se } \exists x \in G_v \text{ tq } \forall \alpha \in A\cap \gamma \{x,f(\alpha)\} \in E_v \text { sse } \{\gamma,\alpha\} \in E$$
Já que $S \notin \tau$, existe $g \in 2^{\omega_1}$ $S$-ouros para $F$ tal que para todo $v \in \omega_1$, $T\subset S$, $f:G[A\cup T]\simeq G_v$ e o conjunto
$$S_T = \{\gamma \in S : g(\gamma) = F(v,\gamma,T\cap \gamma,f\lceil \gamma)\}$$
é estacionário, possuindo intersecção com todo os conjuntos Clubs (Subconjuntos dos ordinais limites).
Tomemos então $T = \{\gamma \in S:g(\gamma) = 0\}$
$$\forall \gamma \in S \forall p \in (S\cup A)\setminus(\gamma + 1), \exists \alpha \in A\cap \gamma \text{ tq } (\{\gamma,\alpha\} \in E \text{ sse } \{p,\gamma\} \notin E)$$
$$\gamma \in T \text{ sse } \exists x \in \omega_1 \forall \alpha \in S \cap \gamma \text{ tq } \{x,f(\alpha)\} \in E_v \text{ sse } \{\gamma,\alpha\} \in E$$