Measurable events indexed by trees

A tree $T$ is said to be homogeneous if it is uniquely rooted and there exists an integer $b\ge 2$, called the branching number of $T$, such that every $t\in T$ has exactly $b$ immediate successors. We study the behavior of measurable events in probability spaces indexed by homogeneous trees. Precisely, we show that for every integer $b\ge 2$ and every integer $n\geq 1$thereexistsaninteger$q(b,n)$withthefollowingproperty\mathrm{.}If$T$ is a homogeneous tree with branching number $b$ and $\{A_t:t\in T\}$ is a family of measurable events in a probability space $(\mathrm{\Omega },\mathrm{\Sigma },\mu )$ satisfying $\mu (A_t)\ge ϵ>0$ for every $t\in T$, then for every $0<\theta <ϵ$ there exists a strong subtree $S$ of $T$ of infinite height such that for every non-empty finite subset $F$ of $S$ of cardinality $n$ we have $$\mu \left(\bigcap _{t\in F}{A}_t\right)\text{meg}{\theta }^{q(b,n)}\mathrm{.}$$ In fact, we can take $q(b,n)=((2^b-1{)}^{2n-1}-1)\cdot (2^b-2{)}^{-1}$. A finite version of this result is also obtained.