2.1 On generators

In this section, we prove a generalization of Theorem 1.1 of [Reference Shelah, Gabbay, Macintyre and Scott11] that extends Shelah’s result to $\sigma $ -complete pcf. We prove the theorem by manipulating a suitably nice collection of pcf generators rather than by working directly with characteristic functions of models as in [Reference Shelah, Gabbay, Macintyre and Scott11].

The basic definitions follow, and we refer the reader to [Reference Abraham, Magidor, Foreman and Kanamori1] and [Reference Burke and Magidor2] for more detailed discussion of these matters.

In (3), our assumptions imply $\operatorname {\mathrm {pcf}}(C)\subseteq \operatorname {\mathrm {pcf}}(A)$ so $\Lambda $ is a subset of $\operatorname {\mathrm {pcf}}(A)$ as well. We will usually assume that C includes A, and in this situation we know that if $B_\lambda $ is a generator for $\lambda $ in C, then $B_\lambda \cap A$ will be a generator for $\lambda $ in A. Where important for clarity, we may write $B_\lambda [C]$ to emphasize that the corresponding set is a generator for $\lambda $ in C.

Definition 2.1.2. Let A be a progressive set of regular cardinals, and suppose $\mathfrak {\bar {b}}$ is a generating sequence $\langle B_\lambda [C]:\lambda \in \Lambda \rangle $ for $\Lambda $ in C, where $\Lambda \subseteq \operatorname {\mathrm {pcf}}(A)$ and C is a progressive subset of $\operatorname {\mathrm {pcf}}(A)$ containing A. The sequence $\bar {\mathfrak {b}}$ is transitive if

(2.1.3) $$ \begin{align} \theta\in B_\lambda[C]\cap\Lambda\Longrightarrow B_\theta[C]\subseteq B_\lambda[C]. \end{align} $$

It is a fundamental result of pcf theory that for a progressive A, any $\lambda $ in $\operatorname {\mathrm {pcf}}(A)$ has a corresponding generator in A, and thus we can always find a generating sequence $\langle B_\lambda [A]:\lambda \in \operatorname {\mathrm {pcf}}(A)\rangle $ for $\operatorname {\mathrm {pcf}}(A)$ in A. Obtaining transitive generating sequences is a more complicated issue. Shelah shows in Claim 6.7 of [Reference Shelah14] that there is a transitive generating sequence for A (not $\operatorname {\mathrm {pcf}}(A)$ !) in A whenever A is progressive. Thus, if $\operatorname {\mathrm {pcf}}(A)$ happens to be progressive, then a transitive generating sequence for $\operatorname {\mathrm {pcf}}(A)$ in $\operatorname {\mathrm {pcf}}(A)$ will exist. Abraham and Magidor prove something a little more general in Section 6 of [Reference Abraham, Magidor, Foreman and Kanamori1]. A corollary of their presentation is that if $\kappa $ is a regular cardinal with $|A|<\kappa <\min (A)$ and $\Lambda $ is a subset of $\operatorname {\mathrm {pcf}}(A)$ of cardinality at most $\kappa $ , then we can find a transitive generating sequence for $\Lambda $ in A.

Our proof requires more than this, and we need some results of Shelah appearing in Claims 6.7A and B of [Reference Shelah14]. These are quite technical, so in the interest of readability we summarize our requirements in a “black box” result:

Part (1) of the conclusion gives more than what Abraham and Magidor obtain in [Reference Abraham, Magidor, Foreman and Kanamori1], as they produce a transitive generating sequence for $N\cap \operatorname {\mathrm {pcf}}(A)$ in A, and not in the (possibly larger) set $N\cap \operatorname {\mathrm {pcf}}(A)$ . Said another way, the argument in [Reference Abraham, Magidor, Foreman and Kanamori1] provides sets $B_\lambda $ for $\lambda \in N\cap \operatorname {\mathrm {pcf}}(A)$ that are subsets of A and such that $B_\lambda $ generates the ideal $J_{\leq \lambda }[A]$ over $J_{<\lambda }[A]$ . The stronger version we need provides generators that function in the progressive set $N\cap \operatorname {\mathrm {pcf}}(A)$ , rather than just in A, with the corresponding $B_\lambda $ generating $J_{\leq \lambda }[N\cap \operatorname {\mathrm {pcf}}(A)]$ over $J_{<\lambda }[N\cap \operatorname {\mathrm {pcf}}(A)]$ . This extra power will be important for us, and it follows from parts (1) and (2) of Claim 6.7B of [Reference Shelah14].

Part (2) of the conclusion says that even though the generators we produce may not be in N, they do interact well with N in the sense that pcf compactness arguments work as long as we are trying to cover sets in N. This follows from part (3) of Claim 6.7B of [Reference Shelah14], and it is arranged by showing that the generators produced have suitable “internal reflections” inside of N.

2.2 Reducing the size of a representation

We turn now to the main result of this section: a relative of Theorem 1.1 from Chapter VIII of [Reference Shelah12].

Theorem 2.2.1. Suppose $A=\bigcup _{\xi <\eta }A_\xi $ is a progressive set of regular cardinals, and suppose $\sigma $ is a regular cardinal. Suppose

(2.2.1) $$ \begin{align} \lambda=\max\operatorname{\mathrm{pcf}}(A), \end{align} $$

and

(2.2.2) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\sigma\mathrm{-com}}(A)\setminus\bigcup_{\xi<\eta}\mathrm{ pcf}_{\sigma\mathrm{-com}}(A_\xi). \end{align} $$

Then can find a subset C of $\bigcup _{\xi <\eta }\mathrm {pcf}_{\sigma \mathrm {-com}}(A_\xi )$ such that

(2.2.3) $$ \begin{align} |C|\leq\eta, \end{align} $$

and

(2.2.4) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\sigma\mathrm{-com}}(C). \end{align} $$

This is a template for what we might call a reduction-in-size theorem. The point is that we are replacing the set A by set C whose size is under our control, and doing it in such a way that $\lambda $ is still captured by $\mathrm {pcf}_{\sigma \mathrm {-com}}(C)$ .

Proof Looking at our assumptions, it is clear that we may assume that $\eta $ is at most the cardinality of A. The assumptions also imply that $\eta $ is at least $\sigma $ , as otherwise $\mathrm {pcf}_{\sigma \mathrm {-com}}(A)$ would simply be the union of the various $\mathrm {pcf}_{\sigma \mathrm {-com}}(A_\xi )$ for $\xi <\eta $ , and this would violate (2.2.2). Thus, we can assume $\sigma \leq \eta \leq |A|$ .

We may also assume that $|A|^+$ is strictly less than $\min (A)$ , and so (by setting $\kappa =|A|^+$ ) we can find a model N as in Theorem 2.1.3 containing A and the sequence $\langle A_\xi :\xi <\eta \rangle $ . Note that since $\kappa +1\subseteq N$ , we know that A is a subset of N and each individual element $A_\xi $ of our sequence will be in N as well. Since $|A_\xi |<\kappa $ for each $\xi $ , it follows that $A_\xi $ will be a subset of $N\cap \operatorname {\mathrm {pcf}}(A)$ too.

Let $\langle B_\lambda :\lambda \in N\cap \operatorname {\mathrm {pcf}}(A)\rangle $ be the transitive sequence from Theorem 2.1.3. Conclusion (2) of this theorem tells us there is a sequence $\langle C_\xi :\xi <\eta \rangle $ in N such that each $C_\xi $ is a subset of $\mathrm {pcf}_{\sigma \mathrm {-com}}(A_\xi )$ of cardinality less than $\sigma $ and

(2.2.5) $$ \begin{align} A_\xi\subseteq\bigcup_{\lambda\in C_\xi}B_\lambda. \end{align} $$

We set

(2.2.6) $$ \begin{align} C=\bigcup_{\xi<\eta}C_\xi. \end{align} $$

Then $|C|\leq \eta \cdot \sigma =\eta $ , and C is definable from the sequence $\langle C_\xi :\xi <\eta \rangle $ in N.

We now show that $\lambda $ is in $\mathrm {pcf}_{\sigma \mathrm {-com}}(C)$ , which will finish the proof. To do this, we apply conclusion (2) of Theorem 2.1.3 again, this time to the single set $C\in N$ . We obtain a set $D\in N$ of cardinality less than $\sigma $ such that

(2.2.7) $$ \begin{align} D\subseteq\mathrm{ pcf}_{\sigma\mathrm{-com}}(C)\subseteq \mathrm{ pcf}_{\sigma\mathrm{-com}}(A) \end{align} $$

and

(2.2.8) $$ \begin{align} C\subseteq\bigcup_{\lambda\in D} B_\lambda. \end{align} $$

This is the crucial point where we need for our generators to work in $N\cap \operatorname {\mathrm {pcf}}(A)$ rather than just in the potentially smaller set A, as we are applying a compactness argument to cover a subset of $N\cap \operatorname {\mathrm {pcf}}(A)$ .

