Hostname: page-component-6bf8c574d5-t27h7 Total loading time: 0 Render date: 2025-02-16T06:32:33.081Z Has data issue: false hasContentIssue false

Almost Everywhere Behavior of Functions According to Partition Measures

Part of: Set theory

Published online by Cambridge University Press:  29 January 2024

William Chan
Affiliation:
Institute for Discrete Mathematics and Geometry, Vienna University of Technology, Wiedner Hauptstraße 8-10/104, Vienna, 1040, Austria; E-mail: William.Chan@tuwien.ac.at
Stephen Jackson
Affiliation:
Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas, 76203, USA; E-mail: Stephen.Jackon@unt.edu
Nam Trang
Affiliation:
Department of Mathematics, University of North Texas, 1155 Union Circle #311430, Denton, Texas, 76203, USA; E-mail: Nam.Trang@unt.edu

Abstract

This paper will study almost everywhere behaviors of functions on partition spaces of cardinals possessing suitable partition properties. Almost everywhere continuity and monotonicity properties for functions on partition spaces will be established. These results will be applied to distinguish the cardinality of certain subsets of the power set of partition cardinals.

The following summarizes the main results proved under suitable partition hypotheses.

  • If $\kappa $ is a cardinal, $\epsilon < \kappa $, ${\mathrm {cof}}(\epsilon ) = \omega $, $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the almost everywhere short length continuity property: There is a club $C \subseteq \kappa $ and a $\delta < \epsilon $ so that for all $f,g \in [C]^\epsilon _*$, if $f \upharpoonright \delta = g \upharpoonright \delta $ and $\sup (f) = \sup (g)$, then $\Phi (f) = \Phi (g)$.

  • If $\kappa $ is a cardinal, $\epsilon $ is countable, $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the strong almost everywhere short length continuity property: There is a club $C \subseteq \kappa $ and finitely many ordinals $\delta _0, ..., \delta _k \leq \epsilon $ so that for all $f,g \in [C]^\epsilon _*$, if for all $0 \leq i \leq k$, $\sup (f \upharpoonright \delta _i) = \sup (g \upharpoonright \delta _i)$, then $\Phi (f) = \Phi (g)$.

  • If $\kappa $ satisfies $\kappa \rightarrow _* (\kappa )^\kappa _2$, $\epsilon \leq \kappa $ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$, then $\Phi $ satisfies the almost everywhere monotonicity property: There is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$, if for all $\alpha < \epsilon $, $f(\alpha ) \leq g(\alpha )$, then $\Phi (f) \leq \Phi (g)$.

  • Suppose dependent choice ($\mathsf {DC}$), ${\omega _1} \rightarrow _* ({\omega _1})^{\omega _1}_2$ and the almost everywhere short length club uniformization principle for ${\omega _1}$ hold. Then every function $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ satisfies a finite continuity property with respect to closure points: Let $\mathfrak {C}_f$ be the club of $\alpha < {\omega _1}$ so that $\sup (f \upharpoonright \alpha ) = \alpha $. There is a club $C \subseteq {\omega _1}$ and finitely many functions $\Upsilon _0, ..., \Upsilon _{n - 1} : [C]^{\omega _1}_* \rightarrow {\omega _1}$ so that for all $f \in [C]^{\omega _1}_*$, for all $g \in [C]^{\omega _1}_*$, if $\mathfrak {C}_g = \mathfrak {C}_f$ and for all $i < n$, $\sup (g \upharpoonright \Upsilon _i(f)) = \sup (f \upharpoonright \Upsilon _i(f))$, then $\Phi (g) = \Phi (f)$.

  • Suppose $\kappa $ satisfies $\kappa \rightarrow _* (\kappa )^\epsilon _2$ for all $\epsilon < \kappa $. For all $\chi < \kappa $, $[\kappa ]^{<\kappa }$ does not inject into ${}^\chi \mathrm {ON}$, the class of $\chi $-length sequences of ordinals, and therefore, $|[\kappa ]^\chi | < |[\kappa ]^{<\kappa }|$. As a consequence, under the axiom of determinacy $(\mathsf {AD})$, these two cardinality results hold when $\kappa $ is one of the following weak or strong partition cardinals of determinacy: ${\omega _1}$, $\omega _2$, $\boldsymbol {\delta }_n^1$ (for all $1 \leq n < \omega $) and $\boldsymbol {\delta }^2_1$ (assuming in addition $\mathsf {DC}_{\mathbb {R}}$).

Type
Foundations
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2024. Published by Cambridge University Press

1 Introduction

Partition relations appear frequently in combinatorics. Ramsey showed that the set of natural numbers, $\omega $ , satisfies the finite partition relations $\omega \rightarrow (\omega )^k_2$ for each $k < \omega $ . The infinite exponent partition relation $\omega \rightarrow (\omega )^\omega _2$ (also called the Ramsey property for all partitions) is a natural generalization which is not compatible with the axiom of choice. However, simply definable partitions such as Borel or analytic partitions always satisfy the Ramsey property by results of Galvin and Prikry [Reference Galvin and Prikry7] and Silver [Reference Silver17]. Mathias [Reference Mathias15] produced many important results concerning the Ramsey property including the technique of Mathias forcing which is used to verify $\omega \rightarrow (\omega )^\omega _2$ in the Solovay model and Woodin’s extension $\mathsf {AD}^+$ of the axiom of determinacy, $\mathsf {AD}$ . Mathias also studied the Ramsey almost everywhere behavior of functions on the Ramsey space $[\omega ]^\omega $ such as when every function $\Phi : [\omega ]^\omega \rightarrow \mathbb {R}$ is Ramsey almost everywhere continuous or every relation $R \subseteq [\omega ]^\omega \times \mathbb {R}$ has a Ramsey almost everywhere uniformization. Recently, these two properties have been used by Schritteser and Törnquist [Reference Schrittesser and Törnquist16] to show that $\omega \rightarrow (\omega )^\omega _2$ implies there are no maximal almost disjoint families on $\omega $ . Finite exponent partition relations on uncountable cardinals are important in set theory and motivate large cardinal axioms such as the weakly compact and Ramsey cardinals. Martin, Kunen [Reference Solovay18], Jackson [Reference Jackson8], Kechris, Kleinberg, Moschovakis and Woodin [Reference Kechris, Kleinberg, Moschovakis and Hugh Woodin12] showed that the axiom of determinacy is a natural theory in which ${\omega _1}$ and many other cardinals $\kappa $ possess even the strong partition relation: $\kappa \rightarrow (\kappa )^\kappa _2$ . Kleinberg [Reference Kleinberg14], Martin and Paris studied functions on the finite partition spaces of ${\omega _1}$ and produced ultrapower representations for $\omega _n$ , showed $\omega _2$ has weak partition property and established combinatorial properties such as Jónssonness for $\omega _n$ , for all $n \in \omega $ . Under the axiom of determinacy, the authors ([Reference Chan and Jackson4], [Reference Chan2], [Reference Chan, Jackson and Trang6] and [Reference Chan, Jackson and Trang5]) studied variations of almost everywhere continuity properties for functions on the partition spaces of ${\omega _1}$ and $\omega _2$ according to suitable partition measures and applied these results to distinguish the cardinalities below ${\mathscr {P}({\omega _1})}$ and ${\mathscr {P}(\omega _2)}$ . There, $\mathsf {AD}$ provided useful motivation and elegant arguments, but the techniques have severe limitations. Here, the authors will prove stronger almost everywhere behaviors for functions on partition spaces (such as continuity and monotonicity) from pure combinatorial principles, and these results will be applied to distinguish important cardinalities below the power set of partition cardinals. This will lead to new results about the most important weak and strong partition cardinals of determinacy.

