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.

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.

References

Martin, Donald A. and John R. Steel (Jan 1989). "A Proof of Projective Determinacy". Journal of the American Mathematical Society (American Mathematical Society) 2 (1): 71–125. doi:10.2307/1990913. JSTOR 1990913.

This article is issued from Wikipedia - version of the Saturday, April 26, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Homogeneously Suslin set

See also

References