Inclusion modulo nonstationary

TL;DR

This paper extends classical universality results to higher cardinals, showing that under GCH, for any analytic quasi-order, there exists a Lipschitz reduction to a structure defined on $oldsymbol{ ext{kappa}^ ext{kappa}}$ with a stationary subset, in a suitable forcing extension.

Contribution

It proves a consistency result that generalizes Hechler's theorem to higher uncountable cardinals and stationary subsets, establishing universality of $oldsymbol{ ext{kappa}^ ext{kappa}}$ structures.

Findings

Universality of higher analogues $oldsymbol{ ext{kappa}^ ext{kappa}}$ established under GCH.

Existence of Lipschitz reductions for all analytic quasi-orders over $oldsymbol{ ext{kappa}^ ext{kappa}}$.

Consistency result holds in cofinality-preserving GCH-preserving forcing extensions.

Abstract

A classical theorem of Hechler asserts that the structure $\left(\omega^\omega,\le^*\right)$ is universal in the sense that for any $\sigma$-directed poset P with no maximal element, there is a ccc forcing extension in which $\left(\omega^\omega,\le^*\right)$ contains a cofinal order-isomorphic copy of P. In this paper, we prove a consistency result concerning the universality of the higher analogue $\left(\kappa^\kappa,\le^S\right)$: Theorem. Assume GCH. For every regular uncountable cardinal $\kappa$, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order Q over $\kappa^\kappa$ and every stationary subset S of $\kappa$, there is a Lipschitz map reducing Q to $(\kappa^\kappa,\le^S)$.

Equations

$$\eta {\le }^{\ast }\xi \text{ iff }\{n\in \mathbb{N}|\eta (n)>\xi (n)\}\text{ is finite}.$$

$$\eta {\le }^S\xi \text{ iff }\{\alpha \in S|\eta (\alpha )>\xi (\alpha )\}\text{ is nonstationary}.$$

$$\eta R_1\xi \text{ iff }f(\eta )R_{2}f(\xi ).$$

$$\Delta (\eta ,\xi )\le \Delta (f(\eta ),f(\xi )).$$

$$⟨\alpha ,\in ,(A_n{)}_{n\in \omega }⟩{\models }_N\varphi$$

$$⟨\alpha ,\in ,(A_n{)}_{n\in \omega }⟩{\models }_{H_{{\alpha }^{+}}}\varphi .$$

$$⟨B_{\beta },\in ,\vec{M}\upharpoonright (B_{\beta }\cap \mathrm{OR}),(F_n\cap (B_{\beta }{)}^{k_n}{)}_{n\in \omega }⟩;$$

$$\mathrm{clps}(⟨B_{\beta },\in ,⟨B_{\delta }|\delta \in B_{\beta }\cap \mathrm{OR}⟩⟩)=⟨M_{\bar{\beta }},\in ,\vec{M}\upharpoonright \bar{\beta }⟩;$$

$${\mathfrak{B}}_{\theta +1}\prec ⟨H_{{\kappa }^{+}},\in ,\vec{M},F_0⟩\models \exists y(\forall \alpha \forall \delta (F_0(\alpha ,\delta )\leftrightarrow (\alpha ,\delta )\in y)),$$

$$T:=\{\alpha \in \kappa \cap \mathrm{cof}(>\omega )|S^{\prime }\cap \alpha \text{ is stationary in }\alpha \}.$$

$$\mathrm{cf}(\alpha )=\mathrm{otp}(Z_{\alpha })=\mathrm{otp}(Z\cap \alpha )\ge \mathrm{otp}(Z\cap S^{\prime }\cap \alpha )=\alpha >\omega ,$$

$${\vec{\mathcal{F}}}_{X,\alpha }:=⟨(X\cap {\alpha }^m,m),(a\cap \alpha ,1),(S\cap \alpha ,1),(\vec{Z}\upharpoonright \alpha ,2)⟩.$$

$$D:=\{\alpha \in S|S_{\alpha }\ne \varnothing \&S_{\alpha }\text{ has no largest element}\}.$$

$$\alpha =\bigcup _{\beta \in (C\cap \alpha )}\beta =\bigcup _{\beta \in (C\cap \alpha )}(B_{\beta }\cap \kappa )=\bigcup _{\beta <\alpha }(B_{\beta }\cap \kappa )=B_{\alpha }\cap \kappa .$$

$$B_{\alpha }\cap \kappa =\bigcup _{n<\omega }(B_{{\alpha }_n}\cap \kappa )\le \bigcup _{n<\omega }{\alpha }_{n+1}\le \bigcup _{n<\omega }(B_{{\alpha }_{n+2}}\cap \kappa )=\alpha ,$$

$$⟨M_{\delta },\in ⟩\models \forall Z\subseteq \kappa \exists E\text{ club in }\kappa (\forall \gamma \in E\cap S\to Z\cap \gamma \ne Z_{\gamma }),$$

$$⟨M_{\beta (\alpha )},\in ⟩\models \forall Z\subseteq \alpha \exists E\text{ club in }\alpha (\forall \gamma \in E\cap S\to Z\cap \gamma \ne Z_{\gamma }).$$

$$⟨M_{\beta (\alpha )},\in ⟩\models (E\text{ is a club in }\alpha )\wedge (\forall \gamma \in E\cap S\to Z_{\alpha }\cap \gamma \ne Z_{\gamma }).$$

$$⟨M_{\delta },\in ⟩\models (E^{\ast }\text{ is a club in }\kappa )\wedge (\forall \gamma \in E^{\ast }\cap S\to Z^{\ast }\cap \gamma \ne Z_{\gamma }).$$

$$⟨B_{\alpha },\in ,Y\cap B_{\alpha }⟩\prec ⟨M_{{\kappa }^{+}},\in ,Y⟩\models \exists y\forall z((z\in y)\leftrightarrow (z\in \kappa \wedge Y(z))),$$

$$⟨\alpha ,\in ,(A_n\cap ({\alpha }^{m({\mathbb{A}}_n)}){)}_{n\in \omega }⟩{\models }_{N_{\alpha }}\varphi .$$

$$⟨\kappa ,\in ,A_0⟩{\models }_{M_{{\kappa }^{+}}}\forall X\exists Y\phi .$$

$${\star }_1$$

$${\star }_2$$

$$⟨M_{{\delta }_{n+1}},\in ,\vec{M}\upharpoonright {\delta }_{n+1}⟩\models ‘‘\overrightarrow{{\mathfrak{B}}_n}\text{ is the }{<}_{\Theta }\text{-least such witness}".$$

$${\alpha }^{\prime }:=\min (({\bigcap }_{n\in \omega }{C}_n)\cap S).$$

$$⟨M_{{\delta }_n},\in ,\vec{M}\upharpoonright {\delta }_n⟩\models \gamma \text{ is the least ordinal with }\{\vec{Z},A_0,S\}\subseteq M_{\gamma },$$

$$⟨M_{{\beta }_n},\in ,\vec{M}\upharpoonright {\beta }_n⟩\models j_n^{-1}(\gamma )\text{ is the least ordinal with }\{\vec{Z}\upharpoonright {\alpha }^{\prime },A_0\cap ({\alpha }^{\prime }{)}^{m_0},S\cap {\alpha }^{\prime }\}\subseteq M_{\gamma }.$$

$$⟨M_{{\beta }_0},\in ,\vec{M}\upharpoonright {\beta }_0⟩\models \bar{\gamma }\text{ is the least ordinal such that }\{\vec{Z}\upharpoonright {\alpha }^{\prime },A_0\cap ({\alpha }^{\prime }{)}^{m_0},S\cap {\alpha }^{\prime }\}\subseteq M_{\bar{\gamma }}.$$

$$⟨M_{{\beta }_n},\in ,\vec{M}\upharpoonright {\beta }_n⟩\models \bar{\gamma }\text{ is the least ordinal such that }\{\vec{Z}\upharpoonright {\alpha }^{\prime },A_0\cap ({\alpha }^{\prime }{)}^{m_0},S\cap {\alpha }^{\prime }\}\subseteq M_{\gamma },$$

Full text

Theorem. Assume GCH. For every regular uncountable cardinal $\kappa$, there is a cofinality-preserving GCH-preserving forcing extension in which for every analytic quasi-order $\mathbb{Q}$ over $\kappa^{\kappa}$ and every stationary subset $S$ of $\kappa$, there is a Lipschitz map reducing $\mathbb{Q}$ to $(\kappa^{\kappa},\leq^{S})$.

1. Introduction

Recall that a quasi-order is a binary relation which is reflexive and transitive. A well-studied quasi-order over the Baire space $\mathbb{N}^{\mathbb{N}}$ is the binary relation $\leq^{*}$ which is defined by letting, for any two elements $\eta:\mathbb{N}\rightarrow\mathbb{N}$ and $\xi:\mathbb{N}\rightarrow\mathbb{N}$,

[TABLE]

This quasi-order is behind the definitions of cardinal invariants $\mathfrak{b}$ and $\mathfrak{d}$ (see [Bla10, §2]), and serves as a key to the analysis of oscillation of real numbers which is known to have prolific applications to topology, graph theory, and forcing axioms (see [Tod89]). By a classical theorem of Hechler [Hec74], the structure $(\mathbb{N}^{\mathbb{N}},\leq^{*})$ is universal in that sense that for any $\sigma$-directed poset $\mathbb{P}$ with no maximal element, there is a $ccc$ forcing extension in which $(\mathbb{N}^{\mathbb{N}},\leq^{*})$ contains a cofinal order-isomorphic copy of $\mathbb{P}$.

In this paper, we consider (a refinement of) the higher analogue of the relation $\leq^{*}$ to the realm of the generalized Baire space $\kappa^{\kappa}$ (sometimes refered as the higher Baire space), where $\kappa$ is a regular uncountable cardinal. This is done by simply replacing the ideal of finite sets with the ideal of nonstationary sets, as follows.111A comparison of the generalization considered here with the one obtained by replacing the ideal of finite sets with the ideal of bounded sets may be found in [CS95, §8].

Definition 1.1**.**

Given a stationary subset $S\subseteq\kappa$, we define a quasi-order $\mathrel{\leq^{S}}$ over $\kappa^{\kappa}$ by letting, for any two elements $\eta:\kappa\rightarrow\kappa$ and $\xi:\kappa\rightarrow\kappa$,

[TABLE]

Note that since the nonstationary ideal over $S$ is $\sigma$-closed, the quasi-order $\leq^{S}$ is well-founded, meaning that we can assign a rank value $\|\eta\|$ to each element $\eta$ of $\kappa^{\kappa}$. The utility of this approach is demonstrated in the celebrated work of Galvin and Hajnal [GH75] concerning the behavior of the power function over the singular cardinals, and, of course, plays an important role in Shelah’s pcf theory (see [AM10, §4]). It was also demonstrated to be useful in the study of partition relations of singular cardinals of uncountable cofinality [She09].

In this paper, we first address the question of how $\mathrel{\leq^{S}}$ compares with $\mathrel{\leq^{S^{\prime}}}$ for various subsets $S$ and $S^{\prime}$. It is proved:

Theorem A**.**

Suppose that $\kappa$ is a regular uncountable cardinal and GCH holds. Then there exists a cofinality-preserving GCH-preserving forcing extension in which for all stationary subsets $S,S^{\prime}$ of $\kappa$, there exists a map $f:\kappa^{\leq\kappa}\rightarrow 2^{\leq\kappa}$ such that, for all $\eta,\xi\in\kappa^{\leq\kappa}$,

• $\bullet$

$\operatorname{dom}(f(\eta))=\operatorname{dom}(\eta)$;

• $\bullet$

if $\eta\subseteq\xi$, then $f(\eta)\subseteq f(\xi)$;

• $\bullet$

if $\operatorname{dom}(\eta)=\operatorname{dom}(\xi)=\kappa$, then $\eta\mathrel{\leq^{S}}\xi$ iff $f(\eta)\mathrel{\leq^{S^{\prime}}}f(\xi)$.

Note that as $\operatorname{Im}(f\mathbin{\upharpoonright}\kappa^{\kappa})\subseteq 2^{\kappa}$, the above assertion is non-trivial even in the case $S=S^{\prime}=\kappa$, and forms a contribution to the study of lossless encoding of substructures of $(\kappa^{\leq\kappa},\ldots)$ as substructures of $(2^{\leq\kappa},\ldots)$ (see, e.g., [BR17, Appendix]).

To formulate our next result — an optimal strengthening of Theorem A — let us recall a few basic notions from generalized descriptive set theory. The generalized Baire space is the set $\kappa^{\kappa}$ endowed with the bounded topology, in which a basic open set takes the form $[\zeta]:=\{\eta\in\kappa^{\kappa}\mathrel{|}\allowbreak\zeta\subset\eta\}$, with $\zeta$, an element of $\kappa^{<\kappa}$. A subset $F\subseteq\kappa^{\kappa}$ is closed iff its complement is open iff there exists a tree $T\subseteq\kappa^{<\kappa}$ such that $[T]:=\{\eta\in\kappa^{\kappa}\mathrel{|}\allowbreak\forall\alpha<\kappa(\eta\mathbin{\upharpoonright}\alpha\in T)\}$ is equal to $F$. A subset $A\subseteq\kappa^{\kappa}$ is analytic iff there is a closed subset $F$ of the product space $\kappa^{\kappa}\times\kappa^{\kappa}$ such that its projection $\operatorname{pr}(F):=\{\eta\in\kappa^{\kappa}\mathrel{|}\allowbreak\exists\xi\in\kappa^{\kappa}~{}(\eta,\xi)\in F\}$ is equal to $A$. The generalized Cantor space is the subspace $2^{\kappa}$ of $\kappa^{\kappa}$ endowed with the induced topology. The notions of open, closed and analytic subsets of $2^{\kappa}$, $2^{\kappa}\times 2^{\kappa}$ and $\kappa^{\kappa}\times\kappa^{\kappa}$ are then defined in the obvious way.

