MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Do we know under which conditions the Kunen tree (Recall the Kunen tree provides an analysis of the equivalence classes of functions $f: \omega_1 \to \omega_1$ with respect to the normal measure $W^1_1$ on $\omega_1$ under $AD$) is homogeneous, if it is? Do we know if and under which hypothesis the Martin tree (it is a generalization of the Kunen tree to all the projective hierarchy) is homogeneous? Any reference treating their homogeneity will be appreciated. Thx.

share|cite|improve this question

Let me answer my question which I stumbled on while looking at my profile. The answer is yes. Actually assuming $AD$, if $\kappa$ is less than the supremum of the Suslin cardinals then every tree $T$ on $\omega \times \kappa$ is weakly homogeneous (Martin and Woodin).

Also assuming that we have a Woodin $\delta$, a tree $T$ on $\omega \times \alpha$, $\alpha$ some ordinal, then there is a $\kappa < \delta$ such that in the generic extension $V[G]$ where $G$ is generic for $Col(\omega, \kappa)$, $T$ is $< \delta$ weakly homogeneous.

One can modify the assumption and just assume that there is a pair $T$ and $U$ of $\delta^+$ absolutely complementing trees.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.