We know that $\max \operatorname {\mathrm {pcf}}(C)$ is at most $\lambda $ because

(2.2.9) $$ \begin{align} \max\operatorname{\mathrm{pcf}}(\operatorname{\mathrm{pcf}}(A))=\max\operatorname{\mathrm{pcf}}(A). \end{align} $$

Thus, if $\lambda $ fails to be in $\mathrm { pcf}_{\sigma \mathrm {-com}}(C)$ , it must be the case that

(2.2.10) $$ \begin{align} D\subseteq\mathrm{ pcf}_{\sigma\mathrm{-com}}(A)\cap\lambda, \end{align} $$

that is, all members of D must be less than $\lambda $ .

We now have an untenable situation. Since $\lambda $ is in $\mathrm { pcf}_{\sigma \mathrm {-com}}(A)$ , the $\sigma $ -complete ideal on A generated by $J_{<\lambda }[A]$ must be a proper ideal. But for $\epsilon \in D$ , we know $B_\epsilon \cap A$ is in the ideal $J_{<\lambda }[A]$ , and since $|D|<\sigma $ it follows that A cannot be contained in the union of the sets $B_\epsilon $ for $\epsilon $ in D, that is,

(2.2.11) $$ \begin{align} A\nsubseteq \bigcup_{\epsilon\in D}B_\epsilon. \end{align} $$

On the other hand, though, for each $\zeta \in A$ there is a $\tau \in C$ with $\zeta \in B_\tau $ , and there is a corresponding $\epsilon \in D$ with $\tau \in B_\epsilon $ . By transitivity, we know $B_\tau \subseteq B_\epsilon $ and therefore $\zeta \in B_\epsilon $ . Thus

(2.2.12) $$ \begin{align} A\subseteq\bigcup_{\epsilon \in D} B_\epsilon, \end{align} $$

which contradicts (2.2.11). Thus, $\lambda $ must be in $\mathrm { pcf}_{\sigma \mathrm {-com}}(C)$ .

3.1 Motivation

In this section we work with cardinals that are strong limits in a sense measured by pseudopowers. Our aim is to generalize one of the main results of Chapter VIII of Cardinal Arithmetic, where Shelah addresses basic questions about improving representations of cardinals. Simply recalling a small part of what Shelah establishes provides us with a good starting point.

Theorem 3.1.1 (Shelah [Reference Shelah, Gabbay, Macintyre and Scott11])

Suppose $\aleph _0<\operatorname {\mathrm {cf}}(\mu )\leq \theta <\mu $ , and for every sufficiently large $\eta <\mu $ ,

(3.1.1) $$ \begin{align} \operatorname{\mathrm{cf}}(\eta)\leq\theta\Longrightarrow \operatorname{\mathrm{pp}}_\theta(\eta)<\mu. \end{align} $$

Then $\operatorname {\mathrm {PP}}_\theta (\mu )=\operatorname {\mathrm {PP}}_{\Gamma (\operatorname {\mathrm {cf}}(\mu ))}(\mu )$ . In fact, any $\lambda \in \operatorname {\mathrm {PP}}_\theta (\mu )$ can be represented as the true cofinality of $\prod A/J^{\operatorname {\mathrm {bd}}}[A]$ where A is a cofinal subset of $\mu \cap \operatorname {\mathrm {\mathsf {Reg}}}$ of cardinality $\operatorname {\mathrm {cf}}(\mu )$ .

The above is part of Corollary 1.6 on page 321 of [Reference Shelah12], and we will shortly derive it from our own work in this section. For now, we wish to highlight the assumption (3.1.1): it expresses that $\mu $ is (in a weak sense) a type of strong limit cardinal, and we will be working with such assumptions a lot in this section. The conclusion of the above theorem can be described informally in terms of upgrading the representation of $\lambda $ : we are able to move from an arbitrary representation of $\lambda $ based on a set of cardinality at most $\theta $ to one based on a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ , with the added bonus that the ideal used in the representation is as simple as possible. The results we prove in this section will have a similar flavor.

We start with our main hypothesis, a definition that is natural given the preceding discussion.

Shelah has looked at such concepts in a more general setting. In particular, the third section of [Reference Shelah13] briefly examines the idea of “pcf inaccessibility.” The following lemma shows that our definition and his approach are essentially the same.

Proof Assume (1), and choose $\eta <\mu $ such that $\mu $ is $\Gamma (\theta ,\sigma )$ -closed beyond $\eta $ . Given a set A satisfying the assumptions of (2), suppose $\lambda $ is in $\mathrm { pcf}_{\sigma \mathrm {-com}}(A)\setminus \mu $ . By passing to the generator $B_\lambda [A]$ , we may assume $\lambda $ is $\max \operatorname {\mathrm {pcf}}(A)$ , and so if J is the $\sigma $ -complete ideal on A generated by $J_{<\lambda }[A]$ then

(3.1.3) $$ \begin{align} \lambda = \operatorname{\mathrm{tcf}}\left(\prod A/ J\right)\!. \end{align} $$

Now let $\xi $ be least ordinal with $A\cap \xi \notin J$ . Our assumptions imply that $\xi $ is a singular cardinal of cofinality at most $|A|<\theta $ , and $\lambda $ is $\Gamma (\theta ,\sigma )$ -representable at $\xi $ . Since $\eta <\xi <\mu $ , we have a contradiction. The proof that (2) implies (1) is even easier: if $\mu $ is not eventually $\Gamma (\theta ,\sigma )$ -closed, then the associated representations show that (2) must fail.

3.2 Basic representation theorems

Turning to the main topic of this section, we begin with an application of Theorem 2.2.1 to the question of representation.

Theorem 3.2.1. Suppose $\sigma \leq \operatorname {\mathrm {cf}}(\mu )<\theta <\mu $ with $\sigma $ and $\theta $ regular. If $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed, then

(3.2.1) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu) = \operatorname{\mathrm{PP}}_{\Gamma(\sigma)}(\mu). \end{align} $$

Before we give the proof, note that this result is a natural counterpart to Theorem 3.1.1, with the only difference being the inclusion of the parameter $\sigma $ . This theorem asks for a weaker closure condition than (3.1.1) in the situation where $\sigma $ is uncountable, but it also has a weaker conclusion: it says only that if $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed, then any cardinal representable at $\mu $ via a $\sigma $ -complete ideal on a set of cardinality less than $\theta $ is in fact representable at $\mu $ via a $\sigma $ -complete ideal on a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ , the minimum possible, but the proof does not let us obtain a representation using the bounded ideal.

Proof Suppose A and J witness that the cardinal $\lambda $ is $\Gamma (\theta ,\sigma )$ -representable at $\mu $ . Since we may remove an initial segment of A if necessary, we may assume that $\mu $ is $\Gamma (\theta ,\sigma )$ -closed beyond $\min (A)$ , and by restricting to a suitable generator if necessary, we may assume that $\lambda = \max \operatorname {\mathrm {pcf}}(A)$ as well. Given $\langle \mu _\alpha :\alpha <\kappa \rangle $ increasing and cofinal in $\mu $ , if we define

(3.2.2) $$ \begin{align} A_\alpha:= A\cap\mu_\alpha, \end{align} $$

then the hypotheses of Theorem 2.2.1 are satisfied by $\langle A_\alpha :\alpha <\operatorname {\mathrm {cf}}(\mu )\rangle $ and $\lambda $ , and we obtain a set

(3.2.3) $$ \begin{align} C\subseteq\bigcup_{\alpha<\operatorname{\mathrm{cf}}(\mu)}\mathrm{ pcf}_{\sigma\mathrm{-com}}(A_\alpha) \end{align} $$

of cardinality less than $\theta $ such that

(3.2.4) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\sigma\mathrm{-com}}(C). \end{align} $$

Now let I be the $\sigma $ -complete ideal generated by $J_{<\lambda }[C]$ . We claim that C and I witness that $\lambda $ is $\Gamma (\theta )$ -representable at $\mu $ .

Certainly C is a subset of $\mu \cap \operatorname {\mathrm {\mathsf {Reg}}}$ because of (3.2.3) and Lemma 3.1.3. We know I is a proper ideal on C because $\lambda $ is in $\mathrm { pcf}_{\sigma \mathrm {-com}}(C)$ , and

(3.2.5) $$ \begin{align} \lambda = \operatorname{\mathrm{tcf}}\left(\prod C/ I\right) \end{align} $$

because $\lambda =\max \operatorname {\mathrm {pcf}}(C)$ and I extends $J_{<\lambda }[C]$ . To finish, we need to show that C is unbounded in $\mu $ and I includes all initial segments of C, but this follows from Lemma 3.1.3 as well: any subset of C bounded below $\mu $ must be in I because $\lambda $ is greater than $\mu $ .

We can do better than this, though, and the next lemma lies is the heart of our results. It shows that with assumptions similar to those used in Theorem 3.2.1, we are able to obtain representations of cardinals that are “well-organized.” This will then allow us to show that the corresponding ideals in the representation satisfy stronger completeness conditions.

