Homogeneous tree


In descriptive set theory, a tree over a product set is said to be homogeneous if there is a system of measures such that the following conditions hold:
An equivalent definition is produced when the final condition is replaced with the following:
is said to be -homogeneous if each is -complete.
Homogeneous trees are involved in Martin and Steel's proof of projective determinacy.