A basic question of infinitary combinatorics is the computation of the size of infinite sets. Cantor formalized the notion of size and the comparison of sizes. Let X and Y be two sets. One says X and Y have the same cardinality (denoted $|X| = |Y|$ ) if and only if there is a bijection $\Phi : X \rightarrow Y$ . The cardinality of X is the (proper) class of sets Y which are in bijection with X. The cardinality of X is less than or equal the cardinality of Y (denoted $|X| \leq |Y|$ ) if and only if there is an injection $\Phi : X \rightarrow Y$ . The cardinality of X is strictly smaller than the cardinality of Y (denoted $|X| < |Y|$ ) if and only if $|X| \leq |Y|$ but $\neg (|Y| \leq |X|)$ .

The axiom of choice, $\mathsf {AC}$ , implies every set is wellorderable. Thus, the class of cardinalities forms a wellordered class under the injection relation. Each cardinality class has a canonical wellordered member (an ordinal) called the cardinal of the class. Wellorderings of sets (even $\mathbb {R}$ ) are incompatible with certain definability perspectives. This is usually the consequence of definable sets possessing combinatorial regularity properties.

Let $\omega $ denote the set of natural numbers or the first infinite cardinal. Cantor showed that $\omega $ does not surject onto ${\mathscr {P}(\omega )}$ . Thus, $\omega < |{\mathscr {P}(\omega )}|$ . Let ${\omega _1}$ denote the first uncountable cardinal. With the axiom of choice, ${\omega _1} \leq |{\mathscr {P}(\omega )}|$ using a wellordering of ${\mathscr {P}(\omega )}$ or $\mathbb {R}$ . However, if the axiom of choice is omitted and instead $\mathbb {R}$ is assumed to satisfy the perfect set property and the property of Baire, then a classical argument involving the Kuratowski–Ulam theorem would show that there is no injection of ${\omega _1}$ into $\mathbb {R}$ or ${\mathscr {P}(\omega )}$ . Thus, ${\omega _1}$ and $|{\mathscr {P}(\omega )}| = |\mathbb {R}|$ are incompatible cardinalities. Moreover, the perfect set property completely characterizes the structure of the cardinalities below $|{\mathscr {P}(\omega )}|$ in a manner which satisfies a choiceless continuum hypothesis: The only uncountable cardinality below $|{\mathscr {P}(\omega )}|$ is $|{\mathscr {P}(\omega )}|$ .

With the perfect set property and the Baire property, the structure of the cardinalities below ${\mathscr {P}({\omega _1})}$ is nonlinear since ${\omega _1}$ and $|\mathbb {R}| = |{\mathscr {P}(\omega )}|$ are two incompatible cardinalities below $|{\mathscr {P}({\omega _1})}|$ . For each $\epsilon \leq {\omega _1}$ , let $[{\omega _1}]^\epsilon $ be the increasing sequence space consisting of increasing functions $f : \epsilon \rightarrow {\omega _1}$ . ${\mathscr {P}({\omega _1})}$ and $[{\omega _1}]^{\omega _1}$ are in bijection. Therefore, sequence spaces represent natural combinatorial cardinalities below $|{\mathscr {P}({\omega _1})}| = |[{\omega _1}]^{\omega _1}|$ . Another important example is $[{\omega _1}]^{<{\omega _1}} = \bigcup _{\epsilon < {\omega _1}} [{\omega _1}]^\epsilon _*$ , which is the set of countable length increasing sequences of countable ordinals. A natural question is to distinguish $|[{\omega _1}]^\omega |$ , $|[{\omega _1}]^{<{\omega _1}}|$ and $|{\mathscr {P}({\omega _1})}| = |[{\omega _1}]^{\omega _1}|$ under suitable regularity properties. A helpful combinatorial property possessed by ${\omega _1}$ (in some natural theories) is the strong partition property, ${\omega _1} \rightarrow _* ({\omega _1})^{\omega _1}_2$ .

Partition properties will be discussed in detail in Section 2. Let $\kappa $ be a cardinal, $\epsilon \leq \kappa $ and $A \subseteq \kappa $ . Let $[A]^\epsilon _*$ be the collection of increasing functions $f : \epsilon \rightarrow A$ of the correct type (i.e., discontinuous everywhere and has uniform cofinality $\omega $ ). The partition relation $\kappa \rightarrow _* (\kappa )^\epsilon _2$ is the assertion that for all $P : [\kappa ]^\epsilon _* \rightarrow 2$ , there is a closed and unbounded (club) $C \subseteq {\omega _1}$ and $i \in 2$ so that for all $f \in [C]^\epsilon _*$ , $P(f) = i$ . If for all $\epsilon < \kappa $ , $\kappa \rightarrow _* (\kappa )^\epsilon _2$ holds, then $\kappa $ is called a weak partition cardinal. If $\kappa \rightarrow _* (\kappa )^\kappa _2$ , then $\kappa $ is called a strong partition cardinal. If $\epsilon \leq \kappa $ and $\kappa \rightarrow _* (\kappa )^\epsilon _2$ holds, then the partition filter $\mu ^\kappa _\epsilon $ on $[\kappa ]^\epsilon _*$ defined by $X \in \mu ^\kappa _\epsilon $ if and only if there is a club $C \subseteq \kappa $ so that $[C]^\epsilon _* \subseteq X$ is an ultrafilter.

If $\kappa $ satisfies suitable partition relations, then the partition spaces $[\kappa ]^\epsilon _*$ for $\epsilon < \kappa $ , $[\kappa ]^{<\kappa }_*$ and $[\kappa ]^\kappa _*$ represent important cardinalities below ${\mathscr {P}(\kappa )}$ . Distinguishing the cardinality of these partition spaces involve understanding the possible injections that exist between these partition spaces. To answer such questions, this paper will use partition properties to obtain very deep understandings of the behavior of functions $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ on measure one sets according to the relevant partition measure, $\mu ^\kappa _\epsilon $ . The following will summarize and motivate the main results of the paper concerning these almost everywhere behaviors of functions.

In [Reference Chan2], it is shown that if $\kappa \rightarrow _* (\kappa )^\kappa _2$ , then every function $\Lambda : [\kappa ]^\kappa _* \rightarrow \mathrm {ON}$ , there is an ordinal $\alpha $ so that $\Lambda ^{-1}[\{\alpha \}]| = |[\kappa ]^\kappa _*|$ . This asserts that $|[\kappa ]^\kappa _*| = |{\mathscr {P}(\kappa )}|$ satisfies a regularity property with respect to wellordered decompositions. The set $[\kappa ]^{<\kappa }_*$ does not satisfy such regularity. This is used in [Reference Chan2] to show that $|[\kappa ]^{<\kappa }_*| < |[\kappa ]^\kappa _*|= |{\mathscr {P}(\kappa )}|$ . This paper is motivated by the question of distinguishing the cardinality of $[\kappa ]^\epsilon $ for $\epsilon < \kappa $ and $[\kappa ]^{<\kappa }_*$ . For these computations, it will be important to understand functions $\Phi : [\kappa ]^\epsilon _* \rightarrow \kappa $ through continuity properties.