Lemma 3.2.2. Assume $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed, where $\sigma $ and $\theta $ are regular, and $\sigma \leq \operatorname {\mathrm {cf}}(\mu )<\theta $ . Suppose $\lambda $ is $\Gamma (\theta ,\tau )$ -representable at $\mu $ for some regular cardinal $\tau $ in the interval $[\sigma ,\operatorname {\mathrm {cf}}(\mu )]$ . Then we can find a cardinal $\sigma ^*<\sigma $ and a set

(3.2.6) $$ \begin{align} C=\{\lambda_\varsigma^\alpha:\alpha<\operatorname{\mathrm{cf}}(\mu)\text{ and }\varsigma<\sigma^*\} \end{align} $$

of regular cardinals less than $\mu $ such that:

• • $\mathrm { pcf}_{\sigma \mathrm {-com}}\{\lambda _\varsigma ^\beta :\beta <\alpha \text { and }\varsigma <\sigma ^*\}\subseteq \mu $ for each $\alpha <\operatorname {\mathrm {cf}}(\mu )$ and

• • if X is an unbounded subset of $\operatorname {\mathrm {cf}}(\mu ),$ then

  (3.2.7) $$ \begin{align} \lambda=\max\operatorname{\mathrm{pcf}}(\{\lambda^\alpha_\varsigma:\alpha\in X\text{ and }\varsigma<\sigma^*\}) \end{align} $$
  and
  (3.2.8) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\tau\mathrm{-com}}(\{\lambda^\alpha_\varsigma:\alpha\in X\text{ and }\varsigma<\sigma^*\}). \end{align} $$

The above is essentially a generalization of Shelah’s result Theorem 3.1.1. We will discuss this after the proof, and even show how his result follows easily from the lemma.

Proof Suppose A and J are a $\Gamma (\theta ,\sigma )$ -representation of $\lambda $ at $\mu $ . Just as in the proof of Theorem 3.2.1, we may assume $\mu $ is $\Gamma (\theta ,\sigma )$ -closed beyond $\min (A)$ and that $\lambda $ is $\max \operatorname {\mathrm {pcf}}(A)$ . Let $\langle \mu _\alpha :\alpha <\operatorname {\mathrm {cf}}(\mu )\rangle $ be an increasing sequence cofinal in $\mu $ , and let $A_\alpha $ be $A\cap \mu _\alpha $ .

We implement the argument of Theorem 2.2.1 and make use of transitive generators. To do this, we assume (without loss of generality) that $|A|<\kappa =\operatorname {\mathrm {cf}}(\kappa )<\min (A)$ , and let N and $\bar {\mathfrak {b}}$ be as in Theorem 2.1.3 with N containing all objects under discussion in the preceding paragraph. By properties of $\bar {\mathfrak {b}}$ , in the model N there is a sequence of sets $C_\alpha $ for $\alpha <\operatorname {\mathrm {cf}}(\mu )$ such that:

• • $C_\alpha $ is a subset of $\mathrm { pcf}_{\sigma \mathrm {-com}}(A_\alpha )$ of cardinality less than $\sigma $ and

• • $A_\alpha \subseteq \bigcup _{\lambda \in C_\alpha } B_\lambda $ .

Since the sequence $\langle A_\alpha :\alpha <\operatorname {\mathrm {cf}}(\mu )\rangle $ is increasing, it follows that whenever X is an unbounded subset of $\operatorname {\mathrm {cf}}(\mu )$ we have

(3.2.9) $$ \begin{align} A\subseteq\bigcup_{\alpha\in X}\bigcup_{\lambda\in C_\alpha}B_\lambda, \end{align} $$

and so the transitivity arguments from the proof of Theorem 2.2.1 tells us

(3.2.10) $$ \begin{align} \lambda=\max\operatorname{\mathrm{pcf}}\left(\bigcup_{\alpha\in X}C_\alpha\right) \end{align} $$

and

(3.2.11) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\tau\mathrm{-com}}\left(\bigcup_{\alpha\in X}C_\alpha\right)\!. \end{align} $$

Since each $C_\alpha $ has cardinality less than $\sigma <\operatorname {\mathrm {cf}}(\mu )$ , we can (by passing to an unbounded subset of $\operatorname {\mathrm {cf}}(\mu )$ ) assume each $C_\alpha $ is of some fixed cardinality $\sigma ^*<\sigma $ , say

(3.2.12) $$ \begin{align} C_\alpha = \{\lambda^\alpha_\varsigma:\varsigma<\sigma^*\}, \end{align} $$

and we are done by letting C be the union of the sets $C_\alpha $ .

Note that we do not claim that the sets $C_\alpha $ are disjoint, and they may very well overlap. It is helpful to visualize C as an array of regular cardinals with $\operatorname {\mathrm {cf}}(\mu )$ rows and $\sigma ^*$ columns. In this interpretation, row $\alpha $ corresponds to $C_\alpha $ , and we get a corresponding column for each fixed $\varsigma <\sigma ^*$ .

The pcf structure of C transfers to the index set $\Lambda = \operatorname {\mathrm {cf}}(\mu )\times \sigma ^*$ in the natural way, and we may define an ideal J on $\Lambda $ by

(3.2.13) $$ \begin{align} \mathcal{X}\in J\Longleftrightarrow \max\operatorname{\mathrm{pcf}}\left(\{\lambda^\alpha_\varsigma:(\alpha,\varsigma)\in \mathcal{X}\}\right)<\lambda^*. \end{align} $$

With this point of view, we see that for $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ ,

(3.2.14) $$ \begin{align} \{(\alpha,\varsigma):\alpha\in X\text{ and }\varsigma<\sigma^*\}\in J\Longleftrightarrow X\text{ is bounded in }\operatorname{\mathrm{cf}}(\mu). \end{align} $$

Note as well that the $\tau $ -complete ideal generated by J is a proper ideal because of (3.2.11).

It is helpful to look back and compare our situation with the conclusion of Theorem 3.1.1. We have not managed to represent $\lambda $ as the true cofinality of a product of cardinals modulo the bounded ideal, but we have come close! What goes wrong is that the rows $C_\alpha $ in our array are not singletons, and instead all we know is that they all have a fixed cardinality $\sigma ^*$ less than $\sigma $ . What Shelah does in [Reference Shelah, Gabbay, Macintyre and Scott11] is note that if this cardinality happens to be finite, then we can improve the situation and get the ideal to consist of just the bounded sets:

Corollary 3.2.3 (Theorem 3.1.1, due to Shelah [Reference Shelah, Gabbay, Macintyre and Scott11])

Suppose $\aleph _0<\operatorname {\mathrm {cf}}(\mu )\leq \theta <\mu $ and $\mu $ is eventually $\Gamma (\theta ^+,\aleph _0)$ -closed, that is, for all sufficiently large $\nu <\mu $ ,

(3.2.15) $$ \begin{align} \operatorname{\mathrm{cf}}(\nu)\leq\theta\Longrightarrow \operatorname{\mathrm{pp}}_\theta(\nu)<\mu. \end{align} $$

Then any member of $\operatorname {\mathrm {PP}}_{\theta }(\mu )$ has a representation of the form $(C, J^{\operatorname {\mathrm {bd}}}[C])$ where C is unbounded in $\mu \cap \operatorname {\mathrm {\mathsf {Reg}}}$ of order-type $\operatorname {\mathrm {cf}}(\mu )$ and $J^{\operatorname {\mathrm {bd}}}[C]$ is the ideal of bounded subsets of C.

Proof Suppose $\lambda =\operatorname {\mathrm {tcf}}\prod A/ J$ where A is cofinal in $\mu $ of cardinality at most $\theta $ and J is an ideal on A extending the bounded ideal. We apply Lemma 3.2.2 to $\Gamma (\theta ^+,\aleph _0)$ and obtain $n<\omega $ and $C=\langle \lambda ^\alpha _i:i\leq n\rangle $ such that

• • $\sup \operatorname {\mathrm {pcf}}\{\lambda ^\beta _i:\beta <\alpha \text { and }i\leq n\}$ is less than $\mu $ for each $\alpha <\operatorname {\mathrm {cf}}(\mu )$ , and

• • $\lambda =\max \operatorname {\mathrm {pcf}}(\{\lambda ^\alpha _i:\alpha \in X\text { and }i\leq n\})$ for any unbounded $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ .

We now claim there is an $i\leq n$ and an unbounded $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ such that

(3.2.16) $$ \begin{align} \lambda=\max\operatorname{\mathrm{pcf}}\{\lambda^\alpha_i:\alpha\in Y\} \end{align} $$

for every unbounded $Y\subseteq X$ . This is enough, as letting $D=\{\lambda ^\alpha _i:i\in Y\}$ , it follows easily that the ideal $J_{<\lambda }[D]$ consists of the bounded ideal $J^{\operatorname {\mathrm {bd}}}[D]$ .