Definition 1.2**.**

The restriction of the quasi-order $\mathrel{\leq^{S}}$ to $2^{\kappa}$ is denoted by $\mathrel{\subseteq^{S}}$.

For all $\eta,\xi\in\kappa^{\kappa}$, denote $\Delta(\eta,\xi):=\min(\{\alpha<\kappa\mathrel{|}\allowbreak\eta(\alpha)\neq\xi(\alpha)\}\cup\{\kappa\})$.

Definition 1.3**.**

Let $R_{1}$ and $R_{2}$ be binary relations over $X_{1},X_{2}\in\{2^{\kappa},\kappa^{\kappa}\}$, respectively. A function $f:X_{1}\rightarrow X_{2}$ is said to be:

1. (a)

a reduction of $R_{1}$ to $R_{2}$ iff, for all $\eta,\xi\in X_{1}$,

[TABLE] 2. (b)

$1$-Lipschitz iff for all $\eta,\xi\in X_{1}$,

[TABLE]

The existence of a function $f$ satisfying (a) and (b) is denoted by ${R_{1}}\hookrightarrow_{1}{R_{2}}$.

In the above language, Theorem A provides a model in which, for all stationary subsets $S,S^{\prime}$ of $\kappa$, ${\mathrel{\leq^{S}}}\hookrightarrow_{1}{\mathrel{\subseteq^{S}}^{\prime}}$. As $\mathrel{\leq^{S}}$ is an analytic quasi-order over $\kappa^{\kappa}$, it is natural to ask whether a stronger universality result is possible, namely, whether it is forceable that any analytic quasi-order over $\kappa^{\kappa}$ admits a $1$-Lipschitz reduction to $\mathrel{\subseteq^{S^{\prime}}}$ for some (or maybe even for all) stationary $S^{\prime}\subseteq\kappa$. The answer turns out to be affirmative, hence the choice of the title of this paper.

Theorem B**.**

Suppose that $\kappa$ is a regular uncountable cardinal and GCH holds. Then there exists a cofinality-preserving GCH-preserving forcing extension in which, for every analytic quasi-order $Q$ over $\kappa^{\kappa}$ and every stationary $S\subseteq\kappa$, ${Q}\hookrightarrow_{1}{\mathrel{\subseteq^{S}}}$.

Remark*.*

The universality statement under consideration is optimal, as ${Q}\hookrightarrow_{1}{\mathrel{\subseteq^{S}}}$ implies that $Q$ analytic.

The proof of the preceding goes through a new diamond-type principle for reflecting second-order formulas, introduced here and denoted by $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$. This principle is a strengthening of Jensen’s $\diamondsuit_{S}$ and a weakening of Devlin’s $\diamondsuit^{\sharp}_{S}$. For $\kappa$ a successor cardinal, we have $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})\Rightarrow\diamondsuit^{*}_{S}$ but not $\diamondsuit^{*}_{S}\Rightarrow\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ (see Remark 4.2 below). Another crucial difference between the two is that, unlike $\diamondsuit^{*}_{S}$, the principle $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ is compatible with the set $S$ being ineffable.

In Section 2, we establish the consistency of the new principle, in fact, proving that it follows from an abstract condensation principle that was introduced and studied in [FH11, HWW15]. It thus follows that it is possible to force $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ to hold over all stationary subsets $S$ of a prescribed regular uncountable cardinal $\kappa$. It also follows that, in canonical models for Set Theory (including any $L[E]$ model with Jensen’s $\lambda$-indexing which is sufficiently iterable and has no subcompact cardinals), $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds for every stationary subset $S$ of every regular uncountable (including ineffable) cardinal $\kappa$.

Then, in Section 3, the core combinatorial component of our result is proved:

Theorem C**.**

Suppose $S$ is a stationary subset of a regular uncountable cardinal $\kappa$. If $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds, then, for every analytic quasi-order $Q$ over $\kappa^{\kappa}$, ${Q}\hookrightarrow_{1}{\mathrel{\subseteq^{S}}}$.

2. A Diamond reflecting second-order formulas

In [Dev82], Devlin introduced a strong form of the Jensen-Kunen principle $\diamondsuit^{+}_{\kappa}$, which he denoted by $\diamondsuit^{\sharp}_{\kappa}$, and proved:

Fact 2.1** (Devlin, [Dev82, Theorem 5]).**

In $L$, for every regular uncountable cardinal $\kappa$ that is not ineffable, $\diamondsuit^{\sharp}_{\kappa}$ holds.

Remark 2.2*.*

A subset $S$ of a regular uncountable cardinal $\kappa$ is said to be ineffable iff, for every sequence $\langle Z_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$, there exists a subset $Z\subseteq\kappa$, for which $\{\alpha\in S\mathrel{|}\allowbreak Z\cap\alpha=Z_{\alpha}\cap\alpha\}$ is stationary. Note that the collection of non-ineffable subsets of $\kappa$ forms a normal ideal that contains $\{\alpha<\kappa\mathrel{|}\allowbreak\operatorname{cf}(\alpha)<\alpha\}$ as an element. Also note that if $\kappa$ is ineffable, then $\kappa$ is strongly inaccessible. Finally, we mention that by a theorem of Jensen and Kunen, for any ineffable set $S$, $\diamondsuit_{S}$ holds and $\diamondsuit^{*}_{S}$ fails.

As said before, in this paper, we consider a variation of Devlin’s principle compatible with $\kappa$ being ineffable. Devlin’s principle as well as its variation provide us with $\Pi^{1}_{2}$-reflection over structures of the form $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle$. We now describe the relevant logic in detail.

A $\Pi^{1}_{2}$-sentence $\phi$ is a formula of the form $\forall X\exists Y\varphi$ where $\varphi$ is a first-order sentence over a relational language $\mathcal{L}$ as follows:

• $\bullet$

$\mathcal{L}$ has a predicate symbol $\epsilon$ of arity $2$;

• $\bullet$

$\mathcal{L}$ has a predicate symbol $\mathbb{X}$ of arity $m({\mathbb{X}})$;

• $\bullet$

$\mathcal{L}$ has a predicate symbol $\mathbb{Y}$ of arity $m({\mathbb{Y}})$;

• $\bullet$

$\mathcal{L}$ has infinitely many predicate symbols $(\mathbb{A}_{n})_{n\in\omega}$, each $\mathbb{A}_{n}$ is of arity $m(\mathbb{A}_{n})$.

Definition 2.3**.**

For sets $N$ and $x$, we say that $N$ sees $x$ iff $N$ is transitive, p.r.-closed, and $x\cup\{x\}\subseteq N$.

Suppose that a set $N$ sees an ordinal $\alpha$, and that $\phi=\forall X\exists Y\varphi$ is a $\Pi^{1}_{2}$-sentence, where $\varphi$ is a first-order sentence in the above-mentioned language $\mathcal{L}$. For every sequence $(A_{n})_{n\in\omega}$ such that, for all $n\in\omega$, $A_{n}\subseteq\alpha^{m(\mathbb{A}_{n})}$, we write

[TABLE]

to express that the two hold:

1. (1)

$(A_{n})_{n\in\omega}\in N$; 2. (2)

$\langle N,{\in}\rangle\models(\forall X\subseteq\alpha^{m(\mathbb{X})})(\exists Y\subseteq\alpha^{m(\mathbb{Y})})[\langle\alpha,{\in},X,Y,(A_{n})_{n\in\omega}\rangle\models\varphi]$, where:

• $\bullet$

$\in$ is the interpretation of $\epsilon$;

• $\bullet$

$X$ is the interpretation of $\mathbb{X}$;

• $\bullet$

$Y$ is the interpretation of $\mathbb{Y}$, and

• $\bullet$

for all $n\in\omega$, $A_{n}$ is the interpretation of $\mathbb{A}_{n}$.

Convention 2.4**.**

We write $\alpha^{+}$ for $|\alpha|^{+}$, and write $\langle\alpha,{\in},(A_{n})_{n\in\omega}\rangle\models\phi$ for

[TABLE]

Definition 2.5** (Devlin, [Dev82]).**

Let $\kappa$ be a regular and uncountable cardinal.

$\diamondsuit^{\sharp}_{\kappa}$ asserts the existence of a sequence $\vec{N}=\langle N_{\alpha}\mathrel{|}\allowbreak\alpha<\kappa\rangle$ satisfying the following:

1. (1)

for every infinite $\alpha<\kappa$, $N_{\alpha}$ is a set of cardinality $|\alpha|$ that sees $\alpha$; 2. (2)

for every $X\subseteq\kappa$, there exists a club $C\subseteq\kappa$ such that, for all $\alpha\in C$, $C\cap\alpha,X\cap\alpha\in N_{\alpha}$; 3. (3)

whenever $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle\models\phi$, with $\phi$ a $\Pi^{1}_{2}$-sentence, there are stationarily many $\alpha<\kappa$ such that $\langle\alpha,{\in},(A_{n}\cap(\alpha^{m(\mathbb{A}_{n})}))_{n\in\omega}\rangle\models_{N_{\alpha}}\phi$.

Consider the following variation:

Definition 2.6**.**

Let $\kappa$ be a regular and uncountable cardinal, and $S\subseteq\kappa$ stationary.

$\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ asserts the existence of a sequence $\vec{N}=\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ satisfying the following:

1. (1)

for every $\alpha\in S$, $N_{\alpha}$ is a set of cardinality $<\kappa$ that sees $\alpha$; 2. (2)

for every $X\subseteq\kappa$, there exists a club $C\subseteq\kappa$ such that, for all $\alpha\in C\cap S$, $X\cap\alpha\in N_{\alpha}$; 3. (3)

whenever $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle\models\phi$, with $\phi$ a $\Pi^{1}_{2}$-sentence, there are stationarily many $\alpha\in S$ such that $|N_{\alpha}|=|\alpha|$ and $\langle\alpha,{\in},(A_{n}\cap(\alpha^{m(\mathbb{A}_{n})}))_{n\in\omega}\rangle\models_{N_{\alpha}}\phi$.

Remark 2.7*.*

The choice of notation for the above principle is motivated by [She83, Definition 2.10] and [TV99, Definition 45].

The goal of this section is to derive $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ from an abstract principle which is both forceable and a consequence of $V=L[E]$, for $L[E]$ an iterable extender model with Jensen $\lambda$-indexing without a subcompact cardinal (see [SZ01, SZ04]). Note that this covers all $L[E]$ models that can be built so far.

Convention 2.8**.**

The class of ordinals is denoted by $\operatorname{OR}$. The class of ordinals of cofinality $\mu$ is denoted by $\operatorname{cof}(\mu)$, and the class of ordinals of cofinality greater than $\mu$ is denoted by $\operatorname{cof}({>}\mu)$. For a set of ordinals $a$, we write $\operatorname{acc}(a):=\{\alpha\in a\mathrel{|}\allowbreak\sup(a\cap\alpha)=\alpha>0\}$. $\textsf{{ZF}}^{-}$ denotes ZF without the power-set axiom. The transitive closure of a set $X$ is denoted by $\operatorname{trcl}(X)$, and the Mostowski collapse of a structure $\mathfrak{B}$ is denoted by $\operatorname{clps}(\mathfrak{B})$.

Definition 2.9**.**

Suppose $N$ is a transitive set. For a limit ordinal $\lambda$, we say that $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$ is a nice filtration of $N$ iff all of the following hold:

1. (1)

$\bigcup_{\beta<\lambda}M_{\beta}=N$; 2. (2)

$\vec{M}$ is $\in$-increasing, that is, $\alpha<\beta<\lambda\implies M_{\alpha}\in M_{\beta}$; 3. (3)

$\vec{M}$ is continuous, that is, for every $\beta\in\operatorname{acc}(\lambda)$, $M_{\beta}=\bigcup_{\alpha<\beta}M_{\alpha}$; 4. (4)

for all $\beta<\lambda$, $M_{\beta}$ is a transitive set with $M_{\beta}\cap\operatorname{OR}=\beta$ and $|M_{\beta}|\leq|\beta|+\aleph_{0}$.

Convention 2.10**.**

Whenever $\lambda$ is a limit ordinal, and $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$ is a $\subseteq$-increasing, continuous sequence of sets, we denote its limit $\bigcup_{\beta<\lambda}M_{\beta}$ by $M_{\lambda}$.

Definition 2.11** (Holy-Welch-Wu, [HWW15]).**

Let $\eta<\zeta$ be ordinals. We say that local club condensation holds in $(\eta,\zeta)$, and denote this by $\textsf{{LCC}}(\eta,\zeta)$, iff there exist a limit ordinal $\lambda\geq\zeta$ and a sequence $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$ such that all of the following hold:

1. (1)

$\vec{M}$ is nice filtration of $M_{\lambda}$; 2. (2)

$\langle M_{\lambda},{\in}\rangle\models\textsf{{ZF}}^{-}$; 3. (3)

