Rowbottom's Theorem states that if $\kappa$ is measurable and $U$ is a normal measure on $\kappa$, then for every $f:[\kappa]^{<\omega}\to \tau$, $\tau<\kappa$, there is an $H\in U$ such that for each $n$, $f\upharpoonright [H]^n$ is constant.


I'm hoping to extend Rowbottom's theorem to multiple measures simultaneously, in the following sense:


### Conjecture:


Let $\vec{U}=\langle U\_\alpha \mid \alpha<\lambda\rangle$ be a Mitchell order-increasing system of normal measures on $\kappa$ and let $f:[\kappa]^{<\omega}\to \tau$ with $\tau<\kappa$. 
Then there is an $H\in \bigcap\_{\alpha<\lambda} U\_\alpha$ such that for all $n<\omega$, $f\upharpoonright [H]^n$ is constant.


Is this true?



Extending Rowbottom's Theorem to Multiple Measures Simultaneously?
The conjecture as stated is false, since the function $\alpha \mapsto o^{\vec{U}}(\alpha)$ is a counterexample. Yet, sometimes it is the only counterexample. 


**Theorem:** Let $f\colon \kappa^{<\omega} \to \tau$ and let $\langle U\_\alpha \mid \alpha < \lambda\rangle$ be a sequence of normal measures on $\kappa$, $\lambda < \kappa$. Pick a function $h \colon \kappa \to \lambda$ such that for all $\alpha < \lambda$, $h^{-1}(\alpha) \in U\_\alpha$. 


Then, there is a set $H \in \bigcap\_{\alpha < \lambda} U\_\alpha$ and a function $g \colon \lambda^{<\omega} \to \tau$ such that for all $\alpha\_0 < \dots < \alpha\_{n-1} \in H$, $f(\alpha\_0, \dots, \alpha\_{n-1}) = g(h(\alpha\_0), \dots, h(\alpha\_{n-1}))$.


**Proof:** By induction on $n$. For $n = 1$, this is clear: find a measure one set in $U\_\alpha$ of $\alpha$ with $h(\alpha) = \zeta$ for each $\zeta < \lambda$ with a fixed value. Take their union.


For $n = 2$, for each value for $\alpha\_0$ there is a set $A\_{\alpha\_0}$ in the filter and a function $g\_{\alpha\_0} \colon \lambda \to \tau$ such that for all $\alpha\_1 \in A\_{\alpha\_0}$, $f(\alpha\_0, \alpha\_1) = g\_{\alpha\_0}(h(\alpha\_1))$. Using the inductive hypothesis (with $\tau^\lambda <\kappa$ many colors), we can make $g\_{\alpha\_0}$ depend only on $h(\alpha\_0)$. This defined a single function $g \colon \lambda^2 \to \tau$. Using the normality of the filter we can take a diagonal intersection of the $A\_{\alpha\_0}$ and obtain a single large set $A$. Intersecting it with the large set on which $g(h(\alpha), \bullet) = g\_\alpha(\bullet)$, we get that for all $\alpha < \beta$ in $A$, $f(\alpha,\beta) = g(h(\alpha), h(\beta))$. Continuing this way for $\omega$ many steps and using the $\sigma$-completeness of the filter, we obtain the (somewhat) homogeneous set $H$. **QED** 


If we take longer sequences of measures, even Mitchell increasing, then we run into a problem. For example, for $\lambda = \kappa$, we can take $f(\alpha, \beta)$ to be $1$ iff $o(\beta) = \alpha$. In this case, there is no set $H$ in the intersection filter such that the value of $f$ on $[H]^2$ depends only in their Mitchell order.