We establish this by contradiction: if there are no such i and X, then for every $i\leq n$ and every unbounded $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ there is an unbounded $Y\subseteq X$ such that

(3.2.17) $$ \begin{align} \max\operatorname{\mathrm{pcf}}\{\lambda^\alpha_i:\alpha\in Y\}<\lambda. \end{align} $$

Working by induction, we find a single unbounded $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ such that

(3.2.18) $$ \begin{align} (\forall i\leq n)\left(\max\operatorname{\mathrm{pcf}}\{\lambda^\alpha_i:\alpha\in X\}\right)<\lambda. \end{align} $$

But then

(3.2.19) $$ \begin{align} \max\operatorname{\mathrm{pcf}}\{\lambda^\alpha_i:\alpha\in X\text{ and }i\leq n\}<\lambda, \end{align} $$

as any ultrafilter on this set must contain one of the columns, and we have a contradiction.

We note that Shelah obtains even nicer representations in Chapter VIII of Cardinal Arithmetic, but the above observation is at the heart of his argument.

3.3 Better representations

Moving on to the more general situation, we can apply Lemma 3.2.2 to obtain the following improvement of Theorem 3.2.1.

Theorem 3.3.1. Suppose $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed for some regular $\sigma $ and $\theta $ with

(3.3.1) $$ \begin{align} \sigma<\operatorname{\mathrm{cf}}(\mu)<\theta<\mu, \end{align} $$

and $\tau <\upsilon $ are regular cardinals in the interval $[\sigma ,\operatorname {\mathrm {cf}}(\mu )]$ . If

(3.3.2) $$ \begin{align} \tau\leq\rho<\upsilon\Longrightarrow \operatorname{\mathrm{cov}}(\rho,\rho,\sigma,2)<\operatorname{\mathrm{cf}}(\mu), \end{align} $$

then

(3.3.3) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\tau)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\upsilon)}(\mu). \end{align} $$

Before presenting a proof of this theorem, we note that condition (3.3.2) holds if $\upsilon $ is less than $\tau ^{+\omega }$ , so at the very least, the theorem allows us to find representations that are “more complete,” while simultaneously ensuring that the size of the set involved is at most $\operatorname {\mathrm {cf}}(\mu )$ . In order to do this, we need to make the stronger assumption that $\sigma $ is strictly less than $\operatorname {\mathrm {cf}}(\mu )$ , and this is what allows us to achieve greater completeness in our representation.

Proof Suppose $\lambda $ is $\Gamma (\theta ,\tau )$ -representable at $\mu $ , and apply Lemma 3.2.2 to obtain a cardinal $\sigma ^*<\sigma $ and a set C of regular cardinals $\lambda ^\alpha _\varsigma $ (for $\alpha <\operatorname {\mathrm {cf}}(\mu )$ and $\varsigma <\sigma ^*$ ) as there. In particular, if X is any unbounded subset of $\operatorname {\mathrm {cf}}(\mu )$ , then

(3.3.4) $$ \begin{align} \lambda\in\mathrm{ pcf}_{\tau\mathrm{-com}}\{\lambda^\alpha_\varsigma:\alpha\in X\text{ and }\varsigma<\sigma^*\}. \end{align} $$

It suffices to prove that the $\upsilon $ -complete ideal on C generated by $J_{<\lambda ^*}[C]$ is proper.

Suppose by way of contradiction this is not the case. Then there is a least cardinal $\rho <\upsilon $ such that for some sequence of sets $\langle D_i:i<\rho \rangle $ and unbounded $X\subseteq \operatorname {\mathrm {cf}}(\mu )$ , we have:

• • $D_i\in J_{<\lambda ^*}[C]$ for each $i<\rho $ and

• • $\{\lambda ^\alpha _\varsigma :\alpha \in X\text { and }\varsigma <\sigma ^*\}\subseteq \bigcup _{i<\rho }D_i$ .

Clearly $\tau $ must be less than or equal to $\rho $ , and by shrinking C if necessary we may assume there are such sets $D_i$ for $i<\rho $ with

(3.3.5) $$ \begin{align} C\subseteq\bigcup_{i<\rho}D_i. \end{align} $$

Our assumptions tell us that $\operatorname {\mathrm {cov}}(\rho ,\rho ,\sigma , 2)$ is less than $\operatorname {\mathrm {cf}}(\mu )$ , so there is a family $\mathcal {P}$ such that:

• • $\mathcal {P}\subseteq [\rho ]^{<\rho }$ ,

• • $|\mathcal {P}|<\operatorname {\mathrm {cf}}(\mu )$ , and

• • $(\forall U\in [\rho ]^{<\sigma })(\exists V\in \mathcal {P})[U\subseteq V]$ .

For each $\alpha <\operatorname {\mathrm {cf}}(\mu )$ , there is a set $Y_\alpha \in [\rho ]^{<\sigma }$ such that

(3.3.6) $$ \begin{align} C_\alpha=\{\lambda^\alpha_\varsigma:\varsigma<\sigma^*\}\subseteq\bigcup_{i\in Y_\alpha} D_i, \end{align} $$

Since $|\mathcal {P}|<\operatorname {\mathrm {cf}}(\mu )$ , there is a single set $Y\in \mathcal {P}$ and an unbounded subset X of $\operatorname {\mathrm {cf}}(\mu )$ such that

(3.3.7) $$ \begin{align} \bigcup_{\alpha\in X}C_\alpha\subseteq\bigcup_{i\in Y} D_i. \end{align} $$

But now we have a contradiction, as we have shown that $\bigcup _{\alpha \in X}C_\alpha $ can be covered by $|Y|<\rho $ sets from $J_{<\lambda ^*}[C]$ .

Again, note that Theorem 3.2.1 can only tell us that $\operatorname {\mathrm {PP}}_{\Gamma (\theta ,\tau )}(\mu )=\operatorname {\mathrm {PP}}_{\Gamma (\tau )}(\mu )$ under the same assumptions as Theorem 3.3.1. The improvement we obtain here is that we find a representation using an $\upsilon $ -complete ideal on a set of size $\operatorname {\mathrm {cf}}(\mu )$ rather than simply a $\tau $ -complete one.

We close this section with the following corollary, which gives us a little information about the assumptions we make relating $\sigma $ , $\tau $ , and $\upsilon $ .

Corollary 3.3.2. Suppose $\mu $ is eventually $\Gamma (\sigma )$ -closed, where $\sigma <\operatorname {\mathrm {cf}}(\mu )$ . If $\tau <\upsilon $ are regular cardinals in the interval $[\sigma ,\operatorname {\mathrm {cf}}(\mu )]$ and

(3.3.8) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\upsilon)}(\mu)\subsetneqq \operatorname{\mathrm{PP}}_{\Gamma(\tau)}(\mu), \end{align} $$

then there is a singular cardinal $\rho $ of cofinality less than $\sigma $ such that

(3.3.9) $$ \begin{align} \tau<\rho<\upsilon\leq\operatorname{\mathrm{cf}}(\mu)<\operatorname{\mathrm{cov}}(\rho,\rho,\sigma, 2), \end{align} $$

hence

(3.3.10) $$ \begin{align} \tau<\rho<\upsilon\leq\operatorname{\mathrm{cf}}(\mu)<\operatorname{\mathrm{cf}}([\rho]^{<\sigma},\subseteq)\leq\rho^{<\sigma}. \end{align} $$

If we work with cardinals whose cofinality is $\aleph _n$ for some n, then the above situation cannot happen because there is no place for such a cardinal $\rho $ . Thus, the following is immediate.

Corollary 3.3.3. Suppose $\mu $ is singular with $\aleph _0<\operatorname {\mathrm {cf}}(\mu )<\aleph _\omega $ . If $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed for some $\sigma <\operatorname {\mathrm {cf}}(\mu )$ , then

(3.3.11) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\operatorname{\mathrm{cf}}(\mu))}(\mu). \end{align} $$

4.1 Introducing the dichotomy

In the preceding section we analyzed the behavior of $\operatorname {\mathrm {pp}}_{\Gamma (\theta ,\tau )}(\mu )$ where $\mu $ is a singular cardinal that is eventually $\Gamma (\theta ,\sigma )$ -closed and $\sigma \leq \tau \leq \operatorname {\mathrm {cf}}(\mu )$ . The analysis showed that if a cardinal is $\Gamma (\theta ,\tau )$ -representable at $\mu $ , then it is has a $\sigma $ -complete representation using the minimum possible size, $\operatorname {\mathrm {cf}}(\mu )$ , and the completeness of the representation can be increased if $\sigma $ is strictly less than $\tau $ . In this section, we will analyze what happens when $\mu $ is not eventually $\Gamma (\theta ,\sigma )$ -closed. We start with the following result which formulates a fundamental dichotomy about singular cardinals. This is not a new idea (in fact, the result we present is a relative of Fact 1.9 in [Reference Shelah, Gabbay, Macintyre and Scott11], and Shelah has made and used similar observations in other places. However, such dichotomies are extraordinarily useful for proving theorems in ZFC, as they allow one to analyze situations by breaking into cases where each option carries non-trivial information. We will refer to this result as the Pseudopower Dichotomy.

Proof It is clear that the two options are mutually exclusive as $\mu ^+$ is always $\Gamma (\theta ,\sigma )$ -representable at $\mu $ . Suppose that Option 1 fails for a cardinal $\mu $ . By definition, this means that for each $\xi <\mu $ there is a singular cardinal $\eta $ greater than $\xi $ such that

(4.1.3) $$ \begin{align} \sigma\leq\operatorname{\mathrm{cf}}(\eta)<\theta<\eta<\mu, \end{align} $$

and

(4.1.4) $$ \begin{align} \mu\leq \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\eta). \end{align} $$