For every ordinal $\alpha$ in the open interval $(\eta,\zeta)$ and every sequence $\vec{\mathcal{F}}=\langle(F_{n},k_{n})\mathrel{|}\allowbreak n\in\omega\rangle$ in $M_{\lambda}$ such that, for all $n\in\omega$, $k_{n}\in\omega$ and $F_{n}\subseteq(M_{\alpha})^{k_{n}}$, there is a sequence $\vec{\mathfrak{B}}=\langle\mathfrak{B}_{\beta}\mathrel{|}\allowbreak\beta<|\alpha|\rangle$ in $M_{\lambda}$ having the following properties:

1. (a)

for all $\beta<|\alpha|$, $\mathfrak{B}_{\beta}$ is of the form

[TABLE] 2. (b)

for all $\beta<|\alpha|$, $\mathfrak{B}_{\beta}\prec\langle M_{\alpha},{\in},\vec{M}\mathbin{\upharpoonright}\alpha,(F_{n})_{n\in\omega}\rangle$; 3. (c)

for all $\beta<|\alpha|$, $\beta\subseteq B_{\beta}$ and $|B_{\beta}|<|\alpha|$; 4. (d)

for all $\beta<|\alpha|$, there exists $\bar{\beta}<\lambda$ such that

[TABLE] 5. (e)

$\langle B_{\beta}\mathrel{|}\allowbreak\beta<|\alpha|\rangle$ is $\subseteq$-increasing, continuous and converging to $M_{\alpha}$.

For $\vec{\mathfrak{B}}$ as in Clause (3) above we say that $\vec{\mathfrak{B}}$ witnesses LCC at $\alpha$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}$.

Remark 2.12*.*

There are first-order sentences $\psi_{0}(\dot{\eta},\dot{\zeta})$ and $\psi_{1}(\dot{\eta})$ in the language $\mathcal{L}^{*}:=\{{\in},\vec{M},\dot{\eta},\dot{\zeta}\}$ of set theory augmented by a predicate for a nice filtration and two ordinals such that, for all $\eta<\zeta\leq\lambda$ and $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$:

• $\bullet$

$(\langle M_{\lambda},{\in},\vec{M}\rangle\models\psi_{0}(\eta,\zeta))\iff(\vec{M}\text{ witnesses that }\textsf{{LCC}}(\eta,\zeta)\text{ holds})$, and

• $\bullet$

$(\langle M_{\lambda},{\in},\vec{M}\rangle\models\psi_{1}(\eta))\iff(\vec{M}\text{ witnesses that }\textsf{{LCC}}(\eta,\lambda)\text{ holds})$.

Therefore, we will later make an abuse of notation and write $\langle N,{\in},\vec{M}\rangle\models\textsf{{LCC}}(\eta,\zeta)$ to mean that $\vec{M}$ is a nice filtration of $N$ witnessing that $\textsf{{LCC}}(\eta,\zeta)$ holds.

Fact 2.13** (Friedman-Holy, implicit in [FH11]).**

Assume GCH. For every inaccessible cardinal $\kappa$, there is a set-size cofinality-preserving notion of forcing $\mathbb{P}$ such that, in $V^{\mathbb{P}}$, the three hold:

1. (1)

GCH*;* 2. (2)

there is a nice filtration $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ of $H_{\kappa^{+}}$ witnessing that $\textsf{{LCC}}(\omega_{1},\kappa^{+})$ holds; 3. (3)

there is a $\Delta_{1}$-formula $\Theta$ and a parameter $a\subseteq\kappa$ such that the relation $<_{\Theta}$ defined by ($x<_{\Theta}y$* iff $H_{\kappa^{+}}\models\Theta(x,y,a)$) is a global well-ordering of $H_{\kappa^{+}}$.*

Fact 2.14** (Holy-Welch-Wu, [HWW15, p. 1362 and §4]).**

Assume GCH. For every regular cardinal $\kappa$, there is a set-size notion of forcing $\mathbb{P}$ which is $({<}\kappa)$-directed-closed and has the $\kappa^{+}{\text{-}}cc$ such that, in $V^{\mathbb{P}}$, the three hold:

1. (1)

GCH*;* 2. (2)

there is a nice filtration $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ of $H_{\kappa^{+}}$ witnessing that $\textsf{{LCC}}(\kappa,\kappa^{+})$ holds; 3. (3)

there is a $\Delta_{1}$-formula $\Theta$ and a parameter $a\subseteq\kappa$ such that the relation $<_{\Theta}$ defined by ($x<_{\Theta}y$* iff $H_{\kappa^{+}}\models\Theta(x,y,a)$) is a global well-ordering of $H_{\kappa^{+}}$.*

The following is a improvement of [FH11, Theorem 8].

Fact 2.15** (Fernandes, [Fer20]).**

Let $L[E]$ be an extender model with Jensen $\lambda$-indexing. Suppose that, for every $\alpha\in\operatorname{OR}$, the premouse $L[E]||\alpha$ is weakly iterable.222Here, $L[E]||\alpha$ stands for $\langle J_{\alpha}^{E},\in,E\mathbin{\upharpoonright}\omega\alpha,E_{\omega\alpha}\rangle$, following the notation from [Zem02]. For the definition of weakly iterable, see [Zem02, p. 311]. Then, for every infinite cardinal $\kappa$, the following are equivalent:

1. (a)

$\langle L_{\beta}[E]\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$* witneses that $\textsf{{LCC}}(\kappa^{+},\kappa^{++})$ holds;* 2. (b)

$L[E]\models``\kappa\text{ is not a subcompact cardinal}"$.

In addition, for every infinite limit cardinal $\kappa$, $\langle L_{\beta}[E]\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ witnesses that $\textsf{{LCC}}(\kappa,\kappa^{+})$ holds.

Lemma 2.16**.**

Suppose that $\lambda$ is a limit ordinal and that $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$ is a nice filtration of $H_{\lambda}$. Then, for every infinite cardinal $\theta\leq\lambda$, $M_{\theta}\subseteq H_{\theta}$.

Proof.

Let $\theta\leq\lambda$ be an infinite cardinal. By Clause (4) of Definition 2.9, for all $\beta<\theta$, the set $M_{\beta}$ is transitive, $M_{\beta}\cap\operatorname{OR}=\beta$, and $|M_{\beta}|=|\beta|<\theta$. It thus follows that $M_{\theta}=\bigcup_{\beta<\theta}M_{\beta}\subseteq H_{\theta}$. ∎

Motivated by the property of acceptability that holds in extender models, we define the following property for nice filtrations:

Definition 2.17**.**

Given a nice filtration $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ of $H_{\kappa^{+}}$, we say that $\vec{M}$ is eventually slow at $\kappa$ iff there exists an infinite cardinal $\mu<\kappa$ such that, for every cardinal $\theta$ with $\mu<\theta\leq\kappa$, $M_{\theta}=H_{\theta}$.

Lemma 2.18**.**

Suppose that $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is a nice filtration of $H_{\kappa^{+}}$ that is eventually slow at $\kappa$. Then, for a tail of $\alpha<\kappa$, for every sequence $\vec{\mathcal{F}}=\langle(F_{n},k_{n})\mathrel{|}\allowbreak n\in\omega\rangle$ such that, for all $n\in\omega$, $k_{n}\in\omega$ and $F_{n}\subseteq(M_{\alpha^{+}})^{k_{n}}$, there is $\vec{\mathfrak{B}}$ that witnesses LCC at $\alpha^{+}$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}$.

Proof.

Fix an infinite cardinal $\mu<\kappa$ such that, for every cardinal $\theta$ with $\mu<\theta\leq\kappa$, $M_{\theta}=H_{\theta}$. Let $\alpha\in(\mu,\kappa)$ be arbitrary. Now, given a sequence $\vec{\mathcal{F}}$ as in the statement of the lemma, build by recursion a $\subseteq$-increasing and continuous sequence $\langle\mathfrak{A}_{\gamma}\mathrel{|}\allowbreak\gamma<\alpha^{+}\rangle$ of elementary submodels of $\langle M_{\alpha^{+}},{\in},\vec{M}\mathbin{\upharpoonright}\alpha^{+},(F_{n})_{n\in\omega}\rangle$, such that:

• $\bullet$

for each $\gamma<\alpha^{+}$, $|A_{\gamma}|<\alpha^{+}$, and

• $\bullet$

$\bigcup_{\gamma<\alpha^{+}}A_{\gamma}=H_{\alpha^{+}}$.

By a standard argument, $C:=\{\gamma<\alpha^{+}\mathrel{|}\allowbreak A_{\gamma}=M_{\gamma}\}$ is a club in $\alpha^{+}$. Let $\{\gamma_{\beta}\mathrel{|}\allowbreak\beta<\alpha^{+}\}$ denote the increasing enumeration of $C$. Denote $\mathcal{B}_{\beta}:=\mathcal{A}_{\gamma_{\beta}}$. Then $\vec{\mathfrak{B}}=\langle\mathfrak{B}_{\beta}\mathrel{|}\allowbreak\beta<\alpha^{+}\rangle$ is an $\in$-increasing and continuous sequence of elementary submodels of $\langle M_{\alpha^{+}},{\in},\vec{M}\mathbin{\upharpoonright}\alpha^{+},(F_{n})_{n\in\omega}\rangle$, such that, for all $\beta<\alpha^{+}$, $\operatorname{clps}(\mathfrak{B}_{\beta})=\langle M_{\gamma_{\beta}},{\in},\ldots\rangle$. ∎

In the next two lemmas we find sufficient conditions for nice filtrations $\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ to be eventually slow at $\kappa$.

Lemma 2.19**.**

Suppose that $\kappa$ is a successor cardinal and that $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is a nice filtration of $H_{\kappa^{+}}$ witnessing that $\textsf{{LCC}}(\kappa,\kappa^{+})$ holds. Then $\vec{M}$ is eventually slow at $\kappa$.

Proof.

As $\kappa$ is a successor cardinal, $\vec{M}$ is eventually slow at $\kappa$ iff $M_{\kappa}=H_{\kappa}$. Thus, by Lemma 2.16, it suffices to verify that $H_{\kappa}\subseteq M_{\kappa}$. To this end, let $x\in H_{\kappa}$, and we will find $\beta<\kappa$ such that $x\in M_{\beta}$.

Set $\theta:=|\operatorname{trcl}\{x\}|$ and fix a witnessing bijection $f:\theta\leftrightarrow\operatorname{trcl}\{x\}$. As $H_{\kappa^{+}}=M_{\kappa^{+}}=\bigcup_{\alpha<\kappa^{+}}M_{\alpha}$, we may fix $\alpha<\kappa^{+}$ such that $\{f,\theta,\operatorname{trcl}\{x\}\}\subseteq M_{\alpha}$. Let $\vec{\mathfrak{B}}$ witness $\textsf{{LCC}}(\kappa,\kappa^{+})$ at $\alpha$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}:=\langle(f,2)\rangle$. Let $\beta<\kappa^{+}$ be such that $\operatorname{clps}(\mathfrak{B}_{\theta+1})=\langle M_{\beta},{\in},\ldots\rangle$.

Claim 2.19.1**.**

$\theta<\beta<\kappa$.

Proof.

By Definition 2.11(3)(c), $\theta+1\subseteq B_{\theta+1}$, so that, $\theta<\beta$. By Clause (4) of Definition 2.9 and by Definition 2.11(3)(c), $|\beta|=|M_{\beta}|=|B_{\theta+1}|<|\alpha|\leq\kappa$. ∎

Now, as

[TABLE]

we have $f\in B_{\theta+1}$. Since $\operatorname{dom}(f)\subseteq\ B_{\theta+1}$, $\operatorname{Im}(f)\subseteq B_{\theta+1}$. But $\operatorname{Im}(f)=\operatorname{trcl}(\{x\})$ is a transitive set, so that the Mostowski collapsing map $\pi:B_{\theta+1}\rightarrow M_{\beta}$ is the identity over $\operatorname{trcl}(\{x\})$, meaning that $x\in\operatorname{trcl}(\{x\})\subseteq M_{\beta}$. ∎

Lemma 2.20**.**

Suppose that $\kappa$ is an inaccessible cardinal, $\mu<\kappa$ and $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ witnesses that $\textsf{{LCC}}(\mu,\kappa^{+})$ holds. Then $\mu$ witnesses that $\vec{M}$ is eventually slow at $\kappa$.

Proof.

Suppose not. It follows from Lemma 2.16 that we may fix an infinite cardinal $\theta$ with $\mu\leq\theta<\kappa$ along with $x\in H_{\theta^{+}}\setminus M_{\theta^{+}}$. Fix a surjection $f:\theta\rightarrow\operatorname{trcl}(\{x\})$. Let $\alpha<\kappa^{+}$ be the least ordinal such that $x\in M_{\alpha}$, so that $\mu<\theta^{+}<\alpha<\kappa^{+}$. Let $\vec{\mathfrak{B}}$ witness $\textsf{{LCC}}(\mu,\kappa^{+})$ at $\alpha$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}:=\langle(f,2)\rangle$. Let $\beta<\kappa^{+}$ be such that $\operatorname{clps}(\mathfrak{B}_{\theta+1})=\langle M_{\beta},{\in},\ldots\rangle$.

Claim 2.20.1**.**

$\beta<\alpha$.

Proof.

By Clause (4) of Definition 2.9 and by Definition 2.11(3)(c), $|\beta|=|M_{\beta}|=|B_{\theta+1}|<|\alpha|$. and hence $\beta<\alpha$. ∎