To motivate continuity, suppose $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ . Given $f \in [\kappa ]^\epsilon _*$ , $\Phi $ can be considered as an abstract procedure which uses information about f to assign an ordinal value. Examples of such information include specific values of $f(\alpha )$ for $\alpha < \epsilon $ , initial segments $f \upharpoonright \alpha $ for $\alpha < \epsilon $ or possibly the entirety of f or the values of f on some unbounded subsets of $\epsilon $ . An almost everywhere continuity property intuitively asserts that for $\mu ^\kappa _\epsilon $ -almost all f, $\Phi $ can assign an ordinal to f using only information from f which comes from a well-defined bounded subset of $\epsilon $ .

One appealing continuity property for a function $\Phi : [\kappa ]^\epsilon _* \rightarrow \kappa $ (with $\epsilon < \kappa $ ) would be that for $\mu ^\kappa _\epsilon $ -almost all f, there exists a $\delta < \epsilon $ so that $\Phi (f)$ only depends on $f \upharpoonright \delta $ . However, such a property is impossible by the following illustrative example. If $\kappa $ satisfies $\kappa \rightarrow _* (\kappa )^2_2$ , then $\kappa $ is a regular cardinal. Thus, the function $\Psi : [\kappa ]^\epsilon _* \rightarrow \kappa $ defined by $\Psi (f) = \sup (f)$ is well defined and it depends on more than any initial segment. This suggests that perhaps a general function $\Phi : [\kappa ]^\epsilon \rightarrow \kappa $ might have a fixed $\delta < \epsilon $ so that for $\mu ^\kappa _\epsilon $ -almost all f, $\Phi (f)$ depends only on the initial segment $f \upharpoonright \delta $ and $\sup (f)$ . Under suitable partition properties, such a continuity will be true more generally for functions $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ with ${\mathrm {cof}}(\epsilon ) = \omega $ (and this cofinality assumption is generally necessary).

Fix $\epsilon < \kappa $ a limit ordinal with ${\mathrm {cof}}(\epsilon ) = \omega $ . Define an equivalence relation $E_0$ on $[\kappa ]^\epsilon $ by $f \ E_0 \ g$ if and only if there exists an $\alpha < \epsilon $ so that for all $\beta $ with $\alpha < \beta < \epsilon $ , $f(\beta ) = g(\beta )$ . A function $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ is $E_0$ -invariant if and only if whenever $f \ E_0 \ g$ , $\Phi (f) = \Phi (g)$ . The first step is the following independently interesting result that functions which are $E_0$ -invariant $\mu ^\kappa _\epsilon $ -almost everywhere depend only on the supremum $\mu ^\kappa _\epsilon $ -almost everywhere under suitable partition relations.

Theorem 3.6. Suppose $\kappa $ is a cardinal, $\epsilon < \kappa $ is a limit ordinal with ${\mathrm {cof}}(\epsilon ) = \omega $ and $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds. Let $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ be a function which is $E_0$ -invariant $\mu ^\kappa _\epsilon $ -almost everywhere. Then there is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$ , if $\sup (f) = \sup (g)$ , then $\Phi (f) = \Phi (g)$ .

Using this theorem, the desired almost everywhere short length continuity result is established.

Theorem 3.7. Suppose $\kappa $ is a cardinal, $\epsilon < \kappa $ is a limit ordinal with ${\mathrm {cof}}(\epsilon ) = \omega $ and $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds. For any function $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , there is a club $C \subseteq \kappa $ and a $\delta < \epsilon $ so that for all $f,g \in [C]^\epsilon _*$ , if $f \upharpoonright \delta = g \upharpoonright \delta $ and $\sup (f) = \sup (g)$ , then $\Phi (f) = \Phi (g)$ .

The almost everywhere short length continuity of Theorem 3.7 is used to show that if $\kappa $ is a weak partition cardinal, then for any $\chi < \kappa $ , ${}^{<\kappa }\kappa $ does not inject into ${}^\chi \kappa $ or even ${}^\chi \delta $ for any ordinal $\delta $ by providing a sufficiently complete analysis of potential injections.

Theorem 4.4. Suppose $\kappa $ is a cardinal so that $\kappa \rightarrow _* (\kappa )^{<\kappa }_2$ . Then for all $\chi < \kappa $ , there is no injection of ${}^{<\kappa }\kappa $ into ${}^\chi \mathrm {ON}$ , the class of $\chi $ -length sequences of ordinals. In particular, for all $\chi < \kappa $ , $|{}^\chi \kappa | < |{}^{<\kappa }\kappa |$ .

A stronger continuity notion would assert that a function $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ (with $\epsilon < \kappa $ ) has finitely many locations in $\epsilon $ depending solely on $\Phi $ so that $\Phi (f)$ depends only on the behavior of f at these finitely many locations. (By the previous example, one of these locations must be allowed to be the supremum of f.) The next result states that if $\epsilon $ is countable and $\kappa $ satisfies a suitable partition relation, then $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ will satisfy a strong almost everywhere short length continuity.

Theorem 3.9. Suppose $\kappa $ is a cardinal, $\epsilon < \omega _1$ and $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds. Let $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ . Then there is a club $C \subseteq \kappa $ and finitely many ordinals $\delta _0, ..., \delta _k \leq \epsilon $ so that for all $f,g \in [C]^\epsilon _*$ , if for all $0 \leq i \leq k$ , $\sup (f \upharpoonright \delta _i) = \sup (g \upharpoonright \delta _i)$ , then $\Phi (f) = \Phi (g)$ .

Suppose $\epsilon \leq \kappa $ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ . A natural question is that, if one increases the information stored in f by increasing the values of f, could the value of $\Phi $ possibly decrease? An almost everywhere monotonicity property for $\Phi $ would assert that for $\mu ^\kappa _\epsilon $ almost all $f,g \in [\kappa ]^\epsilon _*$ , if for all $\alpha < \epsilon $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ . By Fact 5.1, for all functions of the form $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ to satisfy this almost everywhere monotonicity property, one must at least have the partition relation $\kappa \rightarrow _* (\kappa )^\epsilon _2$ . If $\epsilon $ is countable, then the strong almost everywhere short length continuity of Theorem 3.9 implies the following almost everywhere monotonicity result.

Theorem 4.8. Suppose $\kappa $ is a cardinal, $\epsilon < {\omega _1}$ , $\kappa \rightarrow _* (\kappa )^{\epsilon \cdot \epsilon }_2$ holds and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ . Then there is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$ , if for all $\alpha < \epsilon $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ .

When ${\mathrm {cof}}(\epsilon ) = \omega $ , one only has the weaker almost everywhere short length continuity property of Theorem 3.7. Moreover, there are functions on partition spaces of high dimension which do not satisfy a recognizable continuity property. Regardless, almost everywhere monotonicity still holds for functions on partition spaces assuming the appropriate partition relation.