By Inverse Monotonicity (Proposition 1.4.3), this implies

(4.1.5) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)\subseteq\operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\eta). \end{align} $$

Note as well that if $\eta $ is the LEAST such cardinal above $\xi $ , then $\eta $ is $\Gamma (\theta ,\sigma )$ -closed beyond $\xi $ . Thus, $\mu $ is a limit of eventually $\Gamma (\theta ,\sigma )$ -closed cardinals $\eta $ for which (4.1.3) is true, and for which

(4.1.6) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)\subseteq\operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\eta). \end{align} $$

Let $\mathcal {X}$ be the collection of such cardinals $\eta <\mu $ , and for each $\eta $ in $\mathcal {X}$ , we define

(4.1.7) $$ \begin{align} \mathcal{Y}_\eta = \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\eta)\setminus\mu^+. \end{align} $$

If $\eta $ is in $\mathcal {X}$ , then $\mathcal {Y}_\eta $ is an non-empty interval of regular cardinals with minimum $\mu ^+$ . Furthermore, if $\eta <\nu $ in $\mathcal {X}$ then by Inverse Monotonicity we have

(4.1.8) $$ \begin{align} \mu^+\leq\sup(\mathcal{Y}_\nu)=\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\nu)\leq \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\eta)=\sup(\mathcal{Y}_\eta). \end{align} $$

Thus, the sequence $\langle \mathcal {Y}_\eta :\eta \in \mathcal {X}\rangle $ must eventually stabilize, say with value $\mathcal {Y}$ .

If $\lambda \in \mathcal {Y}$ , then by an application of the continuity property of Proposition 1.4.4 we know $\lambda \in \operatorname {\mathrm {PP}}_{\Gamma (\theta ,\sigma )}(\mu )$ , and so for all sufficiently large $\eta \in \mathcal {X}$ , we have

(4.1.9) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\eta)\setminus\mu^+ = \mathcal{Y}\subseteq\operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu). \end{align} $$

Combining this with (4.1.6) establishes that Option 2 of the Pseudopower Dichotomy holds.

As a corollary, we have the following result which we will use later in the paper.

Corollary 4.1.2. Suppose $\mu $ is singular, while $\sigma <\theta $ are regular cardinals with $\sigma \leq \operatorname {\mathrm {cf}}(\mu )<\theta $ . If

(4.1.10) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu)<\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu), \end{align} $$

then $\mu $ is a limit of singular cardinals $\eta $ such that:

• • $\sigma \leq \operatorname {\mathrm {cf}}(\eta )<\theta <\eta <\mu $ ,

• • $\eta $ is eventually $\Gamma (\theta ,\sigma )$ -closed, and

• • $\operatorname {\mathrm {pp}}_{\Gamma (\theta ,\sigma )}(\mu )=\operatorname {\mathrm {pp}}_{\Gamma (\theta ,\sigma )}(\eta )$ .

4.2 More on improving representations

The proof of the Pseudopower Dichotomy provides a template for its applications. For example, suppose that a cardinal $\lambda $ is $\Gamma (\theta ,\sigma )$ -representable at $\mu $ and look at the Pseudopower Dichotomy. If Option 1 holds, then our work in the preceding section applies and we can get nice representations of $\lambda $ at $\mu $ . If, on the other hand, Option 2 holds sway, then we know instead that $\lambda $ has nice representations for many cardinals below $\mu $ , and we will be able to combine these representations (using the Continuity Property of pseudopowers from Proposition 1.4.4) to produce a nice representation of $\lambda $ at $\mu $ itself. The following definition will help us take advantage of these ideas.

This set might very well be empty, but note that the Pseudopower Dichotomy can be reformulated as the statement “either $\mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu )$ is unbounded in $\mu $ or it is not.” If $\mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu )$ is unbounded, then it will exert an influence over representations at $\mu $ through continuity. For example, we have the following observation which yields the same conclusion as Theorem 3.2.1.

Proposition 4.2.2. Suppose $\{\eta \in \mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu ): \operatorname {\mathrm {cf}}(\eta )\leq \operatorname {\mathrm {cf}}(\mu )\}$ is unbounded in $\mu $ . Then

(4.2.1) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\sigma)}(\mu). \end{align} $$

Proof Suppose $\lambda $ is $\Gamma (\theta ,\sigma )$ -representable at $\mu $ . Since Option 2 holds, we know that $\lambda $ is also $\Gamma (\theta ,\sigma )$ -representable at each $\eta \in \mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu )$ . Given such an $\eta $ , we can apply Theorem 3.2.1 to conclude $\lambda $ is also $\Gamma ((\operatorname {\mathrm {cf}}\eta )^+,\sigma ))$ -representable at $\eta $ . By the assumption of the lemma, we have

(4.2.2) $$ \begin{align} \mu = \sup\{\eta<\mu:\sigma\leq\operatorname{\mathrm{cf}}(\eta)<(\operatorname{\mathrm{cf}}(\mu))^+\text{ and }\lambda\in\operatorname{\mathrm{PP}}_{\Gamma((\operatorname{\mathrm{cf}}\mu)^+,\sigma)}(\eta)\}, \end{align} $$

and hence $\lambda $ is $\Gamma (\sigma )$ -representable at $\mu $ by way of Proposition 1.4.4.

The next result builds on this idea, and shows how assumptions on the structure of $\mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu )$ let us improve representations of cardinals in $\operatorname {\mathrm {PP}}_{\Gamma (\theta ,\sigma )}(\mu )$ .

Theorem 4.2.3. Suppose $\mu $ is singular, and $\sigma $ , $\tau $ , $\chi $ , and $\theta $ are regular cardinals satisfying

(4.2.3) $$ \begin{align} \sigma<\tau\leq\operatorname{\mathrm{cf}}(\mu)<\chi\leq\theta<\mu. \end{align} $$

If

(4.2.4) $$ \begin{align} \mu = \sup\{\eta\in\mathcal{X}_{\Gamma(\theta,\sigma)}(\mu): \sup\{\operatorname{\mathrm{cov}}(\rho,\rho,\sigma,2)^+:\sigma\leq\rho<\tau\}\leq\operatorname{\mathrm{cf}}(\eta)<\chi\}, \end{align} $$

then

(4.2.5) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\chi,\tau)}(\mu), \end{align} $$

hence

(4.2.6) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{pp}}_{\Gamma(\chi,\tau)}(\mu) \end{align} $$

5.1 Computing $\operatorname {\mathrm {PP}}_\theta (\mu )$

In this section, we put together pieces from our preceding work to obtain theorems in ZFC based on the Pseudopower Dichotomy. Our first result echoes Theorem 3.1.1, as tells us that $\operatorname {\mathrm {PP}}_\theta (\mu )$ can be computed from pseudopowers that involve the cofinality of $\mu $ in two different ways.

Since $\operatorname {\mathrm {PP}}(\mu )$ is defined as $\operatorname {\mathrm {PP}}_{\operatorname {\mathrm {cf}}(\mu )}(\mu )$ , it is clear that

(5.1.1) $$ \begin{align} \operatorname{\mathrm{PP}}(\mu)\cup \operatorname{\mathrm{PP}}_{\Gamma(\theta^+,\operatorname{\mathrm{cf}}(\mu))}\subseteq\operatorname{\mathrm{PP}}_{\theta}(\mu). \end{align} $$

The first theorem in this section shows that the two sides of (5.1.1) are actually equal.

Theorem 5.1.1. Suppose $\mu $ is singular, and $\operatorname {\mathrm {cf}}(\theta )\leq \theta <\mu $ . Then

(5.1.2) $$ \begin{align} \operatorname{\mathrm{PP}}_\theta(\mu) = \operatorname{\mathrm{PP}}(\mu)\cup \operatorname{\mathrm{PP}}_{\Gamma(\theta,\operatorname{\mathrm{cf}}(\mu))}(\mu); \end{align} $$

hence

