Jump to content

Homogeneously Suslin set

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by DOI bot (talk | contribs) at 13:41, 7 June 2008 (Citation maintenance. You can use this bot yourself! Please report any bugs.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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

It can be shown that if is a set and is a measurable cardinal, then is -homogeneously Suslin. This result is important in the proof that the existence of a measurable cardinal implies that sets are determined.

See also

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)