Theorem 5.3. Suppose $\kappa $ is a cardinal satisfying $\kappa \rightarrow _* (\kappa )^\kappa _2$ . For any function $\Phi : [\kappa ]^\kappa _* \rightarrow \mathrm {ON}$ , there is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\kappa _*$ , if for all $\alpha < \kappa $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ .

Adapting this argument, one can also show monotonicity for $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ when $\epsilon < \kappa $ .

Theorem 5.7. Suppose $\kappa $ is a weak partition cardinal. For any $\epsilon < \kappa $ and function $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , there is a club $C \subseteq \kappa $ so that for all $f, g \in [\kappa ]^\epsilon _*$ , if for all $\alpha < \epsilon $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ .

The last section will establish the strongest known continuity result for functions of the form $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ from the strong partition relation on ${\omega _1}$ and a certain club selection principle. A certain club uniformization principle will be an important tool. Let ${\mathsf {club}}_{\omega _1}$ denote the set of club subset of ${\omega _1}$ . The almost everywhere short length club uniformization principle at ${\omega _1}$ is the assertion that for all $R \subseteq [{\omega _1}]^{<{\omega _1}}_* \times {\mathsf {club}}_{\omega _1}$ which is $\subseteq $ -downward closed (in the sense that for all $\ell \in [{\omega _1}]^{<{\omega _1}}_*$ , for all clubs $C \subseteq D$ , if $R(\ell ,D)$ holds, then $R(\sigma ,C)$ holds), there is a club $C \subseteq {\omega _1}$ and a function $\Lambda : [C]^{<{\omega _1}}_* \cap \mathrm {dom}(R) \rightarrow {\mathsf {club}}_{\omega _1}$ so that for all $\ell \in [C]^{<{\omega _1}}_* \cap \mathrm {dom}(R)$ , $R(\ell ,\Lambda (\ell ))$ .

Consider a function $\Phi : [{\omega _1}]^{\omega _1} \rightarrow {\omega _1}$ . Asking that there exists a $\delta < {\omega _1}$ so that $\Phi (f)$ only depending on $f \upharpoonright \delta $ for $\mu ^{\omega _1}_{\omega _1}$ -almost $f \in [{\omega _1}]^{\omega _1}_*$ is impossible in general. (For instance, consider $\Phi (f) = f(f(0))$ . See Example 6.1.) Using the almost everywhere short length club uniformization at ${\omega _1}$ , [Reference Chan and Jackson4] showed that functions $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ do satisfy $\mu ^{\omega _1}_{\omega _1}$ -almost everywhere continuity where $[{\omega _1}]^{\omega _1}_*$ is endowed with the topology generated by $\{N_\ell : \ell \in [{\omega _1}]^{\omega _1}_*\}$ as a basis, where $N_\ell = \{f \in [{\omega _1}]^{\omega _1}_* : \ell \subseteq f\}$ for each $\ell \in [{\omega _1}]^{<{\omega _1}}_*$ and ${\omega _1}$ is given the discrete topology. Explicitly, there is a club $C \subseteq {\omega _1}$ so that for all $f \in [C]^{\omega _1}_*$ , there exists an $\alpha < {\omega _1}$ so that for all $g \in [C]^{\omega _1}_*$ , if $f \upharpoonright \alpha = g \upharpoonright \alpha $ , then $\Phi (f) = \Phi (g)$ . [Reference Chan2] showed that the almost everywhere short length club uniformization at ${\omega _1}$ can be used to get an even finer continuity result which asserts that there is a club $C \subseteq {\omega _1}$ so that for all $f \in [C]^{\omega _1}_*$ and all $\alpha < {\omega _1}$ , if $\Phi (f) < f(\alpha )$ , then $f \upharpoonright \alpha $ is a continuity point for $\Phi $ relative to C. (For these results, the condition that $\Phi $ maps into ${\omega _1}$ is generally necessary.)

A natural question is whether $\Phi : [{\omega _1}]^{\omega _1} \rightarrow {\omega _1}$ satisfies any form of continuity in which $\Phi (f)$ depends only on the behavior of f at finitely many locations on ${\omega _1}$ . By the function from Example 6.1, it is impossible to have finitely many ordinals $\delta _0, ..., \delta _{n - 1} < {\omega _1}$ which are independent of any input f so that $\Phi (f)$ depends only on the behavior of f at these finitely many points. One can conjecture if there are finitely many continuity locations for $\Phi $ which do depend on f. That is, are there finitely many functions $\Upsilon _0, ..., \Upsilon _{n - 1}$ so that there is a club $C \subseteq {\omega _1}$ with the property that for all $f \in [C]^{\omega _1}$ , for all $g \in [C]^{\omega _1}_*$ , if for all $i < n$ , $\sup (g \upharpoonright \Upsilon _i(f)) = \sup (f \upharpoonright \Upsilon _i(f))$ , then $\Phi (f) = \Phi (g)$ ? This is also not possible. For each $f \in [{\omega _1}]^{\omega _1}_*$ , call an ordinal $\alpha $ a closure point of f if and only if for all $\beta < \alpha $ , $f(\beta ) < \alpha $ or equivalently $\sup (f \upharpoonright \alpha ) = \alpha $ . Let $\mathfrak {C}_f$ denote the club set of closure points of f. Let $\Psi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ be defined by $\Psi (f) = \min (\mathfrak {C}_f)$ , that is, the smallest closure point of f. Example 6.3 shows that there is no collection of finite functions $\Upsilon _0, ..., \Upsilon _{n - 1}$ which satisfies the proposed continuity property with respect to $\Psi $ . Closure points necessarily contain infinite information concerning f. The next result shows that closure points are the only obstruction to a $\mu ^{\omega _1}_{\omega _1}$ -almost everywhere continuity property asserting finite dependence:

Theorem 6.18. Assume $\mathsf {DC}$ , ${\omega _1} \rightarrow _* ({\omega _1})^{\omega _1}_2$ and that the almost everywhere short length club uniformization principle holds at ${\omega _1}$ . Let $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ . There is a club $C \subseteq {\omega _1}$ and finitely many functions $\Upsilon _0,...,\Upsilon _{n - 1}$ so that for all $f \in [C]^{\omega _1}_*$ , for all $g \in [C]^{\omega _1}_*$ , if $\mathfrak {C}_g = \mathfrak {C}_f$ and for all $i < n$ , $\sup (g \upharpoonright \Upsilon _i(f)) = \sup (f \upharpoonright \Upsilon _i(f))$ , then $\Phi (f) = \Phi (g)$ .

To put these results in context and discuss examples, one needs to consider the natural theories which possess combinatorially regular properties. Let $A \subseteq {{}^\omega \omega }$ . Consider a game $G_A$ where two players take turns picking natural numbers to jointly produce an infinite sequence f. Player 1 is said to win $G_A$ if and only if $f \in A$ . The axiom of determinacy, denoted $\mathsf {AD}$ , asserts that, for all $A \subseteq {{}^\omega \omega }$ , one of the two players has a winning strategy for $G_A$ . Under $\mathsf {AD}$ , the perfect set property and the Baire property hold for all sets of reals, and ${\omega _1}$ and many other cardinals possess partition properties. Many weak versions of the continuity results mentioned here have been previously established for ${\omega _1}$ and $\omega _2$ under $\mathsf {AD}$ . This paper evolved from attempts to establish continuity properties and cardinality computations at the most important weak and strong partition cardinals of determinacy.