By the same argument used in the proof of Lemma 2.19, $x\in M_{\beta}$, contradicting the minimality of $\alpha$. ∎

Question 2.21*.*

Notice that if $\kappa$ is an inaccessible cardinal and $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is such that $\langle H_{\kappa^{+}},\in,\vec{M}\rangle\models\textsf{{LCC}}(\kappa,\kappa^{+})$, then, for club many $\beta<\kappa$, $M_{\beta}=H_{\beta}$. We ask: is it consistent that $\kappa$ is an inaccessible cardinal, $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is such that $\langle H_{\kappa^{+}},{\in},\vec{M}\rangle\models\textsf{{LCC}}(\kappa,\kappa^{+})$, yet, for stationarily many $\beta<\kappa$, $M_{\beta^{+}}\subsetneq H_{\beta^{+}}$?

Lemma 2.22**.**

Suppose that $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is a nice filtration of $H_{\kappa^{+}}$. Given a sequence $\vec{\mathcal{F}}=\langle(F_{n},k_{n})\mathrel{|}\allowbreak n\in\omega\rangle$ such that, for all $n\in\omega$, $k_{n}\in\omega$ and $F_{n}\subseteq(H_{\kappa^{+}})^{k_{n}}$, there are club many $\delta<\kappa^{+}$ such that $\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta,(F_{n}\cap(M_{\delta})^{k_{n}})_{n\in\omega}\rangle\prec\langle M_{\kappa^{+}},{\in},\vec{M},(F_{n})_{n\in\omega}\rangle$.

Proof.

Build by recursion an $\in$-increasing continuous sequence $\vec{\mathfrak{B}}=\langle\mathfrak{B}_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ of elementary submodels of $\langle M_{\kappa^{+}},{\in},\vec{M},(F_{n})_{n\in\omega}\rangle$, such that:

• $\bullet$

for each $\beta<\kappa^{+}$, $|B_{\beta}|<\kappa^{+}$, and

• $\bullet$

$\bigcup_{\beta<\kappa^{+}}B_{\beta}=H_{\kappa^{+}}$.

By a standard back-and-forth argument, utilizing the continuity of $\vec{\mathfrak{B}}$ and $\vec{M}$, $\{\delta<\kappa^{+}\mathrel{|}\allowbreak B_{\delta}=M_{\delta}\}$ is a club in $\kappa^{+}$. ∎

Definition 2.23**.**

Suppose $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\lambda\rangle$ is a nice filtration of $M_{\lambda}$ for some limit ordinal $\lambda>0$. Given $\alpha<\lambda$ and $\vec{\mathcal{F}}=\langle(F_{n},k_{n})\mathrel{|}\allowbreak n\in\omega\rangle$ in $M_{\lambda}$ such that, for each $n\in\omega$, $k_{n}\in\omega$ and $F_{n}\subseteq(M_{\alpha})^{k_{n}}$, for every sequence $\vec{\mathfrak{B}}=\langle\mathfrak{B}_{\beta}\mathrel{|}\allowbreak\beta<|\alpha|\rangle$ in $M_{\lambda}$ and every letter $l\in\{a,b,c,d,e\}$, we let $\psi_{l}(\vec{\mathcal{B}},\vec{\mathcal{F}},\alpha,\vec{M}\mathbin{\upharpoonright}(\alpha+1))$ be some formula expressing that Clause (3)(l) of Definition 2.11 holds.

The following forms the main result of this section.

Theorem 2.24**.**

Suppose that $\kappa$ is a regular uncountable cardinal, and $\vec{M}=\langle M_{\beta}\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ is a nice filtration of $H_{\kappa^{+}}$ that is eventually slow at $\kappa$, and witnesses that $\textsf{{LCC}}(\kappa,\kappa^{+})$ holds. Suppose further that there is a subset $a\subseteq\kappa$ and a formula $\Theta\in\Sigma_{\omega}$ which defines a well-order $<_{\Theta}$ in $H_{\kappa^{+}}$ via $x<_{\Theta}y$ iff $H_{\kappa^{+}}\models\Theta(x,y,a)$. Then, for every stationary $S\subseteq\kappa$, $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds.

Proof.

Let $S^{\prime}\subseteq\kappa$ be stationary. We shall prove that $\operatorname{Dl}^{*}_{S^{\prime}}(\Pi^{1}_{2})$ holds by adjusting Devlin’s proof of Fact 2.1.

As a first step, we identify a subset $S$ of $S^{\prime}$ of interest.

Claim 2.24.1**.**

There exists a stationary non-ineffable subset $S\subseteq S^{\prime}\setminus\omega$ such that, for every $\alpha\in S^{\prime}\setminus S$, $|H_{\alpha^{+}}|<\kappa$.

Proof.

If $S^{\prime}$ is non-ineffable, then let $S:=S^{\prime}\setminus\omega$, so that $H_{\alpha^{+}}=H_{\omega}$ for all $\alpha\in S^{\prime}\setminus S$. From now on, suppose that $S^{\prime}$ is ineffable. In particular, $\kappa$ is strongly inaccessible and $|H_{\alpha^{+}}|<\kappa$ for every $\alpha<\kappa$. Let $S:=S^{\prime}\setminus(\omega\cup T)$, where

[TABLE]

To see that $S$ is stationary, let $E$ be an arbitrary club in $\kappa$.

$\blacktriangleright$ If $S^{\prime}\cap\operatorname{cof}(\omega)$ is stationary, then since $S^{\prime}\cap\operatorname{cof}(\omega)\subseteq S$, we infer that $S\cap E\neq\emptyset$.

$\blacktriangleright$ If $S^{\prime}\cap\operatorname{cof}(\omega)$ is non-stationary, then fix a club $C\subseteq E$ disjoint from $S^{\prime}\cap\operatorname{cof}(\omega)$, and let $\alpha:=\min(\operatorname{acc}(C)\cap S^{\prime})$. Then $\operatorname{cf}(\alpha)>\omega$ and $C\cap\alpha$ is a club in $\alpha$ disjoint from $S^{\prime}$, so that $\alpha\notin T$. Altogether, $\alpha\in S\cap E$.

To see that $S$ is non-ineffable, we define a sequence $\langle Z_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$, as follows. For every $\alpha\in S$, fix a closed and cofinal subset $Z_{\alpha}$ of $\alpha$ with $\operatorname{otp}(Z_{\alpha})=\operatorname{cf}(\alpha)$ such that, if $\operatorname{cf}(\alpha)>\omega$, then the club $Z_{\alpha}$ is disjoint from $S^{\prime}\cap\alpha$. Towards a contradiction, suppose that $Z\subseteq\kappa$ is a set for which $\{\alpha\in S\mathrel{|}\allowbreak Z\cap\alpha=Z_{\alpha}\}$ is stationary. Clearly, $Z$ is closed and cofinal in $\kappa$, so that $Z\cap S^{\prime}$ is stationary, $\operatorname{otp}(Z\cap S^{\prime})=\kappa$ and hence $D:=\{\alpha<\kappa\mathrel{|}\allowbreak\operatorname{otp}(Z\cap S^{\prime}\cap\alpha)=\alpha>\omega\}$ is a club. Pick $\alpha\in D\cap S$ such that $Z\cap\alpha=Z_{\alpha}$. As

[TABLE]

it must be the case that $Z_{\alpha}$ is a club disjoint from $S^{\prime}\cap\alpha$, while $Z_{\alpha}=Z\cap\alpha$ and $Z\cap S^{\prime}\cap\alpha\neq\emptyset$. This is a contradiction. ∎

Let $S$ be given by the preceding claim. We shall focus on constructing a sequence $\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ witnessing $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ such that, in addition, $|N_{\alpha}|=|\alpha|$ for every $\alpha\in S$. It will then immediately follow that the sequence $\langle N^{\prime}_{\alpha}\mathrel{|}\allowbreak\alpha\in S^{\prime}\rangle$ defined by letting $N_{\alpha}^{\prime}:=N_{\alpha}$ for $\alpha\in S$, and $N^{\prime}_{\alpha}:=H_{\alpha^{+}}$ for $\alpha\in S^{\prime}\setminus S$ will witness the validity of $\operatorname{Dl}^{*}_{S^{\prime}}(\Pi^{1}_{2})$. As $\vec{M}$ is eventually slow at $\kappa$, we may also assume that, for every $\alpha\in S$, $M_{\alpha^{+}}=H_{\alpha^{+}}$ and the conclusion of Lemma 2.18 holds true.333For all the small $\alpha\in S^{\prime}\setminus S$ such that $M_{\alpha^{+}}\neq H_{\alpha^{+}}$, simply let $N^{\prime}_{\alpha}:=N_{\min(S)}$. If $\kappa$ is a successor cardinal, we may moreover assume that, for every $\alpha\in S$, $M_{\alpha^{+}}=H_{\kappa}$.

Here we go. As $S$ is non-ineffable, fix a sequence $\vec{Z}=\langle Z_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ with $Z_{\alpha}\subseteq\alpha$ for all $\alpha\in S$, such that, for every $Z\subseteq\kappa$, $\{\alpha\in S\mathrel{|}\allowbreak Z\cap\alpha=Z_{\alpha}\}$ is nonstationary. In the course of the rest of the proof, we shall occasionally take witnesses to LCC at some ordinal $\alpha$ with respect to $\vec{M}$ and a finite sequence $\vec{\mathcal{F}}=\langle(F_{n},k_{n})\mathrel{|}\allowbreak n\in 4\rangle$; for this, we introduce the following piece of notation for any positive $m<\omega$, $X\subseteq(\kappa^{+})^{m}$ and $\alpha<\kappa^{+}$:

[TABLE]

Next, for each $\alpha\in S$, we define $S_{\alpha}$ to be the set of all $\beta\in\alpha^{+}$ satisfying the following list of conditions:

1. (i)

$\langle M_{\beta},{\in},\vec{M}\mathbin{\upharpoonright}\beta\rangle\models\textsf{{LCC}}(\alpha,\beta)$,444Note that $\beta$ is not needed to define $\textsf{{LCC}}(\alpha,\beta)$ in the structure $\langle M_{\beta},{\in},\vec{M}\mathbin{\upharpoonright}\beta\rangle$. Indeed, by $\textsf{{LCC}}(\alpha,\beta)$ we mean $\psi_{1}(\alpha)$ as in Remark 2.12. 2. (ii)

$\langle M_{\beta},{\in}\rangle\models\textsf{{ZF}}^{-}~{}\&~{}\alpha\text{ is the largest cardinal}$,555In particular, $\langle M_{\beta},{\in}\rangle\models\alpha\text{ is uncountable}$. 3. (iii)

$\langle M_{\beta},{\in}\rangle\models\alpha\text{ is regular}\ \&\ S\cap\alpha~{}\text{is stationary}$, 4. (iv)

$\langle M_{\beta},{\in}\rangle\models\Theta(x,y,a\cap\alpha)~{}\text{defines a global well-order}$, 5. (v)

$\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\notin M_{\beta}$.

Then, we consider the set

[TABLE]

Define a function $f:S\rightarrow\kappa$ as follow. For every $\alpha\in D$, let $f(\alpha):=\sup(S_{\alpha})$; for every $\alpha\in S\setminus D$, let $f(\alpha)$ be the least $\beta<\kappa$ such that $M_{\beta}$ sees $\alpha$, and $\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\in M_{\beta}$.

Claim 2.24.2**.**

$f$* is well-defined. Furthermore, for all $\alpha\in S$, $\alpha<f(\alpha)<\alpha^{+}$.*

Proof.

Let $\alpha\in S$ be arbitrary. The analysis splits into two cases:

$\blacktriangleright$ Suppose $\alpha\in D$. As $\alpha\in S$, we have $\bigcup_{\beta<\alpha^{+}}M_{\beta}=M_{\alpha^{+}}=H_{\alpha^{+}}$, and hence we may find some $\beta<\alpha^{+}$ such that $\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\in M_{\beta}$. Then, condition (v) in the definition of $S_{\alpha}$ implies that $\alpha<f(\alpha)\leq\beta<\alpha^{+}$.

$\blacktriangleright$ Suppose $\alpha\notin D$. As $\alpha\in S$, let us fix $\langle\mathfrak{B}_{\beta}\mathrel{|}\allowbreak\beta<\alpha^{+}\rangle$ that witnesses LCC at $\alpha^{+}$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}_{\emptyset,\alpha^{+}}$. Set $\beta:=\alpha+2$ and fix ${\bar{\beta}}<\kappa^{+}$ such that $\operatorname{clps}(\mathcal{B}_{\beta})=\langle M_{\bar{\beta}},\ldots\rangle$. As $\beta\subseteq B_{\beta}$ and $|B_{\beta}|<\alpha^{+}$, by Clause (4) of Definition 2.9, $\beta\leq{\bar{\beta}}<\alpha^{+}$. In addition, $\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\in M_{{\bar{\beta}}}$ and there exists an elementary embedding from $\langle M_{{\bar{\beta}}},{\in}\rangle$ to $\langle H_{\alpha^{+}},{\in}\rangle$, so that $M_{\bar{\beta}}$ sees $\alpha$. Altogether, $\alpha<f(\alpha)\leq{\bar{\beta}}<\alpha^{+}$. ∎

Define $\vec{N}=\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ by letting $N_{\alpha}:=M_{f(\alpha)}$ for all $\alpha\in S$. It follows from Definition 2.9(4) and the preceding claim that $|N_{\alpha}|=|\alpha|$ for all $\alpha\in S$.

