Homogeneously Suslin set

In descriptive set theory, a set $S$ is said to be homogeneously Suslin if it is the projection of a homogeneous tree. $S$ is said to be $\kappa$-homogeneously Suslin if it is the projection of a $\kappa$-homogeneous tree.

It can be shown that if $A\subseteq {}^{\omega }\omega$ is a $\mathbf {\Pi } _{1}^{1}$ set and $\kappa$ is a measurable cardinal, then $A$ is $\kappa$-homogeneously Suslin. This result is important in the proof that the existence of a measurable cardinal implies that $\mathbf {\Pi } _{1}^{1}$ sets are determined.

See also

• Projective determinacy

References

• Martin, Donald A. and John R. Steel (Jan., 1989). "A Proof of Projective Determinacy". Journal of the American Mathematical Society. 2 (1): 71–125. doi:10.2307/1990913. {{cite journal}}: Check date values in: |year= (help)CS1 maint: year (link)