See Section 2 for a summary of partition properties under $\mathsf {AD}$ . Martin showed under $\mathsf {AD}$ that ${\omega _1}$ is a strong partition cardinal and $\omega _2$ is a weak partition cardinal which is not a strong partition cardinal. Jackson [Reference Jackson8] showed under $\mathsf {AD}$ that for all $n \in \omega $ , $\boldsymbol {\delta }_{2n + 1}^1$ is a strong partition cardinal and $\boldsymbol {\delta }_{2n + 2}^1$ is a weak partition cardinal which is not a strong partition cardinal. The next strong partition cardinal after ${\omega _1}$ is $\boldsymbol {\delta }_3^1 = \omega _{\omega + 1}$ . Kechris, Kleinberg, Moschovakis and Woodin [Reference Kechris, Kleinberg, Moschovakis and Hugh Woodin12] showed that $\boldsymbol {\delta }^2_1$ and the $\Sigma _1$ -stable ordinals $\boldsymbol {\delta }_A$ of $L(A,\mathbb {R})$ for any $A \subseteq \mathbb {R}$ are strong partition cardinals under $\mathsf {AD}$ .

Previously known continuity results at ${\omega _1}$ and $\omega _2$ heavily used determinacy methods. For instance, Kunen trees and Kunen functions ([Reference Jackson9] and [Reference Chan3]) are very important for many combinatorial questions at ${\omega _1}$ and for the description analysis below $\omega _\omega $ which leads to the strong partition property for $\boldsymbol {\delta }_3^1 = \omega _{\omega + 1}$ . [Reference Chan, Jackson and Trang6] and [Reference Chan, Jackson and Trang5] Fact 2.5 used these Kunen functions to provide a very simple argument that every function $\Phi : [{\omega _1}]^\epsilon \rightarrow {\omega _1}$ with $\epsilon < {\omega _1}$ satisfies the almost everywhere short length continuity expressed in Theorem 3.7 and even the stronger version expressed in Theorem 3.9 (but only when the range of the function goes into ${\omega _1}$ ). [Reference Chan, Jackson and Trang6] used this result to show that $|[{\omega _1}]^\omega | < |[{\omega _1}]^{<{\omega _1}}|$ under $\mathsf {AD}$ . Using Martin’s ultrapower representation of for each $1 \leq n < \omega $ , [Reference Chan, Jackson and Trang5] showed that $[{\omega _1}]^{<{\omega _1}}$ does not inject into ${}^\omega (\omega _\omega )$ . Using a variety of determinacy specific techniques (the full wellordered additivity of the meager ideal, generic coding arguments, Banach–Mazur games, Wadge theory and Steel’s Suslin bounding), [Reference Chan, Jackson and Trang5] showed that $[{\omega _1}]^{<{\omega _1}}$ does not inject into ${}^\omega \mathrm {ON}$ under $\mathsf {AD}$ and $\mathsf {DC}_{\mathbb {R}}$ . (Note that Theorem 4.4 improved this result to just the hypothesis $\mathsf {AD}$ without $\mathsf {DC}_{\mathbb {R}}$ .) Extending these methods to studying the next strong partition cardinal $\boldsymbol {\delta }_3^1 = \omega _{\omega + 1}$ seems difficult. Although $\omega _{\omega + 1}$ has analogs of Kunen functions and generic coding functions ([Reference Kechris and Woodin13]) using supercompactness measures, there is no analog of the full wellordered additivity of the meager ideal which can be a major obstacle to generalizing results to $\omega _{\omega + 1}$ as observed by Becker at the end of [Reference Becker1]. Moreover, $\boldsymbol {\delta }^2_1$ and the $\Sigma _1$ -stable ordinals $\boldsymbol {\delta }_A$ ( $A \subseteq \mathbb {R}$ ) are strong partition cardinals which are limit cardinals and cannot possess analogs of the desired Kunen functions. The methods for ${\omega _1}$ are much less applicable here. Although, $\boldsymbol {\delta }_3^1$ , $\boldsymbol {\delta }^2_1$ and $\boldsymbol {\delta }_A$ are important cardinals of determinacy possessing numerous scales and reflection properties, unlike ${\omega _1}$ , these properties do not seem to facilitate the analysis of cardinality. The pure combinatorial methods of Theorem 3.7, 4.4, 3.9, 5.3 and 5.7 are the only known method for establishing these properties for these important strong partition cardinals of determinacy.

Corollary 3.10. Assume $\mathsf {AD}$ . Suppose $\kappa $ is ${\omega _1}$ , $\omega _2$ , $\boldsymbol {\delta }_n^1$ for $1 \leq n < \omega $ , $\boldsymbol {\delta }_A$ where $A \subseteq \mathbb {R}$ or $\boldsymbol {\delta }^2_1$ (assuming $\mathsf {DC}_{\mathbb {R}}$ ). If $\epsilon < {\omega _1}$ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , then there is a club $C \subseteq \kappa $ and finitely many ordinals $\beta _0 < \beta _1 < ... < \beta _{p - 1} \leq \epsilon $ (where $p \in \omega $ ) so that for all $f,g \in [C]^\epsilon _*$ , if for all $i < p$ , $\sup (f \upharpoonright \beta _i) = \sup (g \upharpoonright \beta _i)$ , then $\Phi (f) = \Phi (g)$ .

Assume $\mathsf {AD}$ . Suppose $\kappa $ is ${\omega _1}$ , $\omega _2$ , $\boldsymbol {\delta }_n^1$ for $1 \leq n < \omega $ , $\boldsymbol {\delta }_A$ , where $A \subseteq \mathbb {R}$ or $\boldsymbol {\delta }^2_1$ (assuming $\mathsf {DC}_{\mathbb {R}}$ ). If $\epsilon < \kappa $ with ${\mathrm {cof}}(\epsilon ) = \omega $ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , then there is a club $C \subseteq \kappa $ and a $\delta < \epsilon $ so that for all $f,g \in [C]^\epsilon _*$ , if $\sup (f) = \sup (g)$ and $f \upharpoonright \delta = g \upharpoonright \delta $ , then $\Phi (f) = \Phi (g)$ .

Corollary 4.6. Assume $\mathsf {AD}$ . Suppose $\kappa $ is ${\omega _1}$ , $\omega _2$ , $\boldsymbol {\delta }_n^1$ for $1 \leq n < \omega $ , $\boldsymbol {\delta }_A$ , where $A \subseteq \mathbb {R}$ or $\boldsymbol {\delta }^2_1$ (assuming $\mathsf {DC}_{\mathbb {R}}$ ). Then for any $\chi < \kappa $ , $|{}^\chi \kappa | < |{}^{<\kappa }\kappa |$ and ${}^{<\kappa }\kappa $ does not inject into ${}^\chi \mathrm {ON}$ .