(5.1.3) $$ \begin{align} \operatorname{\mathrm{pp}}_\theta(\mu)=\operatorname{\mathrm{pp}}(\mu)+\operatorname{\mathrm{pp}}_{\Gamma(\theta^+,\operatorname{\mathrm{cf}}(\mu))}(\mu). \end{align} $$

We make a couple of comments before presenting the proof. First, note that the above theorem shows us that if $\lambda $ has a representation at $\mu $ using a set of size $\theta $ , then $\lambda $ can be represented at $\mu $ using either a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ (the minimum possible size) or a $\operatorname {\mathrm {cf}}(\mu )$ -complete ideal (the maximum possible). These options are not mutually exclusive (for example, both hold simultaneously for $\mu ^+$ ), but the power of the theorem is in the statement that at least of these two things must occur.

Our second comment is to note that because $\operatorname {\mathrm {PP}}(\mu )$ and $\operatorname {\mathrm {PP}}_{\Gamma (\theta ,\operatorname {\mathrm {cf}}(\mu ))}(\mu )$ are both intervals of regular cardinals, the equation (5.1.2) implies that $\operatorname {\mathrm {PP}}_\theta (\mu )$ must in fact be equal to one of these two sets.

Proof of Theorem 5.1.1

We may assume that $\mu $ has uncountable cofinality, as otherwise (5.1.2) holds automatically. We apply the pseudopower dichotomy to $\Gamma (\theta ^+,\aleph _0)$ . If $\mu $ is eventually $\Gamma (\theta ^+,\aleph _0)$ -closed, then Corollary 3.2.3 gives us more than we need because any $\lambda $ in $\operatorname {\mathrm {PP}}_\theta (\mu )$ can be represented using the bounded ideal on a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ cofinal in $\mu \cap \operatorname {\mathrm {\mathsf {Reg}}}$ . It follows that in this situation, all three of the sets from (5.1.2) are equal, and

(5.1.4) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta^+,\aleph_0)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\operatorname{\mathrm{cf}}(\mu))}(\mu)\subseteq\operatorname{\mathrm{PP}}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\theta^+,\operatorname{\mathrm{cf}}(\mu))}(\mu), \end{align} $$

which is more than we require.

Thus, we may assume that Option 2 of the Pseudopower Dichotomy is in force and the corresponding set $\mathcal {X}_{\Gamma (\theta ^+,\aleph _0)}$ is unbounded in $\mu $ . Abbreviating this set as “ $\mathcal {X}$ ,” we split into two cases.

If the set of $\eta \in \mathcal {X}$ with $\operatorname {\mathrm {cf}}(\eta )\leq \operatorname {\mathrm {cf}}(\mu )$ is unbounded in $\mu $ , then Proposition 4.2.2 tells us

(5.1.5) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta^+,\aleph_0)}(\mu)=\operatorname{\mathrm{PP}}(\mu), \end{align} $$

and (5.1.2) is immediate.

If $\{\eta \in \mathcal {X}: \operatorname {\mathrm {cf}}(\eta )>\operatorname {\mathrm {cf}}(\mu )\}$ is unbounded in $\mu $ , then we apply Theorem 4.2.3 with $\chi = \theta ^+$ , $\upsilon =\operatorname {\mathrm {cf}}(\mu )$ , and $\sigma $ and $\tau $ both equal to $\aleph _0$ to conclude

(5.1.6) $$ \begin{align} \operatorname{\mathrm{PP}}_\theta(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\theta^+,\operatorname{\mathrm{cf}}(\mu))}(\mu), \end{align} $$

which establishes (5.1.2). Note that Theorem 4.2.3 does apply here: since $\sigma =\aleph _0$ , we know $\operatorname {\mathrm {cov}}(\rho ,\rho ,\sigma , 2) = \rho $ for any $\rho <\operatorname {\mathrm {cf}}(\mu )$ .

Clearly at least one of these cases must happen, and therefore (5.1.2) holds under Option 2 of the Pseudopower Dichotomy, finishing the proof.

Reformulating the preceding result in less technical language, we have shows that given a singular cardinal $\mu $ , if a cardinal $\lambda $ is representable at $\mu $ using a set of cardinality at most $\theta <\mu $ , then either $\lambda $ is representable at $\mu $ using a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ , or $\lambda $ can be represented at $\mu $ using a $\operatorname {\mathrm {cf}}(\mu )$ -complete ideal on a set of cardinality at most $\theta $ .

5.2 Computing $\operatorname {\mathrm {PP}}_{\Gamma (\theta ,\sigma )}(\mu )$

The next theorem examines the more general situation where $\sigma $ may be uncountable. The conclusion is weaker than that of Theorem 5.1.1, but the fact that $\sigma $ is uncountable will allow us to transfer the result into a corresponding statement about covering numbers.

Theorem 5.2.1. Suppose $\mu $ is singular, and let $\sigma $ and $\theta $ be regular cardinals with $\sigma <\operatorname {\mathrm {cf}}(\mu )<\theta <\mu $ . Then

(5.2.1) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)= \operatorname{\mathrm{PP}}_{\Gamma(\sigma)}(\mu)\cup \operatorname{\mathrm{PP}}_{\Gamma(\theta,\tau)}(\mu) \end{align} $$

for any regular $\tau \in (\sigma ,\operatorname {\mathrm {cf}}(\mu ))$ such that

(5.2.2) $$ \begin{align} \sigma\leq\rho<\tau\Longrightarrow \operatorname{\mathrm{cov}}(\rho,\rho,\sigma, 2)<\operatorname{\mathrm{cf}}(\mu). \end{align} $$

In particular, for such $\tau $ we have

(5.2.3) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu) + \operatorname{\mathrm{pp}}_{\Gamma(\theta,\tau)}(\mu). \end{align} $$

Proof The proof mirrors that of Theorem 5.1.1. If $\mu $ is eventually $\Gamma (\theta ,\sigma )$ -closed, then all three sets mentioned in (5.2.1) are equal, and the result follows. Thus, we may assume that Option 2 of the Pseudopower Dichotomy is in force, and the set $\mathcal {X}=\mathcal {X}_{\Gamma (\theta ,\sigma )}(\mu )$ from Definition 4.2.1 is unbounded in $\mu $ . We break into cases just as in Theorem 5.1.1. If the set of $\eta $ in $\mathcal {X}$ with $\operatorname {\mathrm {cf}}(\eta )\leq \operatorname {\mathrm {cf}}(\mu )$ is unbounded, then

(5.2.4) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\sigma)}(\mu) \end{align} $$

by way of Proposition 4.2.2.

If the set of $\eta \in \mathcal {X}$ with $\operatorname {\mathrm {cf}}(\mu )<\operatorname {\mathrm {cf}}(\eta )$ is unbounded in $\mu $ , then by Theorem 4.2.3 we will have

(5.2.5) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\theta,\tau)}(\mu). \end{align} $$

Since at least one of these two things must occur under Option 2, the result follows.

Note that condition (5.2.2) holds if $\sigma \leq \tau <\sigma ^{+\omega }$ , so we are able to conclude the following:

Corollary 5.2.2. Suppose $\mu $ is singular, and $\sigma $ and $\theta $ are regular cardinals such that

$$ \begin{align*}\sigma^{+n}\leq\operatorname{\mathrm{cf}}(\mu)<\theta<\mu.\end{align*} $$

Then

(5.2.6) $$ \begin{align} \operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{PP}}_{\Gamma(\sigma)}(\mu)\cup\operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma^{+n})}(\mu), \end{align} $$

and thus

(5.2.7) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu) = \operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu) + \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma^{+n})}(\mu). \end{align} $$

In particular, if $\sigma <\operatorname {\mathrm {cf}}(\mu )$ , then

(5.2.8) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu) + \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma^+)}(\mu). \end{align} $$

This is similar in spirit to results we saw earlier: if we know a cardinal is $\Gamma (\theta ,\sigma )$ -representable at $\mu $ with $\sigma <\operatorname {\mathrm {cf}}(\mu )$ , then either it is representable using a $\sigma $ -complete ideal on a set of cardinality $\operatorname {\mathrm {cf}}(\mu )$ (so the size is as small as possible), or it is representable on a set of cardinality less than $\theta $ , but using a $\sigma ^+$ -complete ideal (so we are able to find a representation with greater completeness). The equation (5.2.8) will be important in the next section, in which we use work of Gitik to show that both terms appearing on the right-hand side of the equality are needed.

5.3 A theorem of Gitik and Shelah

For our final application, we show that the pseudopower dichotomy underlies a result of Gitik and Shelah (Theorem 1.5 of [Reference Gitik and Shelah6]) on cardinal arithmetic. They phrase their result in terms of covering numbers of the form $\operatorname {\mathrm {cov}}(\mu ,\kappa ,\theta ,\aleph _1)$ , but their proof is basically as given below.

Theorem 5.3.1 (Gitik–Shelah [Reference Gitik and Shelah6])

Suppose $\sigma \leq \operatorname {\mathrm {cf}}(\mu )<\mu $ . Then

