Homogeneously Suslin set
From Wikipedia, the free encyclopedia
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 κ-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 A is κ-homogeneously Suslin. This result is important in the proof that the existence of a measurable cardinal implies that sets are determined.
[edit] See Also
[edit] 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.
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