Corollary 5.5. Assume $\mathsf {AD}$ . Suppose $\kappa $ is ${\omega _1}$ , $\boldsymbol {\delta }_{2n + 1}^1$ for $1 \leq n < \omega $ , $\boldsymbol {\delta }_A$ where $A \subseteq \mathbb {R}$ or $\boldsymbol {\delta }^2_1$ (assuming $\mathsf {DC}_{\mathbb {R}}$ ). For any $\epsilon \leq \kappa $ and any function $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , there is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$ , if for all $\alpha < \epsilon $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ .

Corollary 5.8. Assume $\mathsf {AD}$ . Suppose $\kappa $ is ${\omega _1}$ , $\omega _2$ , $\boldsymbol {\delta }_n^1$ for $1 \leq n < \omega $ , $\boldsymbol {\delta }_A$ where $A \subseteq \mathbb {R}$ or $\boldsymbol {\delta }^2_1$ (assuming $\mathsf {DC}_{\mathbb {R}}$ ). For any $\epsilon < \kappa $ and $\Phi : [\kappa ]^\epsilon _* \rightarrow \mathrm {ON}$ , there is a club $C \subseteq \kappa $ so that for all $f,g \in [C]^\epsilon _*$ , if for all $\alpha < \epsilon $ , $f(\alpha ) \leq g(\alpha )$ , then $\Phi (f) \leq \Phi (g)$ .

Determinacy provides examples to show that the hypothesis in Theorem 3.7 and Theorem 3.9 are generally necessary. Let $\Psi : [\omega _2]^{\omega _1} \rightarrow \omega _3$ be defined by $\Phi (f) = [f]_{\mu ^{\omega _1}_1}$ , that is, the ordinal represented by f in the ultrapower of $\omega _2$ by the club measure on ${\omega _1}$ . $\Psi $ will not satisfy the weak or strong version of the almost everywhere short length continuity. (See Example 3.13.) Letting $\Upsilon : [\omega _2]^{{\omega _1} + \omega } \rightarrow \omega _3$ defined by $\Upsilon (f) = \Psi (f \upharpoonright {\omega _1})$ is an example of a function satisfying the weak short length continuity of Theorem 3.7 (note ${\mathrm {cof}}({\omega _1} + \omega ) = \omega $ ) and does not satisfy the strong short length continuity of Theorem 3.9 (note that ${\omega _1} < {\omega _1} + \omega $ ). In the two examples above, the range goes into $\omega _3$ . Curiously, it is shown in [Reference Chan, Jackson and Trang6] that every function $\Phi : [\omega _2]^{\omega _1}_* \rightarrow \omega _2$ satisfies even the strong almost everywhere short length continuity property (despite ${\mathrm {cof}}({\omega _1})> \omega $ ). This remarkable property is unique only to $\omega _2$ and is made possible by Martin’s ultrapower representation of $\omega _2$ under $\mathsf {AD}$ .

[Reference Chan and Jackson4] shows the almost everywhere short length club uniformization holds for ${\omega _1}$ under $\mathsf {AD}$ . (By a more general argument, [Reference Chan2] shows that nearly all known strong partition cardinals of $\mathsf {AD}$ also satisfies this club uniformization principle.) By absorbing functions $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ into the inner model $L(\mathbb {R})$ which satisfies $\mathsf {AD}$ and $\mathsf {DC}$ , Theorem 6.18 implies the following holds in $\mathsf {AD}$ .

Theorem 6.22. Assume $\mathsf {AD}$ . Let $\Phi : [{\omega _1}]^{\omega _1}_* \rightarrow {\omega _1}$ . There is a club $C \subseteq {\omega _1}$ and finitely many function $\Gamma _0,...,\Gamma _{n - 1}$ so that for all $f \in [C]^{\omega _1}_*$ , for all $g \in [C]^{\omega _1}_*$ , if $\mathfrak {C}_g = \mathfrak {C}_f$ and for all $i < n$ , $\sup (g \upharpoonright \Gamma _i(f)) = \sup (f \upharpoonright \Gamma _i(f))$ , then $\Phi (f) = \Phi (g)$ .

In this result, it is necessary that the range goes into ${\omega _1}$ . For example under $\mathsf {AD}$ , the function $\Phi : [{\omega _1}]_*^{\omega _1} \rightarrow \omega _2$ defined by $\Psi (f) = [f]_{\mu ^{\omega _1}_1}$ (f is mapped to the ordinal below $\omega _2$ represented by f in the ultrapower of ${\omega _1}$ by the club measure on ${\omega _1}$ ) does not satisfy any recognizable continuity property.

2 Partition properties

$\mathrm {ON}$ will denote the class of ordinals.

Definition 2.1. Suppose $\epsilon \in \mathrm {ON}$ and $f : \epsilon \rightarrow \mathrm {ON}$ is a function. The function f is discontinuous everywhere if and only if for all $\alpha < \epsilon $ , $\sup (f \upharpoonright \alpha ) = \sup \{f(\beta ) : \beta < \alpha \} < f(\alpha )$ .

The function f has uniform cofinality $\omega $ if and only if there is a function $F : \epsilon \times \omega \rightarrow \mathrm {ON}$ with the following properties:

  1. 1. For all $\alpha < \epsilon $ , for all $n \in \omega $ , $F(\alpha ,n) < F(\alpha ,n + 1)$ .

  2. 2. For all $\alpha < \epsilon $ , $f(\alpha ) = \sup \{F(\alpha ,n) : n \in \omega \}$ .

The function f has the correct type if and only if f is both discontinuous everywhere and has uniform cofinality $\omega $ .

Definition 2.2. If A and B are two sets, then ${}^A B$ denote the set of functions $f : A \rightarrow B$ .

Let $\epsilon \in \mathrm {ON}$ and X be a class of ordinals. Let $[X]^\epsilon $ be the class of increasing functions $f : \epsilon \rightarrow X$ . Let $[X]^\epsilon _*$ be the class of increasing functions $f : \epsilon \rightarrow X$ of the correct type.

Definition 2.3. (Ordinary partition relation) Suppose $\kappa $ is a cardinal and $\epsilon \leq \kappa $ , then let $\kappa \rightarrow (\kappa )^\epsilon _2$ state that for all $P : [\kappa ]^\epsilon \rightarrow 2$ , there is an $A \subseteq \kappa $ with $|A| = \kappa $ and an $i \in 2$ so that for all $f \in [A]^\epsilon $ , $P(f) = i$ .

Definition 2.4. (Correct type partition relations) Suppose $\kappa $ is a cardinal, $\epsilon \leq \kappa $ and $\gamma < \kappa $ , let $\kappa \rightarrow _* (\kappa )^\epsilon _\gamma $ assert that for all $\Phi : [\kappa ]^\epsilon _* \rightarrow \gamma $ , there is a club $C \subseteq \kappa $ and an $\eta < \gamma $ so that for all $f \in [C]^\epsilon _*$ , $\Phi (f) = \eta $ .

$\kappa $ is a strong partition cardinal if and only if $\kappa \rightarrow _* (\kappa )^\kappa _2$ . $\kappa $ is a very strong partition cardinal if and only if $\kappa \rightarrow _* (\kappa )^\kappa _{<\kappa }$ . $\kappa $ is a weak partition cardinal if and only if $\kappa \rightarrow (\kappa )^{<\kappa }_2$ .