(5.3.1) $$ \begin{align} \{\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu):\operatorname{\mathrm{cf}}(\mu)<\theta=\operatorname{\mathrm{cf}}(\theta)<\mu\}\text{ is finite.} \end{align} $$

As noted by Gitik and Shelah, this result can be viewed as “non-GCH analog” of a theorem of Hajnal and Shelah that $\{\mu ^\theta : 2^\theta <\mu \}$ is finite.Footnote ⁵

Proof Suppose this fails for $\mu $ , and choose an increasing sequence $\langle \theta _n:n<\omega \rangle $ such that for each $n<\omega $ ,

(5.3.2) $$ \begin{align} \operatorname{\mathrm{cf}}(\mu)<\theta_n=\operatorname{\mathrm{cf}}(\theta_n)<\mu, \end{align} $$

and

(5.3.3) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta_n,\sigma)}(\mu)<\operatorname{\mathrm{pp}}_{\Gamma(\theta_{n+1},\sigma)}(\mu). \end{align} $$

Since

(5.3.4) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu)\leq\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu) \end{align} $$

for any regular $\theta $ in the interval $(\operatorname {\mathrm {cf}}(\mu ),\mu )$ , we can assume that

(5.3.5) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu)<\operatorname{\mathrm{pp}}_{\Gamma(\theta_n,\sigma)}(\mu) \end{align} $$

as well. By Corollary 4.1.2, we know for each $n<\omega $ that $\mu $ is a limit of eventually $\Gamma (\theta _n,\sigma )$ -closed cardinals $\eta $ with

(5.3.6) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta_n, \sigma)}(\eta)=\operatorname{\mathrm{pp}}_{\Gamma(\theta_n, \sigma)}(\mu). \end{align} $$

For each n, let $\eta _n$ be the least such cardinal. The sequence $\langle \eta _n:n<\omega \rangle $ is non-increasing, hence eventually constant, say with value $\eta $ . This particular $\eta $ will be eventually $\Gamma (\theta _n,\sigma )$ -closed for each $n<\omega $ , and hence

(5.3.7) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta_n, \sigma)}(\eta) = \operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\eta) \end{align} $$

by Theorem 3.2.1. But then for any n, we have

(5.3.8) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta_n,\sigma)}(\mu) = \operatorname{\mathrm{pp}}_{\Gamma(\theta_n,\sigma)}(\eta)=\operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\eta)=\operatorname{\mathrm{pp}}_{\Gamma(\theta_{n+1},\sigma)}(\eta)=\operatorname{\mathrm{pp}}_{\Gamma(\theta_n,\sigma)}(\mu), \end{align} $$

which contradicts our choice of the sequence $\langle \theta _n:n<\omega \rangle $ .

This result will reappear in the final section of our paper, when we formulate some natural open questions.

6.1 Gitik’s theorem

This short section will focus on obtaining independence results complementary to the theorems we established in the previous section. Specifically, we will examine the formula

(6.1.1) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu)+\operatorname{\mathrm{pp}}_{\Gamma({\theta,\sigma^+})}(\mu) \end{align} $$

established in Corollary 5.2.2. We rely almost completely on recently published work of Gitik [Reference Gitik5]. Since we do not have the expertise to discuss his proof in detail, our approach will be to quote his results liberally. We start with his main theorem:

The final section of his paper (Section 8) is the part most relevant for us, as he examines the cardinal arithmetic structure of his model in some detail. We will follow his notation, and point out what need.

6.2 Computations

We assume that $\delta $ and $\eta $ are regular cardinals with $\aleph _2\leq \delta $ and $\delta ^+<\eta $ , and we work in the generic extension $V[G]$ from Theorem 6.1.1. In $V[G]$ , the cardinals $\kappa _\alpha $ for $\alpha <\eta $ will all have cofinality $\delta $ , and each satisfies $\operatorname {\mathrm {pp}}(\kappa _\alpha )\geq \lambda $ . We need a little more: as Gitik notes prior to his Proposition 8.11, in fact we have the stronger result that

(6.2.1) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta)}(\kappa_\alpha)\geq\lambda \end{align} $$

as all of the ideals involved in the computation are $\delta $ -complete.

For each $\alpha <\eta $ , we let

(6.2.2) $$ \begin{align} \bar{\kappa}_\alpha = \sup\{\kappa_\beta:\beta<\alpha\}. \end{align} $$

In $V[G]$ , if $\alpha <\eta $ is a limit ordinal, then $\bar {\kappa }_\alpha $ is singular with cofinality less than $\eta $ . Our choices of $\delta $ and $\eta $ guarantee that there are limit ordinals $\alpha <\eta $ with $\operatorname {\mathrm {cf}}(\alpha )$ greater than $\delta $ , and others of cofinality less than $\delta $ but greater than $\omega _1$ . The corresponding $\bar {\kappa }_\alpha $ for these two sorts of $\alpha $ are the places of interest to us, and we analyze each situation separately. Again, relying on Gitik’s work we have:

Proof For (1), suppose $\alpha <\eta $ is a limit ordinal of cofinality less than $\delta $ . We know that $\{\kappa _\beta :\beta <\alpha \}$ is cofinal in $\bar {\kappa }_{\alpha }$ , and each $\kappa _\beta $ is singular of cofinality $\delta $ with

(6.2.5) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta)}(\kappa_\beta)\geq\lambda; \end{align} $$

hence

(6.2.6) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta^+,\operatorname{\mathrm{cf}}(\alpha))}(\kappa_\beta)\geq\lambda. \end{align} $$

An application of Continuity tells us

(6.2.7) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta^+,\operatorname{\mathrm{cf}}(\alpha))}(\bar{\kappa}_\alpha)\geq\lambda \end{align} $$

as well. On the other hand, Gitik’s Proposition 8.6 tells us

(6.2.8) $$ \begin{align} \operatorname{\mathrm{pp}}(\bar{\kappa}_\alpha)=\kappa_\alpha, \end{align} $$

and so

(6.2.9) $$ \begin{align} \operatorname{\mathrm{pp}}(\bar{\kappa}_\alpha)=\kappa_\alpha<\lambda\leq\operatorname{\mathrm{pp}}_{\Gamma(\delta^+,\operatorname{\mathrm{cf}}(\alpha))}(\bar{\kappa}_\alpha) \end{align} $$

as required.

For (2), suppose $\alpha <\eta $ is a limit ordinal of cofinality greater than $\delta $ . Again, the set $\{\kappa _\beta :\beta <\alpha \}$ is unbounded in $\bar {\kappa }_\alpha $ , and so an application of continuity tells us

(6.2.10) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta)}(\bar{\kappa}_\alpha)\geq\lambda. \end{align} $$

On the other hand, Gitik’s Proposition 8.11 tells us

(6.2.11) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\delta^+)}(\bar{\kappa}_\alpha)\leq\kappa_\alpha, \end{align} $$

and (6.2.4) follows immediately.

7.1 Back to the beginning

We now look at what Theorem 5.2.1 and its relatives tell us about covering numbers at singular cardinals. Once again, we assume that $\sigma $ and $\theta $ are infinite regular cardinals, while $\mu $ is a singular cardinal satisfying

(7.1.1) $$ \begin{align} \sigma\leq\operatorname{\mathrm{cf}}(\mu)<\theta<\mu. \end{align} $$

Recall that the covering number $\operatorname {\mathrm {cov}}(\mu ,\mu ,\theta ,\sigma )$ is defined to be the minimum cardinality of a subset $\mathcal {P}$ of $[\mu ]^{<\mu }$ that $\sigma $ -covers $[\mu ]^{<\theta }$ , that is, such that for every $X\in [\mu ]^{<\theta }$ there is a subset $\mathcal {Y}$ of $\mathcal {P}$ of cardinality less than $\sigma $ with

(7.1.2) $$ \begin{align} X\subseteq\bigcup\mathcal{Y}. \end{align} $$

Recall as well that the cov vs. pp Theorem of Shelah (Theorem 1.5.1 mentioned in our introduction) tells us that if $\sigma $ is uncountable, then

(7.1.3) $$ \begin{align} \operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma)=\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu). \end{align} $$

Given this, the following theorem is a straightforward translation of Theorem 5.2.1 into the language of covering numbers.

Theorem 7.1.1. Suppose $\mu $ is a singular cardinal, and let $\sigma $ and $\theta $ be regular cardinals such that

(7.1.4) $$ \begin{align} \aleph_0<\sigma<\operatorname{\mathrm{cf}}(\mu)<\theta. \end{align} $$

Then

(7.1.5) $$ \begin{align} \operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma)=\operatorname{\mathrm{cov}}(\mu,\mu,(\operatorname{\mathrm{cf}}\mu)^+,\sigma)+\operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma^+). \end{align} $$

Proof By (5.2.8), we know