Claim 2.24.3**.**

Let $X\subseteq\kappa$. Then there exists a club $C\subseteq\kappa$ such that, for all $\alpha\in C\cap S$, $X\cap\alpha\in N_{\alpha}$.

Proof.

By Lemma 2.22, we now fix $\delta<\kappa^{+}$ such that $\kappa,S,a\in M_{\delta}$ and $\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta\rangle\prec\langle M_{\kappa^{+}},{\in},\vec{M}\rangle$. Note that $|\delta|=\kappa$. Let $\vec{\mathfrak{B}}=\langle\mathfrak{B}_{\alpha}\mathrel{|}\allowbreak\alpha<\kappa\rangle$ witness LCC at $\delta$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}_{X,\kappa}$.

Subclaim 2.24.3.1**.**

$C:=\{\alpha<\kappa\mathrel{|}\allowbreak B_{\alpha}\cap\kappa=\alpha\}$* is a club in $\kappa$.*

Proof.

To see that $C$ is closed in $\kappa$, fix an arbitrary $\alpha<\kappa$ with $\sup(C\cap\alpha)=\alpha>0$. As $\langle B_{\beta}\mathrel{|}\allowbreak\beta<\kappa\rangle$ is $\subseteq$-increasing and continuous, we have

[TABLE]

To see that $C$ is unbounded in $\kappa$, fix an arbitrary $\varepsilon<\kappa$, and we shall find $\alpha\in C$ above $\varepsilon$. Recall that, by Clause (3)(c) of Definition 2.11, for each $\beta<\kappa$, $\beta\subseteq B_{\beta}$ and $|B_{\beta}|<\kappa$. It follows that we may recursively construct an increasing sequence of ordinals $\langle\alpha_{n}\mathrel{|}\allowbreak n<\omega\rangle$ such that:

• $\bullet$

$\alpha_{0}:=\sup(B_{\varepsilon}\cap\kappa)$, and, for all $n<\omega$:

• $\bullet$

$\sup(B_{\alpha_{n}}\cap\kappa)<\alpha_{n+1}<\kappa$.

In particular, $\sup(B_{\alpha_{n}}\cap\kappa)\in\alpha_{n+1}$ for all $n<\omega$. Consequently, for $\alpha:=\sup_{n<\omega}\alpha_{n}$, we have that $\alpha<\kappa$, and

[TABLE]

so that $\alpha\in C\setminus(\varepsilon+1)$. ∎

To see that the club $C$ is as sought, let $\alpha\in C\cap S$ be arbitrary, and we shall verify that $X\cap\alpha\in N_{\alpha}$. Let $\beta(\alpha)$ be such that $\operatorname{clps}(\mathfrak{B}_{\alpha})=\langle M_{\beta(\alpha)},{\in},\ldots\rangle$, and let $j_{\alpha}:M_{\beta(\alpha)}\rightarrow B_{\alpha}$ denote the inverse of the collapsing map. As $\alpha\in C$, $j_{\alpha}(\alpha)=\kappa$, and $j^{-1}_{\alpha}(Y)=Y\cap\alpha$ for all $Y\in B_{\alpha}\cap\mathcal{P}(\kappa)$.

Subclaim 2.24.3.2**.**

For every $\beta<\kappa^{+}$ such that $\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\in M_{\beta}$, $\beta>\beta(\alpha)$.

Proof.

Suppose not, so that $\vec{Z}\mathbin{\upharpoonright}(\alpha+1)\in M_{\beta(\alpha)}$. As $\langle M_{\delta},{\in}\rangle\prec\langle M_{\kappa^{+}},{\in}\rangle$, we infer that

[TABLE]

and hence

[TABLE]

In particular, using $Z:=Z_{\alpha}$, we find some $E$ such that

[TABLE]

Pushing forward with $E^{*}:=j_{\alpha}(E)$ and $Z^{*}:=j_{\alpha}(Z_{\alpha})$, we infer that

[TABLE]

Then $Z^{*}\cap\alpha=j_{\alpha}(Z_{\alpha})\cap\alpha=Z_{\alpha}$, and hence $\alpha\notin E^{*}$ (recall that $\alpha\in S$). Likewise $E^{*}\cap\alpha=j_{\alpha}(E)\cap\alpha=E$, and hence $\alpha\in\operatorname{acc}(E^{*})\subseteq E^{*}$. This is a contradiction. ∎

Now, since $\vec{\mathfrak{B}}$ witnesses LCC at $\delta$ with respect to $\vec{M}$ and $\vec{\mathcal{F}}_{X,\kappa}$, for each $Y$ in $\{X,a,S\}$, we have that

[TABLE]

therefore each of $X,a,S$ is a definable element of $\mathfrak{B}_{\alpha}$. So, as, for all $Y\in B_{\alpha}\cap\mathcal{P}(\kappa)$, $j^{-1}_{\alpha}(Y)=Y\cap\alpha$, we infer that $X\cap\alpha$, $a\cap\alpha$, and $S\cap\alpha$ are all in $M_{\beta(\alpha)}$. We will show that $\beta(\alpha)<f(\alpha)$, from which it will follow that $X\cap\alpha\in N_{\alpha}$.

Subclaim 2.24.3.3**.**

$\beta(\alpha)<f(\alpha)$.

Proof.

Naturally, the analysis splits into two cases:

$\blacktriangleright$ Suppose $\alpha\notin D$. By definition of $f(\alpha)$ and by Subclaim 2.24.3.2, $\beta(\alpha)<f(\alpha)$.

$\blacktriangleright$ Suppose $\alpha\in D$. As $\mathfrak{B}_{\alpha}\prec\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta,X,a,S,\vec{Z}\rangle$ and $\operatorname{Im}(j_{\alpha})=B_{\alpha}$, we infer that $j_{\alpha}:M_{\beta(\alpha)}\rightarrow M_{\delta}$ forms an elementary embedding from $\langle M_{\beta(\alpha)},{\in},\ldots\rangle$ to $\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta,X,a,S,\vec{Z}\rangle$ with $j_{\alpha}(\alpha)=\kappa$. As $\kappa,S,a\in M_{\delta}$ and $\langle M_{\delta},{\in},M\mathbin{\upharpoonright}\delta\rangle\prec\langle M_{\kappa},{\in},\vec{M}\rangle$, we have:

1. (I)

$\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta\rangle\models\textsf{{LCC}}(\kappa,\delta)$, 2. (II)

$\langle M_{\delta},{\in}\rangle\models\textsf{{ZF}}^{-}~{}\&~{}\kappa\text{ is the largest cardinal}$, 3. (III)

$\langle M_{\delta},{\in}\rangle\models\kappa\text{ is regular}\ \&\ S\cap\kappa\text{ is stationary}$, 4. (IV)

$\langle M_{\delta},{\in}\rangle\models\Theta(x,y,a\cap\kappa)~{}\text{defines a global well-order}$.

It now follows that $\beta(\alpha)$ satisfies clauses (i),(ii),(iii) and (iv) of the definition of $S_{\alpha}$. Together with Subclaim 2.24.3.2, then, $\beta(\alpha)\in S_{\alpha}$. So, by definitions of $f$ and $D$, $\beta(\alpha)<f(\alpha)$. ∎

This completes the proof of Claim 2.24.3. ∎

We are left with addressing Clause (3) of Definition 2.6.

Claim 2.24.4**.**

The sequence $\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ reflects $\Pi^{1}_{2}$-sentences.

Proof.

We need to show that whenever $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle\models\phi$, with $\phi=\forall X\exists Y\varphi$ a $\Pi^{1}_{2}$-sentence, for every club $E\subseteq\kappa$, there is $\alpha\in E\cap S$, such that

[TABLE]

But by adding $E$ to the list $(A_{n})_{n\in\omega}$ of predicates, and by slightly extending the first-order formula $\varphi$ to also assert that $E$ is unbounded, we would get that any ordinal $\alpha$ satisfying the above will also satisfy that $\alpha$ is an accumulation point of the closed set $E$, so that $\alpha\in E$. It follows that if any $\Pi^{1}_{2}$-sentence valid in a structure of the form $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle$ reflects to some ordinal $\alpha^{\prime}\in S$, then any $\Pi^{1}_{2}$-sentence valid in a structure of the form $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle$ reflects stationarily often in $S$.

Consider a $\Pi^{1}_{2}$-formula $\forall X\exists Y\varphi$, with integers $p,q$ such that $X$ is a $p$-ary second-order variable and $Y$ is a $q$-ary second-order variable. Suppose $\vec{A}=(A_{n})_{n\in\omega}$ is a sequence of finitary predicates on $\kappa$, and $\langle\kappa,{\in},\vec{A}\rangle\models\forall X\exists Y\varphi$. By the reduction established in the proof of Proposition 3.1 below, we may assume that $\vec{A}$ consists of a single predicate $A_{0}$ of arity, say, $m_{0}$. Recalling Convention 2.4 and since $M_{\kappa^{+}}=H_{\kappa^{+}}$, this altogether means that

[TABLE]

Let $\gamma$ be the least ordinal such that $\vec{Z},A_{0},S\in M_{\gamma}$. Note that $\kappa<\gamma<\kappa^{+}$. Let $\Delta$ denote the set of all $\delta\leq\kappa^{+}$ such that:

1. (a)

$\langle M_{\delta},{\in},\vec{M}\mathbin{\upharpoonright}\delta\rangle\models\textsf{{LCC}}(\kappa,\delta)$,666In particular, $\delta>\kappa$. 2. (b)

$\langle M_{\delta},{\in}\rangle\models\textsf{{ZF}}^{-}\ \&\ \kappa~{}\text{is the largest cardinal}$, 3. (c)

$\langle M_{\delta},{\in}\rangle\models\kappa\text{ is regular}\ \&\ S\text{ is stationary in }\kappa$, 4. (d)

$\langle M_{\delta},{\in}\rangle\models\Theta(x,y,a)~{}\text{defines a global well-order}$, 5. (e)

$\langle\kappa,{\in},A_{0}\rangle\models_{M_{\delta}}\forall X\exists Y\varphi$, 6. (f)

$\langle M_{\delta},{\in}\rangle\models\vec{Z}~{}\text{witness that}~{}S~{}\text{is not ineffable}$, and 7. (g)

$\delta>\gamma$.

As $\kappa^{+}\in\Delta$, it follows from Lemma 2.22 and elementarity that $\operatorname{otp}(\Delta\cap\kappa^{+})=\kappa^{+}$. Let $\{\delta_{n}\mathrel{|}\allowbreak n<\omega\}$ denote the increasing enumeration of the first $\omega$ many elements of $\Delta$.

Definition 2.24.4.1**.**

Let $T(\vec{M},\kappa,S,a,A_{0},\vec{Z},\gamma)$ denote the theory consisting of the following axioms:

1. (A)

$\vec{M}$ witness $\textsf{{LCC}}(\kappa,\kappa^{+})$, 2. (B)

$\textsf{{ZF}}^{-}\ \&\ \kappa~{}\text{is the largest cardinal}$, 3. (C)

$\kappa\text{ is regular}\ \&\ S\text{ is stationary in }\kappa$, 4. (D)

$\Theta(x,y,a)~{}\text{defines a global well-order}$, 5. (E)

$\langle\kappa,{\in},A_{0}\rangle\models\forall X\exists Y\varphi$, 6. (F)

$\vec{Z}\text{ witness that }S\text{ is not ineffable}$, 7. (G)

$\gamma$ is the least ordinal such that $\{\vec{Z},A_{0},S\}\in\vec{M}(\gamma)$.

Let $n<\omega$. Since $M_{\delta_{n}}$ is transitive, standard facts (cf. [Dra74, Chapter 3, §5]) yield the existence of a formula $\Psi$ in the language $\{\dot{\vec{M}},\in\}$ which is $\Delta_{1}^{\textsf{{ZF}}^{-}}$, and for all $\delta\in(\gamma,\delta_{n})$,

[TABLE]

Since $\{\delta_{k}\mathrel{|}\allowbreak k<\omega\}$ enumerates the first $\omega$ many elements of $\Delta$, $M_{\delta_{n}}$ believes that there are exactly $n$ ordinals $\delta$ such that Clauses (a)–(g) hold for $M_{\delta}$. In fact,

[TABLE]

Next, for every $n<\omega$, as $\langle M_{\delta_{n+1}},{\in}\rangle\models|\delta_{n}|=\kappa$, we may fix in $M_{\delta_{n+1}}$ a sequence $\vec{\mathfrak{B}_{n}}=\langle\mathcal{B}_{n,\alpha}\mathrel{|}\allowbreak\alpha<\kappa\rangle$ witnessing LCC at $\delta_{n}$ with respect to $\vec{M}\mathbin{\upharpoonright}\delta_{n+1}$ and $\vec{\mathcal{F}}_{A_{0},\kappa}$ such that, moreover,

[TABLE]

For every $n<\omega$, consider the club $C_{n}:=\{\alpha<\kappa\mathrel{|}\allowbreak B_{n,\alpha}\cap\kappa=\alpha\}$, and then let

[TABLE]

For every $n<\omega$, let $\beta_{n}$ be such that $\operatorname{clps}(\mathfrak{B}_{n,\alpha^{\prime}})=\langle M_{\beta_{n}},{\in},\ldots\rangle$, and let $j_{n}:M_{\beta_{n}}\rightarrow B_{n,\alpha^{\prime}}$ denote the inverse of the Mostowski collapse.

