In descriptive set theory, a tree over a product set Y × Z {\displaystyle Y\times Z} is said to be homogeneous if there is a system of measures ⟨ μ s ∣ s ∈
< ω Y ⟩ {\displaystyle \langle \mu _{s}\mid s\in {}^{<\omega }Y\rangle } such that the following conditions hold:
μ s {\displaystyle \mu _{s}} is a countably-additive measure on { t ∣ ⟨ s , t ⟩ ∈ T } {\displaystyle \{t\mid \langle s,t\rangle \in T\}} . The measures are in some sense compatible under restriction of sequences: if s 1 ⊆ s 2 {\displaystyle s_{1}\subseteq s_{2}} , then μ s 1 ( X ) = 1 ⟺ μ s 2 ( { t ∣ t ↾ l h ( s 1 ) ∈ X } ) = 1 {\displaystyle \mu _{s_{1}}(X)=1\iff \mu _{s_{2}}(\{t\mid t\upharpoonright lh(s_{1})\in X\})=1} . If x {\displaystyle x} is in the projection of T {\displaystyle T} , the ultrapower by ⟨ μ x ↾ n ∣ n ∈ ω ⟩ {\displaystyle \langle \mu _{x\upharpoonright n}\mid n\in \omega \rangle } is wellfounded. An equivalent definition is produced when the final condition is replaced with the following:
There are ⟨ μ s ∣ s ∈
ω Y ⟩ {\displaystyle \langle \mu _{s}\mid s\in {}^{\omega }Y\rangle } such that if x {\displaystyle x} is in the projection of [ T ] {\displaystyle [T]} and ∀ n ∈ ω μ x ↾ n ( X n ) = 1 {\displaystyle \forall n\in \omega \,\mu _{x\upharpoonright n}(X_{n})=1} , then there is f ∈
ω Z {\displaystyle f\in {}^{\omega }Z} such that ∀ n ∈ ω f ↾ n ∈ X n {\displaystyle \forall n\in \omega \,f\upharpoonright n\in X_{n}} . This condition can be thought of as a sort of countable completeness condition on the system of measures.
T {\displaystyle T} is said to be κ {\displaystyle \kappa } -homogeneous if each μ s {\displaystyle \mu _{s}} is κ {\displaystyle \kappa } -complete. Homogeneous trees are involved in Martin and Steel's proof of projective determinacy.
References