The correct type partition relations will be used in this paper. Under the axiom of determinacy, partition relations are often established by proving the correct type partition relation and many applications directly involve the correct type partition relation. The ordinary and correct type partition relations are nearly equivalent by the following result.

Fact 2.5. ([Reference Chan3] Fact 2.6)

Suppose $\kappa $ is a cardinal and $\epsilon \leq \kappa $ . $\kappa \rightarrow _* (\kappa )^\epsilon _2$ implies $\kappa \rightarrow (\kappa )^\epsilon _2$ . $\kappa \rightarrow (\kappa )^{\omega \cdot \epsilon }_2$ implies $\kappa \rightarrow _* (\kappa )^\epsilon _2$ .

It is not known if $\kappa \rightarrow _* (\kappa )^\kappa _2$ implies $\kappa \rightarrow (\kappa )^\kappa _{<\kappa }$ , that is, whether a strong partition cardinal is a very strong partition cardinal. (Although all known strong partition cardinals are very strong partition cardinals.) However, one does have the following related results for weak partition cardinals. The first follows from an induction argument.

Fact 2.6. Suppose $\kappa $ is a cardinal and $\epsilon \leq \kappa $ . $\kappa \rightarrow _* (\kappa )^\epsilon _2$ implies $\kappa \rightarrow _* (\kappa )^\epsilon _n$ for all $n \in \omega $ .

Fact 2.7. ([Reference Chan3] Fact 2.13)

Suppose $\kappa $ is a cardinal and $\epsilon < \kappa $ . Then $\kappa \rightarrow _* (\kappa )^{\epsilon + \epsilon }_2$ implies $\kappa \rightarrow (\kappa )^\epsilon _{<\kappa }$ .

Thus, $\kappa \rightarrow _* (\kappa )^{<\kappa }_2$ implies $\kappa \rightarrow _* (\kappa )^{<\kappa }_{<\kappa }$ .

Definition 2.8. If $\kappa $ is a cardinal and $\epsilon \leq \kappa $ , then let $\mu ^\kappa _\epsilon $ be the filter on $[\kappa ]^\epsilon _*$ defined by $X \in \mu ^\kappa _\epsilon $ if and only if there is a club $C \subseteq \kappa $ so that $[C]^\epsilon _* \subseteq X$ .

If $\kappa \rightarrow _* (\kappa )^\epsilon _2$ holds, then $\mu ^\kappa _\epsilon $ is an ultrafilter and is called the $\epsilon $ -partition measure on $\kappa $ . If $\kappa \rightarrow _* (\kappa )^\kappa _2$ holds, then $\mu ^\kappa _\kappa $ is called the strong partition measure on $\kappa $ .

Note that $\mu ^\kappa _\epsilon $ is $\kappa $ -complete if and only if $\kappa \rightarrow _* (\kappa )^\epsilon _{<\kappa }$ holds. Thus, if $\epsilon < \kappa $ and $\kappa \rightarrow _* (\kappa )^{\epsilon + \epsilon }_2$ holds, then $\mu ^\kappa _\epsilon $ is $\kappa $ -complete by Fact 2.7.

Definition 2.9. Suppose A is a set of ordinals. Let $\xi = {\mathrm {ot}}(A)$ . Let ${\mathsf {enum}}_A : \xi \rightarrow A$ denote the increasing enumeration of A.

Suppose $\kappa $ be a regular cardinal. Let $X \subseteq \kappa $ be an unbounded subset of $\kappa $ . Let ${\mathsf {next}}_{X} : \kappa \rightarrow X$ be defined by ${\mathsf {next}}_{X}(\alpha )$ is the least element of X greater than $\alpha $ . Let ${\mathsf {next}}_X^0 : \kappa \rightarrow \kappa $ be the identity function. For each $0 < \gamma < \kappa $ , let ${\mathsf {next}}_{X}^{\gamma } : \kappa \rightarrow X$ be defined by ${\mathsf {next}}_X^\gamma (\alpha )$ is the $\gamma ^{\text {th}}$ -element of X strictly greater than $\alpha $ . (Note that ${\mathsf {next}}_X(\alpha ) = {\mathsf {next}}_X^1(\alpha )$ .)

Suppose $\kappa $ is a cardinal, $\epsilon \leq \kappa $ and $f : \epsilon \rightarrow \kappa $ . Let $\mathcal {C}_f$ denote the closure of $f[\epsilon ]$ in $\kappa $ .

If $\epsilon \in \mathrm {ON}$ , $f : \epsilon \rightarrow \mathrm {ON}$ and $\alpha < \epsilon $ , then let ${\mathsf {drop}}(f,\alpha ) : (\epsilon - \alpha ) \rightarrow \mathrm {ON}$ be defined by ${\mathsf {drop}}(f,\alpha )(\beta ) = f(\alpha + \beta )$ .

Fact 2.10. Suppose $\kappa $ is a cardinal, $\epsilon \leq \kappa $ and $\kappa \rightarrow _* (\kappa )^\epsilon _{<\kappa }$ holds. (By Fact 2.7, if $\epsilon < \kappa $ , then $\kappa \rightarrow _* (\kappa )^{\epsilon + \epsilon }_2$ is enough to ensure this condition.) Let $\Phi : [\kappa ]^\epsilon _* \rightarrow \kappa $ have the property that for $\mu ^\kappa _\epsilon $ -almost all f, $\Phi (f) < f(0)$ . Then there is a club $C \subseteq \kappa $ and a $\zeta < \kappa $ so that for all $f \in [C]^\epsilon _*$ , $\Phi (f) = \zeta $ .

Proof. Let $C_0 \subseteq \kappa $ be such that for all $f \in [C_0]^\epsilon _*$ , $\Phi (f) < f(0)$ . Define $P : [\kappa ]^{1 + \epsilon }_* \rightarrow 2$ by $P(g) = 0$ if and only if $\Phi ({\mathsf {drop}}(g,1)) < g(0)$ . By $\kappa \rightarrow _* (\kappa )^\epsilon _2$ , there is a club $C_1 \subseteq C_0$ which is homogeneous for P. Let $C_2 \subseteq C_1$ be the club of limit points of $C_1$ . Take any $f \in [C_2]^\epsilon _*$ . By the stated property of $C_0$ , $\Phi (f) < f(0)$ . Since $f(0) \in C_2$ , there is a $\gamma \in C_1$ so that $\Phi (f) < \gamma < f(0)$ . Let $g \in [C_1]^{1 + \epsilon }_*$ be defined by $g(0) = \gamma $ and ${\mathsf {drop}}(g,1) = f$ . Then $\Phi ({\mathsf {drop}}(g,1)) = \Phi (f) < \gamma = g(0)$ and hence $P(g) = 0$ . This shows that $C_1$ must be homogeneous for P taking value $0$ . Let $f \in [C_2]^\epsilon _*$ . Since $f(0) \in C_2$ , $\min (C_1) < f(0)$ . Let $g \in [C_1]^{1 + \epsilon }_*$ be defined so that ${\mathsf {drop}}(g,1) = f$ and $g(0) = \min (C_1)$ . Then $P(g) = 0$ implies that $\Phi (f) = \Phi ({\mathsf {drop}}(g,1)) < g(0) = \min (C_1)$ . Since f was arbitrary, it has been shown that for all $f \in [C_2]^\epsilon _*$ , $\Phi (f) < \min (C_1)$ . Since $\kappa \rightarrow _* (\kappa )^{\epsilon }_{<\kappa }$ implies that $\mu ^\kappa _\epsilon $ is $\kappa $ -complete, there is a $C_3 \subseteq C_2$ and a $\zeta < \kappa $ so that for all $f \in [C_3]^\epsilon _*$ , $\Phi (f) = \zeta $ .