Subclaim 2.24.4.1**.**

Let $n\in\omega$. Then $j_{n}^{-1}(\gamma)=j_{0}^{-1}(\gamma)$.

Proof.

Since $j^{-1}_{n}(\vec{Z})=\vec{Z}\mathbin{\upharpoonright}\alpha^{\prime}$, $j^{-1}_{n}(A_{0})=A_{0}\cap(\alpha^{\prime})^{m_{0}}$ and $j^{-1}_{n}(S)=S\cap\alpha^{\prime}$, it follows from

[TABLE]

that

[TABLE]

Now, let $\bar{\gamma}$ be such that

[TABLE]

Since $\vec{M}$ is continuous, it follows that $\bar{\gamma}$ is a successor ordinal, that is, $\bar{\gamma}=\sup(\bar{\gamma})+1$. So $\langle M_{\beta_{0}},{\in},\vec{M}\mathbin{\upharpoonright}\beta_{0}\rangle$ satisfies the conjunction of the two:

• $\bullet$

$\{\vec{Z}\mathbin{\upharpoonright}\alpha^{\prime},A_{0}\cap(\alpha^{\prime})^{m_{0}},S\cap\alpha^{\prime}\}\subseteq M_{\bar{\gamma}}$, and

• $\bullet$

$\{\vec{Z}\mathbin{\upharpoonright}\alpha^{\prime},A_{0}\cap(\alpha^{\prime})^{m_{0}},S\cap\alpha^{\prime}\}\not\subseteq M_{\sup(\bar{\gamma})}$.

But the two are $\Delta_{0}$-formulas in the parameters $\vec{Z}\mathbin{\upharpoonright}\alpha^{\prime},A_{0}\cap(\alpha^{\prime})^{m_{0}},S\cap\alpha^{\prime},M_{\bar{\gamma}}$ and $M_{\sup(\bar{\gamma})}$, which are all elements of $M_{\beta_{0}}$. Therefore,

[TABLE]

so that $j^{-1}_{n}(\gamma)=\bar{\gamma}=j^{-1}_{0}(\gamma)$. ∎

Denote $\bar{\gamma}:=j^{-1}_{0}(\gamma)$. Let $\Psi$ be the same formula used in statement ($\star_{1}$). For all $n<\omega$ and $\bar{\beta}\in(\bar{\gamma},\beta_{n})$, setting $\beta:=j_{n}(\bar{\beta})$, by elementarity of $j_{n}$:

[TABLE]

Hence, for all $n<\omega$, by statements ($\star_{2}$) and ($\star_{3}$), it follows that

[TABLE]

and that, for each $k<n$, $j_{n}(\beta_{k})=\delta_{k}$.

Subclaim 2.24.4.2**.**

$\beta^{\prime}:=\sup_{n\in\omega}\beta_{n}$* is equal to $\sup(S_{\alpha^{\prime}})$.*

Proof.

For each $n<\omega$, as $\operatorname{clps}(\mathfrak{B}_{n,\alpha^{\prime}})=\langle M_{\beta_{n}},{\in},\ldots\rangle$, the proof of Subclaim 2.24.3.3, establishing that $\beta(\alpha)\in S_{\alpha}$, makes clear that $\beta_{n}\in S_{\alpha^{\prime}}$.

We first argue that $\beta^{\prime}\notin S_{\alpha^{\prime}}$ by showing that $\langle M_{\beta^{\prime}},{\in}\rangle\not\models\textsf{{ZF}}^{-}$, and then we will argue that no $\beta>\beta^{\prime}$ is in $S_{\alpha^{\prime}}$. Note that $\{\beta_{n}\mathrel{|}\allowbreak n<\omega\}$ is a definable subset of $\beta^{\prime}$ since it can be defined as the first $\omega$ ordinals to satisfy Clauses (a)–(g), replacing $\vec{M}\mathbin{\upharpoonright}\delta,\kappa,S,a,A_{0},\vec{Z},\gamma$ by $\vec{M}\mathbin{\upharpoonright}\beta,\alpha^{\prime},S\cap\alpha^{\prime},a\cap\alpha^{\prime},A_{0}\cap(\alpha^{\prime})^{m_{0}},\vec{Z}\mathbin{\upharpoonright}\alpha^{\prime},\bar{\gamma}$, respectively. So if $\langle M_{\beta^{\prime}},{\in}\rangle$ were to model $\textsf{{ZF}}^{-}$, we would have get that $\sup_{n<\omega}\beta_{n}$ is in $M_{\beta^{\prime}}$, contradicting the fact that $M_{\beta^{\prime}}\cap\operatorname{OR}=\beta^{\prime}$.

Now, towards a contradiction, suppose that there exists $\beta>\beta^{\prime}$ in $S_{\alpha^{\prime}}$, and let $\beta$ be the least such ordinal. In particular, $\langle M_{\beta},{\in}\rangle\models\textsf{{ZF}}^{-}$, and $\langle\beta_{n}\mathrel{|}\allowbreak n<\omega\rangle\in M_{\beta}$, so that $\langle M_{\beta_{n}}\mathrel{|}\allowbreak n\in\omega\rangle\in M_{\beta}$. We will reach a contradiction to Clause (iii) of the definition of $S_{\alpha^{\prime}}$, asserting, in particular, that $S\cap\alpha^{\prime}$ is stationary in $\langle M_{\beta},{\in}\rangle$.

For each $n<\omega$, we have that $\langle M_{\delta_{n+1}},{\in},\vec{M}\mathbin{\upharpoonright}\delta_{n+1}\rangle\models\Phi(C_{n},\delta_{n},\vec{\mathfrak{B}_{n}},\kappa),$ where $\Phi(C_{n},\delta_{n},\vec{\mathfrak{B_{n}}},\kappa)$ is the conjunction of the following two formulas:

• $\bullet$

$C_{n}=\{\alpha<\kappa\mathrel{|}\allowbreak B_{n,\alpha}\cap\kappa=\alpha\}$, and

• $\bullet$

$\vec{\mathfrak{B}_{n}}\text{ is the }{<_{\Theta}}\text{-least witness to }\textsf{{LCC}}\text{ at }\delta_{n}\text{ with respect to }\vec{M}\mathbin{\upharpoonright}\delta_{n+1}\text{ and }\mathcal{F}_{A_{0},\kappa}$.

Therefore, for $\overline{C_{n}}:=j_{n+1}^{-1}(C_{n})$ and $\overline{\mathfrak{B}_{n}}:=j_{n+1}^{-1}(\vec{\mathfrak{B}_{n}})$, we have

[TABLE]

In particular, $\overline{C_{n}}=j_{n+1}^{-1}(C_{n})=C_{n}\cap\alpha^{\prime}$. Recalling that $\alpha^{\prime}=\min((\bigcap_{n\in\omega}C_{n})\cap S)$, we infer that $\bigcap_{n<\omega}\overline{C_{n}}$ is disjoint from $S\cap\alpha^{\prime}$. Thus, to establish that $S\cap\alpha^{\prime}$ is nonstationary, it suffices to verify the two:

1. (1)

$\langle\overline{C_{n}}\mathrel{|}\allowbreak n<\omega\rangle$ belongs to $M_{\beta}$, and 2. (2)

for every $n<\omega$, $\langle M_{\beta},{\in}\rangle\models\overline{C_{n}}~{}\text{is a club in}~{}\alpha^{\prime}$.

As $\langle M_{\beta_{n}}\mathrel{|}\allowbreak n\in\omega\rangle\in M_{\beta}$, we can define $\langle\overline{\mathfrak{B}}_{n}\mathrel{|}\allowbreak n\in\omega\rangle$ using that, for all $n\in\omega$,

[TABLE]

This takes care of Clause (1), and shows that $\langle M_{\beta_{n+1}},{\in}\rangle\models\overline{C_{n}}\text{ is a club in }\alpha^{\prime}$. Since $M_{\beta}$ is transitive and the formula expressing that $\overline{C_{n}}$ is a club is $\Delta_{0}$, we have also taken care of Clause (2). ∎

It follows that $\alpha^{\prime}\in D$ and $f(\alpha^{\prime})=\sup(S_{\alpha^{\prime}})=\beta^{\prime}$.888Notice that the argument of this claim also showed that $D$ is stationary. Finally, as, for every $n<\omega$, we have

[TABLE]

we infer that $N_{\alpha^{\prime}}=M_{f(\alpha^{\prime})}=M_{\beta^{\prime}}=\bigcup_{n\in\omega}M_{\beta_{n}}$ is such that

[TABLE]

Indeed, otherwise there is $X_{0}\in[\alpha^{\prime}]^{p}\cap N_{\alpha^{\prime}}$ such that, for all $Y\in[\alpha^{\prime}]^{q}\cap N_{\alpha^{\prime}}$, ${N_{\alpha^{\prime}}}\models[\langle\alpha^{\prime},{\in},A_{0}\cap(\alpha^{\prime})^{m_{0}}\rangle\models\neg\varphi(X_{0},Y)]$. Find a large enough $n<\omega$ such that $X_{0}\in M_{\beta_{n}}$. Now, since $``\langle\alpha^{\prime},{\in},A_{0}\cap(\alpha^{\prime})^{m_{0}}\rangle\models\neg\varphi(X_{0},Y)"$ is a $\Delta_{1}^{\textsf{{ZF}}^{-}}$ formula on the parameters $\langle\alpha^{\prime},{\in},A_{0}\cap(\alpha^{\prime})^{m_{0}}\rangle$, $\varphi$, and since $M_{\beta_{n}}$ is transitive subset of $N_{\alpha^{\prime}}$ it follows that, for all $Y\in[\alpha^{\prime}]^{q}\cap M_{\beta_{n}}$, $M_{\beta_{n}}\models[\langle\alpha^{\prime},{\in},A_{0}\cap(\alpha^{\prime})^{m_{0}}\rangle\models\neg\varphi(X_{0},Y)]$, which is a contradiction. ∎

This completes the proof of Theorem 2.24. ∎

As a corollary we have found a strong combinatorial axiom that holds everywhere (including at ineffable sets) in canonical models of Set Theory (including Gödel’s constructible universe).

Corollary 2.25**.**

Suppose that:

• $\bullet$

$L[E]$* is an extender model with Jensen $\lambda$-indexing;*

• $\bullet$

$L[E]\models``\text{there are no subcompact cardinals}"$;

• $\bullet$

for every $\alpha\in\operatorname{OR}$, the premouse $L[E]||\alpha$ is weakly iterable.

Then, in $L[E]$, for every regular uncountable cardinal $\kappa$, for every stationary $S\subseteq\kappa$, $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds.

Proof.

Work in $L[E]$. Let $\kappa$ be any regular and uncountable cardinal. By Fact 2.15, $\vec{M}=\langle L_{\beta}[E]\mathrel{|}\allowbreak\beta<\kappa^{+}\rangle$ witnesses that $\textsf{{LCC}}(\kappa,\kappa^{+})$ holds. Since $L_{\kappa^{+}}[E]$ is an acceptable $J$-structure,999For the definition of acceptable $J$-structure, see [Zem02, p. 4]. $\vec{M}$ is a nice filtration of $L_{\kappa^{+}}[E]$ that is eventually slow at $\kappa$. In addition (cf. [SZ10, Lemma 1.11]), there is a $\Sigma_{1}$-formula $\Theta$ for which

[TABLE]

defines a well-ordering of $L_{\kappa^{+}}[E]$. Finally, acceptability implies that $L_{\kappa^{+}}[E]=H_{\kappa^{+}}$. Now, appeal to Theorem 2.24. ∎

3. Universality of inclusion modulo nonstationary

Throughout this section, $\kappa$ denotes a regular uncountable cardinal satisfying $\kappa^{<\kappa}=\kappa$. Here, we will be proving Theorems B and C. Before we can do that, we shall need to establish a transversal lemma, as well as fix some notation and coding that will be useful when working with structures of the form $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle$.

Proposition 3.1** (Transversal lemma).**

Suppose that $\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ is a $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$-sequence, for a given stationary $S\subseteq\kappa$. For every $\Pi^{1}_{2}$-sentence $\phi$, there exists a transversal $\langle\eta_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle\in\prod_{\alpha\in S}N_{\alpha}$ satisfying the following.

For every $\eta\in\kappa^{\kappa}$, whenever $\langle\kappa,{\in},(A_{n})_{n\in\omega}\rangle\models\phi$, there are stationarily many $\alpha\in S$ such that

1. (i)

$\eta_{\alpha}=\eta\mathbin{\upharpoonright}\alpha$, and 2. (ii)

$\langle\alpha,{\in},(A_{n}\cap(\alpha^{m(\mathbb{A}_{n})}))_{n\in\omega}\rangle\models_{N_{\alpha}}\phi$.

Proof.

Let $c:\kappa\times\kappa\leftrightarrow\kappa$ be some primitive-recursive pairing function. For each $\alpha\in S$, fix a surjection $f_{\alpha}:\kappa\rightarrow N_{\alpha}$ such that $f_{\alpha}[\alpha]=N_{\alpha}$ whenever $|N_{\alpha}|=|\alpha|$. Then, for all $i<\kappa$, as $f_{\alpha}(i)\in N_{\alpha}$, we may define a set $\eta^{i}_{\alpha}$ in $N_{\alpha}$ by letting

[TABLE]

