3
$\begingroup$

I am doing some exercises from Kunen's book "Set Theory", I'm having problems with exercise 39 from page 90, the exercise goes like this: Show that any Aronszajn tree which is a subtree of \{ s \in \omega^{< \omega_1}: s is $1-1\}$ cannot be Suslin tree. Hint: For each $n \in \omega$, $\{s \in T: \exists \alpha (dom(s)= \alpha + 1 \wedge s(\alpha)=n)\}$ is an antichain.

Can anyone help me with this exercise? PLEASE!

1 Answers 1

2

Let $T_n=\{s\in T: \exists \alpha\ (dom(s)=\alpha+1 \wedge s(\alpha)=n)\}$. Let us show that $T_n$ is an antichain. Suppose $s,t \in T_n$ and $s\leq t$ then there are \alpha< \beta so that $dom(s)=\alpha+1$ and $dom(t)=\beta+1$ but this implies that $t(\alpha)=t(\beta)=n$ which is a contradiction since $t$ is one-to-one. Now let us prove that there are no Suslin subtrees. If S\subseteq \{s\in\omega^{<\omega_1}: s \ \text{is} 1\text{-}1\} then S^+=\bigcup_{\alpha<\omega_1} Lev_{\alpha+1}( S) is a countable union of anti chains, since $S^+\subseteq \bigcup_{n\in\omega} T_n$ since $S$ is Aronszajn one of the chains must be uncountable. Thus, $S$ contains an uncountable anti chain so it is not Suslin.

  • 0
    @analucia If $s:\alpha+1\to \omega$ is 1-1 and $s(\alpha)=n$ then $s\in T_n$.2012-04-12