Fact 2.11. Assume $\kappa \rightarrow _* (\kappa )^{2}_2$ . Then $\mu ^\kappa _1$ (i.e., the $\omega $ -club filter on $\kappa $ ) is a normal $\kappa $ -complete ultrafilter.

Proof. Let $\Phi : \kappa \rightarrow \kappa $ be a $\mu ^\kappa _1$ -almost everywhere regressive function. Then there is a club $C \subseteq \kappa $ so that for all $\alpha \in [C]^1_*$ , $\Phi (\alpha ) < \alpha $ . By Fact 2.10, there is a club $D \subseteq \kappa $ and a $\zeta < \kappa $ so that for all $\alpha \in [D]^1_*$ , $\Phi (\alpha ) = \zeta $ . So $\Phi $ is $\mu ^\kappa _1$ -almost everywhere constant.

An ordinal $\gamma $ is additively indecomposable if and only if for all $\alpha < \gamma $ and $\beta < \gamma $ , $\alpha + \beta < \gamma $ . An ordinal $\gamma $ is multiplicatively indecomposable if and only if for all $\alpha < \gamma $ and $\beta < \gamma $ , $\alpha \cdot \beta < \gamma $ . An ordinal is indecomposable if and only if it is additively and multiplicatively indecomposable. In all discussions, $0$ and $1$ will be excluded and hence additively indecomposable ordinals will always be limit ordinals. For every limit ordinal $\epsilon $ , there exists $\epsilon _0 < \epsilon $ and $\epsilon _1 \leq \epsilon $ so that $\epsilon = \epsilon _0 + \epsilon _1$ and $\epsilon _1$ is additively indecomposable. Because of this decomposition, it will be useful to establish results for sequences whose lengths are additively indecomposable (but possibly not multiplicatively indecomposable) before deducing the general result. One will frequently assume club subsets consists entirely of (additively and multiplicatively) indecomposable ordinals.

Fact 2.12. Let $C_0 \subseteq \kappa $ be a club subset of $\kappa $ consisting entirely of indecomposable ordinals. Let $C_1 = \{\alpha \in C_0 : {\mathsf {enum}}_{C_0}(\alpha ) = \alpha \}$ . Then $C_1 \subseteq C_0$ is a club subset of $\kappa $ consisting entirely of indecomposable ordinals. For any $\gamma < \kappa $ , $\alpha < \gamma $ and $\beta < \gamma $ with $\gamma \in C_1$ , ${\mathsf {next}}^{\beta }_{C_0}(\alpha ) < \gamma $ and in particular, ${\mathsf {next}}_{C_0}^{\omega \cdot (\beta + 1)}(\alpha ) < \gamma $ .

Proof. Fix $\gamma \in C_1$ and $\alpha < \gamma $ . Let $\zeta = \sup \{\eta < \kappa : {\mathsf {enum}}_{C_0}(\eta ) \leq \alpha \}$ . Note that ${\mathsf {next}}_{C_0}^0(\alpha ) = \alpha $ and if $0 < \beta < \gamma $ , ${\mathsf {next}}_{C_0}^\beta (\alpha ) = {\mathsf {enum}}_{C_0}(\zeta + \beta )$ . Since $\alpha < \gamma $ and $\gamma \in C_1$ , $\zeta < {\mathsf {enum}}_{C_0}^{-1}(\gamma ) = \gamma $ . Because $\gamma $ is additively indecomposable, $\zeta + \beta < \gamma $ . Thus, ${\mathsf {next}}_{C_0}^\beta (\alpha ) = {\mathsf {enum}}_{C_0}(\zeta + \beta ) < {\mathsf {enum}}_{C_0}(\gamma ) = \gamma $ . The last statement follows from the first statement and the fact that since $\gamma $ is additively and multiplicatively indecomposable and for all $\beta < \gamma $ , $\omega \cdot (\beta + 1) < \gamma $ .

Fact 2.13. (Almost everywhere fixed length measure witness uniformization) Let $\kappa $ be a cardinal, $1 \leq \delta < \kappa $ and $1 \leq \epsilon \leq \kappa $ . Suppose $\kappa \rightarrow _* (\kappa )^{\delta + \epsilon }_2$ holds. Let $R \subseteq [\kappa ]^{\delta }_* \times [\kappa ]^{\epsilon }_*$ be such that for all $f \in [\kappa ]^{\delta }_*$ , $R_f = \{g \in [\kappa ]^{\epsilon }_* : R(f,g)\} \in \mu ^\kappa _{\epsilon }$ . Then there is a club $C \subseteq \kappa $ so that for $f \in [C]^{\delta }_*$ , $[C \setminus \sup (f) + 1]^{\epsilon }_* \subseteq R_f$ .

Proof. If $h \in [\kappa ]^{\delta + \epsilon }_*$ , then let $h^0 \in [\kappa ]^\delta _*$ and $h^1 \in [\kappa ]^\epsilon _*$ be defined by $h^0 = h \upharpoonright \delta $ and $h^1 = {\mathsf {drop}}(h,\delta )$ . Define a partition $P : [\kappa ]^{\delta + \epsilon }_* \rightarrow 2$ by $P(h) = 0$ if and only if $R(h^0,h^1)$ . By $\kappa \rightarrow _* (\kappa )^{\delta + \epsilon }_2$ , there is a club $C \subseteq {\omega _1}$ which is homogeneous for P. Fix an $f \in [C]^\delta _*$ . Since $R_f \in \mu ^\kappa _\epsilon $ , there is a club $D \subseteq C$ so that for all $g \in [D]^\epsilon _*$ , $R(f,g)$ holds. Pick a $g \in [D]^\epsilon _*$ with $\sup (f) < g(0)$ , and let $h \in [C]^{\delta + \epsilon }_*$ be defined so that $h^0 = f$ and $h^1 = g$ . Then $P(h) = 0$ . Thus, C is homogeneous for P taking value $0$ . Now, fix an $f \in [C]^\delta _*$ . Take any $g \in [C \setminus \sup (f) + 1]^\epsilon _*$ . Let $h \in [C]^{\delta + \epsilon }_*$ be defined so that $h^0 = f$ and $h^1 = g$ . $P(h) = 0$ implies that $R(f,g)$ . Thus, $[C \setminus \sup (f) + 1]^\epsilon _* \subseteq R_f$ .

If $\kappa $ is a cardinal, then let ${\mathsf {club}}_\kappa $ denote the collection of club subsets of $\kappa $ .

Fact 2.14. ([Reference Chan2])

Let $\kappa $ be a cardinal satisfying $\kappa \rightarrow _* (\kappa )^{\kappa }_2$ and