We claim that for every $\Pi^{1}_{2}$-sentence $\phi$, there exists $i(\phi)<\kappa$ for which $\langle\eta_{\alpha}^{i(\phi)}\mathrel{|}\allowbreak\alpha\in S\rangle$ satisfies the conclusion of our proposition. Before we prove this, let us make a few reductions.

First of all, it is clear that for every $\Pi^{1}_{2}$-sentence $\phi=\forall X\exists Y\varphi$, there exists a large enough $n^{\prime}<\omega$ such that all predicates mentioned in $\varphi$ are in $\{\epsilon,\mathbb{X},\mathbb{Y},\mathbb{A}_{n}\mathrel{|}\allowbreak n<n^{\prime}\}$. So the only structures of interest for $\phi$ are in fact $\langle\alpha,{\in},(A_{n})_{n<n^{\prime}}\rangle$, where $\alpha\leq\kappa$. Let $m^{\prime}:=\max\{m(\mathbb{A}_{n})\mathrel{|}\allowbreak n<n^{\prime}\}$. Then, by a trivial manipulation of $\varphi$, we may assume that the only structures of interest for $\phi$ are in fact $\langle\alpha,{\in},A_{0}\rangle$, where $\omega\leq\alpha\leq\kappa$ and $m(\mathbb{A}_{0})=m^{\prime}+1$.

Having the above reductions in hand, we now fix a $\Pi^{1}_{2}$-sentence $\phi=\forall X\exists Y\varphi$ and positive integers $m$ and $k$ such that the only predicates mentioned in $\varphi$ are in $\{\epsilon,\mathbb{X},\mathbb{Y},\mathbb{A}_{0}\}$, $m(\mathbb{A}_{0})=m$ and $m(\mathbb{Y})=k$.

Claim 3.1.1**.**

There exists $i<\kappa$ satisfying the following. For all $\eta\in\kappa^{\kappa}$ and $A\subseteq\kappa^{m}$, whenever $\langle\kappa,{\in},A\rangle\models\phi$, there are stationarily many $\alpha\in S$ such that

1. (i)

$\eta^{i}_{\alpha}=\eta\mathbin{\upharpoonright}\alpha$, and 2. (ii)

$\langle\alpha,{\in},A\cap(\alpha^{m})\rangle\models_{N_{\alpha}}\phi$.

Proof.

Suppose not. Then, for every $i<\kappa$, we may fix $\eta_{i}\in\kappa^{\kappa}$, $A_{i}\subseteq\kappa^{m}$ and a club $C_{i}\subseteq\kappa$ such that $\langle\kappa,{\in},A_{i}\rangle\models\phi$, but, for all $\alpha\in C_{i}\cap S$, one of the two fails:

1. (i)

$\eta_{\alpha}^{i}=\eta_{i}\mathbin{\upharpoonright}\alpha$, or 2. (ii)

$\langle\alpha,{\in},A_{i}\cap(\alpha^{m})\rangle\models_{N_{\alpha}}\phi$.

Let

• $\bullet$

$Z:=\{c(i,c(\beta,\gamma))\mathrel{|}\allowbreak i<\kappa,(\beta,\gamma)\in\eta_{i}\}$,

• $\bullet$

$A:=\{(i,\delta_{1},\ldots,\delta_{m})\mathrel{|}\allowbreak i<\kappa,(\delta_{1},\ldots,\delta_{m})\in A_{i}\}$, and

• $\bullet$

$C:=\bigtriangleup_{i<\kappa}\{\alpha\in C_{i}\mathrel{|}\allowbreak\eta_{i}[\alpha]\subseteq\alpha\}$.

Fix a variable $i$ that does not occur in $\varphi$. Define a first-order sentence $\psi$ mentioning only the predicates in $\{\epsilon,\mathbb{X},\mathbb{Y},\mathbb{A}_{1}\}$ with $m(\mathbb{A}_{1})=1+m$ and $m(\mathbb{Y})=1+k$ by replacing all occurrences of the form $\mathbb{A}_{0}(x_{1},\ldots,x_{m})$ and $\mathbb{Y}(y_{1},\ldots,y_{k})$ in $\varphi$ by $\mathbb{A}_{1}(i,x_{1},\ldots,x_{m})$ and $\mathbb{Y}(i,y_{1},\ldots,y_{k})$, respectively. Then, let $\varphi^{\prime}:=\forall i(\psi)$, and finally let $\phi^{\prime}:=\forall X\exists Y\varphi^{\prime}$, so that $\phi^{\prime}$ is a $\Pi^{1}_{2}$-sentence.

A moment reflection makes it clear that $\langle\kappa,{\in},A\rangle\models\phi^{\prime}$. Thus, let $S^{\prime}$ denote the set of all $\alpha\in S$ such that all of the following hold:

1. (1)

$\alpha\in C$; 2. (2)

$c[\alpha\times\alpha]=\alpha$; 3. (3)

$Z\cap\alpha\in N_{\alpha}$; 4. (4)

$|N_{\alpha}|=|\alpha|$; 5. (5)

$\langle\alpha,{\in},A\cap(\alpha^{m+1})\rangle\models_{N_{\alpha}}\phi^{\prime}$.

By hypothesis, $S^{\prime}$ is stationary. For all $\alpha\in S^{\prime}$, by Clauses (3) and (4), we have $Z\cap\alpha\in N_{\alpha}=f_{\alpha}[\alpha]$, so, by Fodor’s lemma, there exists some $i<\kappa$ and a stationary $S^{\prime\prime}\subseteq S^{\prime}\setminus(i+1)$ such that, for all $\alpha\in S^{\prime\prime}$:

1. (3’)

$Z\cap\alpha=f_{\alpha}(i)$.

Let $\alpha\in S^{\prime\prime}$. By Clause (5), we in particular have

1. (5’)

$\langle\alpha,{\in},A_{i}\cap(\alpha^{m})\rangle\models_{N_{\alpha}}\phi$.

Also, by Clause (1), we have $\alpha\in C_{i}$, and so we must conclude that $\eta_{i}\mathbin{\upharpoonright}\alpha\neq\eta^{i}_{\alpha}$. However, $\eta_{i}[\alpha]\subseteq\alpha$, and $Z\cap\alpha=f_{\alpha}(i)$, so that, by Clause (2),

[TABLE]

This is a contradiction. ∎

This completes the proof of Proposition 3.1. ∎

Lemma 3.2**.**

There is a first-order sentence $\psi_{\operatorname{fnc}}$ in the language with binary predicate symbols $\epsilon$ and $\mathbb{X}$ such that, for every ordinal $\alpha$ and every $X\subseteq\alpha\times\alpha$,

[TABLE]

Proof.

Let $\psi_{\operatorname{fnc}}:=\forall\beta\exists\gamma(\mathbb{X}(\beta,\gamma)\land(\forall\delta(\mathbb{X}(\beta,\delta)\rightarrow\delta=\gamma)))$. ∎

Lemma 3.3**.**

Let $\alpha$ be an ordinal. Suppose that $\phi$ is a $\Sigma^{1}_{1}$-sentence involving a predicate symbol $\mathbb{A}$ and two binary predicate symbols $\mathbb{X}_{0},\mathbb{X}_{1}$. Denote $R_{\phi}:=\{(X_{0},X_{1})\mathrel{|}\allowbreak\langle\alpha,{\in},A,X_{0},X_{1}\rangle\models\phi\}$. Then there are $\Pi^{1}_{2}$-sentences $\psi_{\operatorname{Reflexive}}$ and $\psi_{\operatorname{Transitive}}$ such that:

1. (1)

$(R_{\phi}\supseteq\{(\eta,\eta)\mathrel{|}\allowbreak\eta\in\alpha^{\alpha}\})$* iff $(\langle\alpha,{\in},A\rangle\models\psi_{\operatorname{Reflexive}})$;* 2. (2)

$(R_{\phi}\text{ is transitive})$* iff $(\langle\alpha,{\in},A\rangle\models\psi_{\operatorname{Transitive}})$.*

Proof.

1. (1)

Fix a first-order sentence $\psi_{\operatorname{fnc}}$ such that ($X_{0}\in\alpha^{\alpha}$) iff ($\langle\alpha,{\in},X_{0}\rangle\models\psi_{\operatorname{fnc}}$). Now, let $\psi_{\operatorname{Reflexive}}$ be $\forall X_{0}\forall X_{1}((\psi_{\operatorname{fnc}}\land(X_{1}=X_{0}))\rightarrow\phi)$. 2. (2)

Fix a $\Sigma^{1}_{1}$-sentence $\phi^{\prime}$ involving predicate symbols $\mathbb{A},\mathbb{X}_{1},\mathbb{X}_{2}$ and a $\Sigma^{1}_{1}$-sentence $\phi^{\prime\prime}$ involving binary symbols $\mathbb{A},\mathbb{X}_{0},\mathbb{X}_{2}$ such that

[TABLE]

Now, let $\psi_{\operatorname{Transitive}}:=\forall X_{0}\forall X_{1}\forall X_{2}((\phi\land\phi^{\prime})\rightarrow\phi^{\prime\prime})$.∎

Definition 3.4**.**

Denote by $\operatorname{Lev}_{3}(\kappa)$ the set of level sequences in $\kappa^{<\kappa}$ of length $3$:

[TABLE]

Fix an injective enumeration $\{\ell_{\delta}\mathrel{|}\allowbreak\delta<\kappa\}$ of $\operatorname{Lev}_{3}(\kappa)$. For each $\delta<\kappa$, we denote $\ell_{\delta}=(\ell_{\delta}^{0},\ell_{\delta}^{1},\ell_{\delta}^{2})$. We then encode each $T\subseteq\operatorname{Lev}_{3}(\kappa)$ as a subset of $\kappa^{5}$ via:

[TABLE]

We now prove Theorem C.

Theorem 3.5**.**

Suppose $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds for a given stationary $S\subseteq\kappa$.

For every analytic quasi-order $Q$ over $\kappa^{\kappa}$, there is a $1$-Lipschitz map $f:\kappa^{\kappa}\rightarrow 2^{\kappa}$ reducing $Q$ to $\mathrel{\subseteq^{S}}$.

Proof.

Let $Q$ be an analytic quasi-order over $\kappa^{\kappa}$. Fix a tree $T$ on $\kappa^{<\kappa}\times\kappa^{<\kappa}\times\kappa^{<\kappa}$ such that $Q=\operatorname{pr}([T])$, that is,

[TABLE]

We shall be working with a first-order language having a $5$-ary predicate symbol $\mathbb{A}$ and binary predicate symbols $\mathbb{X}_{0},\mathbb{X}_{1},\mathbb{X}_{2}$ and $\epsilon$. By Lemma 3.2, for each $i<3$, let us fix a sentence $\psi_{\operatorname{fnc}}^{i}$ concerning the binary predicate symbol $\mathbb{X}_{i}$ instead of $\mathbb{X}$, so that

[TABLE]

Define a sentence $\varphi_{Q}$ to be the conjunction of four sentences: $\psi_{\operatorname{fnc}}^{0}$, $\psi^{1}_{\operatorname{fnc}}$, $\psi^{2}_{\operatorname{fnc}}$, and

[TABLE]

Set $A:=T_{\ell}$ as in Definition 3.4. Evidently, for all $\eta,\xi,\zeta\in\mathcal{P}(\kappa\times\kappa)$, we get that

[TABLE]

iff the two hold:

1. (1)

$\eta,\xi,\zeta\in\kappa^{\kappa}$, and 2. (2)

for every $\tau<\kappa$, there exists $\delta<\kappa$, such that $\ell_{\delta}=(\eta\mathbin{\upharpoonright}\tau,\xi\mathbin{\upharpoonright}\tau,\zeta\mathbin{\upharpoonright}\tau)$ is in $T$.

Let $\phi_{Q}:=\exists X_{2}(\varphi_{Q})$. Then $\phi_{Q}$ is a $\Sigma^{1}_{1}$-sentence involving predicate symbols $\mathbb{A},\mathbb{X}_{0},\mathbb{X}_{1}$ and $\epsilon$ for which the induced binary relation

[TABLE]

coincides with the quasi-order $Q$. Now, appeal to Lemma 3.3 with $\phi_{Q}$ to receive the corresponding $\Pi^{1}_{2}$-sentences $\psi_{\operatorname{Reflexive}}$ and $\psi_{\operatorname{Transitive}}$. Then, consider the following two $\Pi^{1}_{2}$-sentences:

• $\bullet$

$\psi^{0}_{Q}:=\psi_{\operatorname{Reflexive}}\land\psi_{\operatorname{Transitive}}\land\phi_{Q}$, and

• $\bullet$

$\psi^{1}_{Q}:=\psi_{\operatorname{Reflexive}}\land\psi_{\operatorname{Transitive}}\land\neg(\phi_{Q})$.

Let $\vec{N}=\langle N_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$ be a $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$-sequence. Appeal to Proposition 3.1 with the $\Pi^{1}_{2}$-sentence $\psi^{1}_{Q}$ to obtain a corresponding transversal $\langle\eta_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle\in\prod_{\alpha\in S}N_{\alpha}$. Note that we may assume that, for all $\alpha\in S$, $\eta_{\alpha}\in{}^{\alpha}\alpha$, as this does not harm the key feature of the chosen transversal.101010For any $\alpha$ such that $\eta_{\alpha}$ is not a function from $\alpha$ to $\alpha$, simply replace $\eta_{\alpha}$ by the constant function from $\alpha$ to $\{0\}$.

For each $\eta\in\kappa^{\kappa}$, let

[TABLE]

Claim 3.5.1**.**