(7.1.6) $$ \begin{align} \operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu)=\operatorname{\mathrm{pp}}_{\Gamma(\sigma)}(\mu)+\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma^+)}(\mu). \end{align} $$

Because $\sigma $ is uncountable, we invoke Theorem 1.5.1 and convert the pseudopowers into covering numbers, yielding

(7.1.7) $$ \begin{align} \operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma)=\operatorname{\mathrm{cov}}(\mu,\mu,(\operatorname{\mathrm{cf}}\mu)^+,\sigma)+\operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma^+) \end{align} $$

as required.

Similarly, based on Corollary 5.2.2, we have the following:

Corollary 7.1.2. Suppose $\mu $ is a singular cardinal, and $\sigma <\theta $ are regular cardinals such that

(7.1.8) $$ \begin{align} \aleph_0<\sigma\leq\operatorname{\mathrm{cf}}(\mu)<\min(\sigma^{+\omega},\theta)\leq\theta<\mu, \end{align} $$

Then

(7.1.9) $$ \begin{align} \operatorname{\mathrm{cov}}(\mu,\mu,\theta,\sigma)=\operatorname{\mathrm{cov}}(\mu,\mu,(\operatorname{\mathrm{cf}}\mu)^+,\sigma)+\operatorname{\mathrm{cov}}(\mu,\mu,\theta,\operatorname{\mathrm{cf}}(\mu)). \end{align} $$

In particular, if $\mu $ is singular of cofinality $\aleph _6$ , and we set $\theta =\aleph _9$ and $\sigma =\aleph _2$ , then Corollary 7.1.2 tells us

(7.1.10) $$ \begin{align} \operatorname{\mathrm{cov}}(\mu,\mu,\aleph_9,\aleph_2) = \operatorname{\mathrm{cov}}(\mu,\mu,\aleph_7, \aleph_2) + \operatorname{\mathrm{cov}}(\mu,\mu,\aleph_9,\aleph_6). \end{align} $$

and we finally arrive at (1.1.1) from the introduction. What important for this choice of parameters is

(7.1.11) $$ \begin{align} \sigma\leq\operatorname{\mathrm{cf}}(\mu)<\sigma^{+\omega}, \end{align} $$

7.2 What does it mean?

The above formula (7.1.10) hides a trichotomy about the ways in which certain elementary submodels interact with subsets of $\mu $ . To see why, let $\chi $ be a sufficiently large regular cardinal, and suppose M is an elementary submodel of $H(\chi )$ containing $\mu $ and such that

(7.2.1) $$ \begin{align} |M|+1\subseteq M. \end{align} $$

If we let $\mathcal {P}$ be $M\cap [\mu ]^{<\mu }$ , then EXACTLY one of the following three things MUST occur:

1. (1) Some $X\in [\mu ]^{\aleph _6}$ cannot be covered by a union of $\aleph _1$ sets from $\mathcal {P}$ .

2. (2) Every $X\in [\mu ]^{\aleph _8}$ can be covered by a union of $\aleph _1$ sets from $\mathcal {P}$ .

3. (3) Every $X\in [\mu ]^{\aleph _6}$ is covered by a union of $\aleph _1$ sets from $\mathcal {P}$ , but some $Y\in [\mu ]^{\aleph _8}$ cannot be covered by a union of $\aleph _5$ sets from $\mathcal {P}$ .

The above is quite easy: if we let $\kappa $ be the cardinality of M, then (7.1.10) tells us that exactly one of the following must be true:

1. (1)^′ $\kappa <\operatorname {\mathrm {cov}}(\mu ,\mu ,\aleph _7, \aleph _2)$ , or

2. (2)^′ $\operatorname {\mathrm {cov}}(\mu ,\mu ,\aleph _9, \aleph _2)\leq \kappa $ , or

3. (3)^′ $\operatorname {\mathrm {cov}}(\mu ,\mu ,\aleph _7,\aleph _2)\leq \kappa <\operatorname {\mathrm {cov}}(\mu ,\mu ,\aleph _9, \aleph _6).$

The rest follows easily.

More generally, we can consider this view of our conclusion (7.1.5). Given a model M as above, if every member of $[\mu ]^{\operatorname {\mathrm {cf}}(\mu )}$ can be covered by a union of fewer than $\sigma $ sets from $M\cap [\mu ]^{<\mu }$ , and every member of $[\mu ]^{<\theta }$ can be covered by a union of at most $\sigma $ sets from $M\cap [\mu ]^{<\mu }$ , then in fact every member of $[\mu ]^{<\theta }$ can be covered by fewer than $\sigma $ sets from $M\cap [\mu ]^{<\mu }$ .

7.3 The role of pseudopowers

Looking back at the discussion ending the previous section, the conclusions speaks about elementary submodels and the combinatorics of $[\mu ]^{<\mu }$ without any reference at all to the pseudopowers that were used in the proofs. The fact that we are forced to use pseudopowers and then rely on the cov vs. pp theorem means that any conclusions on covering numbers are currently limited to situations where the last argument $\sigma $ is uncountable. Thus, eliminating the reliance on pseudopowers might unlock a more general theorem:

It is possible that an argument like Shelah’s original proof of the cov vs. pp theorem (pages 87–93 of [Reference Shelah12]) may work under these circumstances.

7.4 Gitik–Shelah revisited

Look back at Theorem 5.3.1. This tells us that for a singular cardinal $\mu $ , if we fix a regular cardinal $\sigma \leq \operatorname {\mathrm {cf}}(\mu )$ then as $\theta $ ranges over the interval $(\operatorname {\mathrm {cf}}(\mu ),\mu )\cap \operatorname {\mathrm {\mathsf {Reg}}}$ there are only finitely many distinct pseudopowers $\operatorname {\mathrm {pp}}_{\Gamma (\theta ,\sigma )}(\mu )$ achieved. If we instead fix $\theta \in (\operatorname {\mathrm {cf}}(\mu ),\mu )\cap \operatorname {\mathrm {\mathsf {Reg}}}$ and let $\sigma $ range over the regular cardinals in $[\aleph _0,\operatorname {\mathrm {cf}}(\mu )]$ , then we achieve only finitely many distinct values for different reasons: as $\sigma $ increases, the corresponding sequence of pseudopowers is non-increasing. Thus, it is natural to ask if there is something deeper going on.

Question 2. Suppose $\mu $ is a singular cardinal.

(7.4.1) $$ \begin{align} \text{ Is }\{\operatorname{\mathrm{pp}}_{\Gamma(\theta,\sigma)}(\mu):\sigma=\operatorname{\mathrm{cf}}(\sigma)\leq\operatorname{\mathrm{cf}}(\mu)<\theta=\operatorname{\mathrm{cf}}(\theta)<\mu\}\text{ finite?} \end{align} $$

Note that this is true for $\mu $ satisfying $\operatorname {\mathrm {cf}}(\mu )<\aleph _\omega $ , so the first interesting case occurs when $\mu $ is singular of cofinality $\aleph _{\omega +1}$ . For a more specific question that may shed light, suppose $\mu $ is singular of cofinality $\aleph _{\omega +1}$ , and we have a cardinal $\lambda $ that is $\Gamma (\aleph _n)$ -representable at $\mu $ for all $n<\omega $ . Is $\lambda $ also $\Gamma (\aleph _{\omega +1})$ -representable at $\mu $ ?

7.5 A conjecture

Finally, we ask if the behavior we observed for singular cardinals with cofinality less than $\aleph _\omega $ holds in general.

Question 3. Suppose $\mu $ is singular, and $\sigma <\theta $ are regular cardinals with $\sigma \leq \operatorname {\mathrm {cf}}(\mu )<\theta <\mu $ .

(7.5.1) $$ \begin{align} \text{ Is }\operatorname{\mathrm{PP}}_{\Gamma(\theta,\sigma)}(\mu) = \operatorname{\mathrm{PP}}_{\Gamma((\operatorname{\mathrm{cf}}\mu)^+,\sigma)}(\mu)\cup\operatorname{\mathrm{PP}}_{\Gamma(\theta,\operatorname{\mathrm{cf}}(\mu))}(\mu)\text{?} \end{align} $$

Note that a positive answer to this question also implies a positive answer to Question 2, as both

(7.5.2) $$ \begin{align} \left\{\operatorname{\mathrm{pp}}_{\Gamma((\operatorname{\mathrm{cf}}(\mu))^+,\sigma)}:\sigma\in [\aleph_0,\operatorname{\mathrm{cf}}(\mu)]\cap\operatorname{\mathrm{\mathsf{Reg}}}\right\} \end{align} $$

and

(7.5.3) $$ \begin{align} \left\{\operatorname{\mathrm{pp}}_{\Gamma(\theta,\operatorname{\mathrm{cf}}(\mu))}(\mu):\theta\in(\operatorname{\mathrm{cf}}(\mu),\mu)\cap\operatorname{\mathrm{\mathsf{Reg}}}\right\} \end{align} $$

are finite. We conjecture that the answer to Question 3 is positive.