Suppose $\eta\in\kappa^{\kappa}$. Then $S\setminus Z_{\eta}$ is nonstationary.

Proof.

Fix primitive-recursive bijections $c:\kappa^{2}\leftrightarrow\kappa$ and $d:\kappa^{5}\leftrightarrow\kappa$. Given $\eta\in\kappa^{\kappa}$, consider the club $D_{0}$ of all $\alpha<\kappa$ such that:

• $\bullet$

$\eta[\alpha]\subseteq\alpha$;

• $\bullet$

$c[\alpha\times\alpha]=\alpha$;

• $\bullet$

$d[\alpha\times\alpha\times\alpha\times\alpha\times\alpha]=\alpha$.

Now, as $c[\eta]$ is a subset of $\kappa$, by the choice $\vec{N}$, we may find a club $D_{1}\subseteq\kappa$ such that, for all $\alpha\in D_{1}\cap S$, $c[\eta]\cap\alpha\in N_{\alpha}$. Likewise, we may find a club $D_{2}\subseteq\kappa$ such that, for all $\alpha\in D_{2}\cap S$, $d[A]\cap\alpha\in N_{\alpha}$.

For all $\alpha\in S\cap D_{0}\cap D_{1}\cap D_{2}$, we have

• $\bullet$

$c[\eta\mathbin{\upharpoonright}\alpha]=c[\eta\cap(\alpha\times\alpha)]=c[\eta]\cap c[\alpha\times\alpha]=c[\eta]\cap\alpha\in N_{\alpha}$, and

• $\bullet$

$d[A\cap\alpha^{5}]=d[A]\cap d[\alpha^{5}]=d[A]\cap\alpha\in N_{\alpha}$.

As $N_{\alpha}$ is p.r.-closed, it then follows that $\eta\mathbin{\upharpoonright}\alpha$ and $A\cap\alpha^{5}$ are in $N_{\alpha}$. Thus, we have shown that $S\setminus Z_{\eta}$ is disjoint from the club $D_{0}\cap D_{1}\cap D_{2}$. ∎

For all $\eta\in\kappa^{\kappa}$ and $\alpha\in Z_{\eta}$, let:

[TABLE]

Finally, define a function $f:\kappa^{\kappa}\rightarrow 2^{\kappa}$ by letting, for all $\eta\in\kappa^{\kappa}$ and $\alpha<\kappa$,

[TABLE]

Claim 3.5.2**.**

$f$* is $1$-Lipschitz.*

Proof.

Let $\eta,\xi$ be two distinct elements of $\kappa^{\kappa}$. Let $\alpha\leq\Delta(\eta,\xi)$ be arbitrary.

As $\eta\mathbin{\upharpoonright}\alpha=\xi\mathbin{\upharpoonright}\alpha$, we have $\alpha\in Z_{\eta}$ iff $\alpha\in Z_{\xi}$. In addition, as $\eta\mathbin{\upharpoonright}\alpha=\xi\mathbin{\upharpoonright}\alpha$, $\mathcal{P}_{\eta,\alpha}=\mathcal{P}_{\xi,\alpha}$ whenever $\alpha\in Z_{\eta}$. Thus, altogether, $f(\eta)(\alpha)=1$ iff $f(\xi)(\alpha)=1$. ∎

Claim 3.5.3**.**

Suppose $(\eta,\xi)\in Q$. Then $f(\eta)\mathrel{\subseteq^{S}}f(\xi)$.

Proof.

As $(\eta,\xi)\in Q$, let us fix $\zeta\in\kappa^{\kappa}$ such that, for all $\tau<\kappa$, $(\eta\mathbin{\upharpoonright}\tau,\xi\mathbin{\upharpoonright}\tau,\zeta\mathbin{\upharpoonright}\tau)\in T$. Define a function $g:\kappa\rightarrow\kappa$ by letting, for all $\tau<\kappa$,

[TABLE]

As $(S\setminus Z_{\eta})$, $(S\setminus Z_{\xi})$ and $(S\setminus Z_{\zeta})$ are nonstationary, let us fix a club $C\subseteq\kappa$ such that $C\cap S\subseteq Z_{\eta}\cap Z_{\xi}\cap Z_{\zeta}$. Consider the club $D:=\{\alpha\in C\mathrel{|}\allowbreak g[\alpha]\subseteq\alpha\}$. We shall show that, for every $\alpha\in D\cap S$, if $f(\eta)(\alpha)=1$ then $f(\xi)(\alpha)=1$.

Fix an arbitrary $\alpha\in D\cap S$ satisfying $f(\eta)(\alpha)=1$. In effect, the following three conditions are satisfied:

1. (1)

$\langle\alpha,{\in},A\cap\alpha^{5}\rangle\models_{N_{\alpha}}\psi_{\operatorname{Reflexive}}$, 2. (2)

$\langle\alpha,{\in},A\cap\alpha^{5}\rangle\models_{N_{\alpha}}\psi_{\operatorname{Transitive}}$, and 3. (3)

$\langle\alpha,{\in},A\cap\alpha^{5},\eta_{\alpha},\eta\mathbin{\upharpoonright}\alpha\rangle\models_{N_{\alpha}}\phi_{Q}$.

In addition, since $\alpha$ is a closure point of $g$, by definition of $\varphi_{Q}$, we have

[TABLE]

As $\alpha\in S$ and $\varphi_{Q}$ is first-order,111111$N_{\alpha}$ is transitive and rud-closed (in fact, p.r.-closed), so that $N_{\alpha}\models\textsf{{GJ}}$ (see [Mat06, §Other remarks on GJ]). Now, by [Mat06, §The cure in GJ, proposition 10.31], $\mathbf{Sat}$ is $\Delta_{1}^{\textsf{{GJ}}}$.

[TABLE]

so that, by definition of $\phi_{Q}$,

[TABLE]

By combining the preceding with clauses (2) and (3) above, we infer that the following holds, as well:

1. (4)

$\langle\alpha,{\in},A\cap\alpha^{5},\eta_{\alpha},\xi\mathbin{\upharpoonright}\alpha\rangle\models_{N_{\alpha}}\phi_{Q}$.

Altogether, $f(\xi)(\alpha)=1$, as sought. ∎

Claim 3.5.4**.**

Suppose $(\eta,\xi)\in\kappa^{\kappa}\times\kappa^{\kappa}\setminus Q$. Then $f(\eta)\not\mathrel{\subseteq^{S}}f(\xi)$.

Proof.

As $(S\setminus Z_{\eta})$ and $(S\setminus Z_{\xi})$ are nonstationary, let us fix a club $C\subseteq\kappa$ such that $C\cap S\subseteq Z_{\eta}\cap Z_{\xi}$. As $Q$ is a quasi-order and $(\eta,\xi)\notin Q$, we have:

1. (1)

$\langle\kappa,{\in},A\rangle\models\psi_{\operatorname{Reflexive}}$, 2. (2)

$\langle\kappa,{\in},A\rangle\models\psi_{\operatorname{Transitive}}$, and 3. (3)

$\langle\kappa,{\in},A,\eta,\xi\rangle\models\neg(\phi_{Q})$.

so that, altogether,

[TABLE]

Then, by the choice of the transversal $\langle\eta_{\alpha}\mathrel{|}\allowbreak\alpha\in S\rangle$, there is a stationary subset $S^{\prime}\subseteq S\cap C$ such that, for all $\alpha\in S^{\prime}$:

1. (1’)

$\langle\alpha,{\in},A\cap\alpha^{5}\rangle\models_{N_{\alpha}}\psi_{\operatorname{Reflexive}}$, 2. (2’)

$\langle\alpha,{\in},A\cap\alpha^{5}\rangle\models_{N_{\alpha}}\psi_{\operatorname{Transitive}}$, 3. (3’)

$\langle\alpha,{\in},A\cap\alpha^{5},\eta\mathbin{\upharpoonright}\alpha,\xi\mathbin{\upharpoonright}\alpha\rangle\models_{N_{\alpha}}\neg(\phi_{Q})$, and 4. (4’)

$\eta_{\alpha}=\eta\mathbin{\upharpoonright}\alpha$.

By Clauses (3’) and (4’), we have that $\eta_{\alpha}\notin\mathcal{P}_{\xi,\alpha}$, so that $f(\xi)(\alpha)=0$.

By Clauses (1’), (2’) and (4’), we have that $\eta_{\alpha}\in\mathcal{P}_{\eta,\alpha}$, so that $f(\eta)(\alpha)=1$.

Altogether, $\{\alpha\in S\mathrel{|}\allowbreak f(\eta)(\alpha)>f(\xi)(\alpha)\}$ covers the stationary set $S^{\prime}$, so that $f(\eta)\not\mathrel{\subseteq^{S}}f(\xi)$. ∎

This completes the proof of Theorem 3.5 ∎

Theorem B now follows as a corollary.

Corollary 3.6**.**

Suppose that $\kappa$ is a regular uncountable cardinal and GCH holds. Then there is a set-size cofinality-preserving GCH-preserving notion of forcing $\mathbb{P}$, such that, in $V^{\mathbb{P}}$, for every analytic quasi-order $Q$ over $\kappa^{\kappa}$ and every stationary $S\subseteq\kappa$, ${Q}\hookrightarrow_{1}{\mathrel{\subseteq^{S}}}$.

Proof.

This follows from Theorems 2.24 and 3.5, and one of the following:

$\blacktriangleright$ If $\kappa$ is inaccessible, then we use Fact 2.13 and Lemma 2.20.

$\blacktriangleright$ If $\kappa$ is a successor cardinal, then we use Fact 2.14 and Lemma 2.19.∎

Remark 3.7*.*

By combining the proof of the preceding with a result of Lücke [Lüc12, Theorem 1.5], we arrive at following conclusion. Suppose that $\kappa$ is an infinite successor cardinal and GCH holds. For every binary relation $R$ over $\kappa^{\kappa}$, there is a set-size GCH-preserving $({<}\kappa)$-closed, $\kappa^{+}$-cc notion of forcing $\mathbb{P}_{R}$ such that, in $V^{\mathbb{P}_{R}}$, the conclusion of Corollary 3.6 holds, and, in addition, $R$ is analytic.

Remark 3.8*.*

A quasi-order $\unlhd$ over a space $X\in\{2^{\kappa},\kappa^{\kappa}\}$ is said to be $\Sigma^{1}_{1}$-complete iff it is analytic and, for every analytic quasi-order $Q$ over $X$, there exists a $\kappa$-Borel function $f:X\rightarrow X$ reducing $Q$ to $\unlhd$. As Lipschitz$\implies$continuous\implies$$\kappa-Borel, the conclusion of Corollary 3.6 gives that each $\mathrel{\subseteq^{S}}$ is a $\Sigma^{1}_{1}$-complete quasi-order. Such a consistency was previously only known for $S$’s of one of two specific forms, and the witnessing maps were not Lipschitz.

4. Concluding remarks

Remark 4.1*.*

By [HKM18, Corollary 4.5], in $L$, for every successor cardinal $\kappa$ and every theory (not necessarily complete) $T$ over a countable relational language, the corresponding equivalence relation $\cong_{T}$ over $2^{\kappa}$ is either $\Delta^{1}_{1}$ or $\Sigma^{1}_{1}$-complete. This dissatisfying dichotomy suggests that $L$ is a singular universe, unsuitable for studying the correspondence between generalized descriptive set theory and model-theoretic complexities. However, using Theorem 3.5, it can be verified that the above dichotomy holds as soon as $\kappa$ is a successor of an uncountable cardinal $\lambda=\lambda^{<\lambda}$ in which $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds for both $S:=\kappa\cap\operatorname{cof}(\omega)$ and $S:=\kappa\cap\operatorname{cof}(\lambda)$. This means that the dichotomy is in fact not limited to $L$ and can be forced to hold starting with any ground model.

Remark 4.2*.*

Let $=^{S}$ denote the symmetric version of $\mathrel{\subseteq^{S}}$. It is well known that, in the special case $S:=\kappa\cap\operatorname{cof}(\omega)$, $=^{S}$ is a $\kappa$-Borel∗ equivalence relation [MV93, §6]. It thus follows from Theorem 3.5 that if $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ holds for $S:=\kappa\cap\operatorname{cof}(\omega)$, then the class of $\Sigma^{1}_{1}$ sets coincides with the class of $\kappa$-Borel∗ sets. Now, as the proof of [HK18, Theorem 3.1] establishes that the failure of the preceding is consistent with, e.g., $\kappa=\aleph_{2}=2^{2^{\aleph_{0}}}$, which in turn, by [Gre76, Lemma 2.1], implies that $\diamondsuit^{*}_{S}$ holds, we infer that the hypothesis $\operatorname{Dl}^{*}_{S}(\Pi^{1}_{2})$ of Theorem 3.5 cannot be replaced by $\diamondsuit^{*}_{S}$. We thus feel that we have identified the correct combinatorial principle behind a line of results that were previously obtained under the heavy hypothesis of “$V=L$”.

Acknowledgements

This research was partially supported by the European Research Council (grant agreement ERC-2018-StG 802756). The third author was also partially supported by the Israel Science Foundation (grant agreement 2066/18).

The main results of this paper were presented by the second author at the 4th Arctic Set Theory workshop, Kilpisjärvi, January 2019, by the third author at the 50 Years of Set Theory in Toronto conference, Toronto, May 2019, and by the first author at the Berkeley conference on inner model theory, Berkeley, July 2019. We thank the organizers for the invitations.