format: text

text:
# Weak reflection at the successor of singular

## 0 Introduction and the statement of the results.

Stationary reflection is a compactness phenomenon in the context of stationary sets. To motivate its investigation, let us consider first the situation of a regular uncountable cardinal $`\kappa `$ and a closed unbounded subset $`C`$ of $`\kappa `$. For every of $`\kappa `$ many limit points $`\alpha `$ of $`C`$, we have that $`C\alpha `$ is closed unbounded in $`\alpha `$. Now let us ask the same question, but starting with a set $`S`$ which is stationary, not necessarily club, in $`\kappa `$. Is there necessarily $`\alpha <\kappa `$ such that $`S\alpha `$ is stationary in $`\alpha `$-in the lingo of set theorists, $`S`$ reflects at $`\alpha `$? The answer to this question turns to be very intricate, and in fact the notion of stationary reflection is one of the most studied notions of combinatorial set theory. This is the case not only because of the historical significance stationary reflection achieved through by now classical work of R. Jensen \[Je\] and later work of J.E. Baumgartner \[Ba\], L. Harrington and S. Shelah \[HaSh 99\], M. Magidor \[Ma\] and many later papers, but also because of the large number of applications it has in set theory and allied areas. In set theory, stationary reflection is known to have deep connections with various guessing principles, the simplest one of which is Jensen’s $`\mathrm{}`$ (\[Je\]), and the notions from pcf theory, such as good scales (for a long list of results in this area, as well as an excellent list of references, we refer the reader to \[CuFoMa\]), and some connections with saturation of normal filters (\[DjSh 545\]). In set-theoretic topology, various kinds of spaces have been constructed from the assumption of the existence of a non-reflecting stationary set (for references see \[KuVa\]), and in model theory versions of stationary reflection have been shown to have a connection with decidability of monadic second-order logic (\[Sh 80\]).

We investigate the notion of weak reflection, which, as the name suggests, is a weakening of the stationary reflection. For a regular cardinal $`\kappa `$, we say that $`\lambda >\kappa `$ weakly reflects at $`\kappa `$ iff for every function $`f:\lambda \kappa `$, there is $`\delta <\lambda `$ of cofinality $`\kappa `$ (we say $`\delta S_\kappa ^\lambda `$) such that $`fe`$ is not strictly increasing for any $`e`$ a club of $`\delta `$. Its negation is a strong form of non-reflection, called strong non-reflection. The notions were introduced by Džamonja and Shelah in \[DjSh 545\] in connection with saturation of normal filters, as well as the guessing principle $`\mathrm{}_\lambda ^{}(\lambda ^+)`$, which a relative of another popular guessing principle, $`\mathrm{}`$. It is proved in \[DjSh 545\] that, in the case when $`\lambda =\mu ^+`$ and $`\mathrm{}_0<\kappa =\mathrm{cf}(\mu )<\mu `$, if weak reflection of $`\lambda `$ at $`\kappa `$ holds relativized to every stationary subset of $`S_\kappa ^\lambda `$, then $`\mathrm{}_\mu ^{}(S_\kappa ^\lambda )`$ holds. The exact statement of the principle is of no consequence to us here, so we omit the definition. We simply note that this statement is stronger than just $`\mathrm{}_\mu ^{}(\lambda )`$, which holds just from the given cardinal assumptions.

Weak reflection was further investigated by Cummings, Džamonja and Shelah in \[CuDjSh 571\], more about which will be mentioned in a moment. Weak reflection has a very interesting aplication given by Cummings and Shelah in \[CuSh 596\], where they use it as a tool to build models where stationary reflection holds for some cofinalities but fails badly for others.

It was proved in \[DjSh 545\] that if there is $`\lambda `$ which weakly reflects at $`\kappa `$, the first such $`\lambda `$ is a regular cardinal. It is also not difficult to see that the first $`\lambda `$ cannot be weakly compact. On the other hand, in \[CuDjSh 571\] Cummings, Džamonja and Shelah proved that, modulo the existence of certain large cardinals, it is consistent to have a cardinal $`\lambda `$ which weakly reflects at unboundedly many regular $`\kappa `$ below it, and strongly non-reflects at unboundedly many others.

A question left open by these investigations, was if it is consistent to have $`\kappa `$ for which the first $`\lambda `$ which weakly reflects at $`\kappa `$, is a successor of singular. We answer this question positively, modulo the existence of a certain large cardinal, whose strength is in the neighborhood of being 2-huge. To state our results more precisely, let us give the exact definition of weak reflection and the statement of our main theorem.

###### Definition 0.1

Given $`\mathrm{}_0<\kappa =\mathrm{cf}(\kappa )`$ and $`\lambda >\kappa `$. We say that $`\lambda `$ weakly reflects at $`\kappa `$ iff for every function $`f:\lambda \kappa `$, there is $`\delta S_\kappa ^\lambda `$ such that $`fe`$ is not strictly increasing for any $`e`$ a club of $`\delta `$.

###### Theorem 0.2

(1) Let $`V`$ be a universe in which $`GCH`$ holds and $`\mu _0`$ is a cardinal such that there is an elementary embedding $`𝐣:VM`$ with the following properties:

(i) $`\mathrm{crit}(𝐣)=\mu _0`$,

(ii) For some $`\kappa ^{}`$ a successor of singular and $`\chi `$, we have

$$\mu _0<\kappa ^{}<\mu _1\stackrel{\mathrm{def}}{=}𝐣(\mu _0)<\lambda ^{}\stackrel{\mathrm{def}}{=}𝐣(\kappa ^{})<\mathrm{cf}(\chi )=\chi <\mu _2\stackrel{\mathrm{def}}{=}𝐣(\mu _1),$$

(iii) $`{}_{}{}^{\chi }MM`$.

Then there is a generic extension of $`V`$ in which cardinals and cofinalities $`\mu _0`$ are preserved, and the first $`\lambda `$ weakly reflecting at $`\kappa ^{}`$ is $`\lambda ^{}`$ (hence, a successor of singular).

(2) In (1), we can replace the requirement that $`\kappa ^{}`$ is a successor of singular by “$`\phi (\kappa ^{})`$ holds” for any of the following meanings of $`\phi (x)`$:

(a) $`x`$ is inaccessible,

(b) $`x`$ is strongly inaccessible,

(c) $`x`$ is Mahlo,

(d) $`x`$ is strongly Mahlo,

(e) $`x`$ is $`\alpha `$-(strongly) inaccessible for $`\alpha <x`$,

(e) $`x`$ is $`\alpha `$-(strongly) Mahlo for $`\alpha <x`$,

and have the same conclusion (hence in place of $`\lambda ^{}`$ is a successor of singular, $`V^P`$ will satisfy $`\phi (\lambda ^{})`$).

(3) With the same assumptions as in (1),

(i) there is a generic extension of $`V`$ in which $`\kappa ^{}=\mathrm{}_{53}`$ and $`\lambda ^{}`$, a successor of singular, is the first cardinal weakly reflecting at $`\kappa ^{}`$,

(ii) there is a generic extension of $`V`$ in which $`\kappa ^{}=\mathrm{}_{\omega +1}`$ and $`\lambda ^{}`$, a successor of singular, is the first cardinal weakly reflecting at $`\kappa ^{}`$,

(iii) there is a generic extension of $`V`$ in which $`\lambda ^{}`$ is the first cardinal weakly reflecting at $`\kappa ^{}`$, and $`\lambda ^{}=(\kappa ^{})^{+\gamma }`$ for some $`\gamma \mathrm{}_7`$.

###### Remark 0.3

Our assumptions follow if $`\mu _0`$ is 2-huge and $`GCH`$ holds. The integers 53 and 7 in the statement of part (3) above, are to a large extent arbitrary.

The proof of (1) uses as a building block a forcing notion introduced by Cummings, Džamonja and Shelah in \[CuDjSh 571\], which introduces a function witnessing strong non-reflection of a given cardinal $`\lambda `$ to a cardinal $`\kappa `$. An important feature of this forcing is that it has a reasonable degree of (strategic) closure, provided that strong non-reflection of $`\theta `$ to $`\kappa `$ already holds for $`\theta [\kappa ,\lambda )`$, and hence it can be iterated. This forcing is a rather homogeneous forcing, so the term forcing associated with it has strong decision properties. The forcing that we actually use is a term forcing associated with a certain product of the strong non-reflection forcings and a Laver-like preparation. Using this, we force the strong non-reflection of $`\theta `$ to $`\kappa ^{}`$ for all $`\theta <\lambda ^{}`$, and the point is to prove that in the extension $`\lambda ^{}`$ weakly reflects on $`\kappa ^{}`$. If we are given a condition and a name forced to be a strogly non-reflecting function, we can use the large cardinal assumptions to pick a certain model $`N`$, for which are able to build a generic condition, whose existence contradicts the choice of the name. To build the generic condition we use the preparation and the fact that we are dealing with a term forcing. Proofs of (2) and (3) are easy modifications of the proof of (1).

We recall some facts and definitions.

###### Notation 0.4

(1) Reg stands for the class of regular cardinals.

(2) If $`p,q`$ are elements of a forcing notion, then $`pq`$ means that $`q`$ is an extension of $`p`$.

(3) For $`p`$ a condition in the limit of an iteration Pα,Q

~
β:αα,β<α\langle P_{\alpha},\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\beta}:\,\alpha\leq\alpha^{\ast},\beta<\alpha^{\ast}\rangle, we let

Dom(p)=def{β<α:¬(pβ``p(β)=Q

~
β")}.superscriptdefDom𝑝conditional-set𝛽superscript𝛼p𝛽``p𝛽subscriptsubscript𝑄

~
𝛽"{\rm Dom}(p)\buildrel\rm def\over{=}\{\beta<\alpha^{\ast}:\,\neg(p\mathchar 13334\relax\beta\mathchar 13325\relax``p(\beta)=\emptyset_{\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\beta}}")\}.
(4) The statement that $`\lambda `$ weakly reflects at $`\kappa `$ is denoted by $`WR(\lambda ,\kappa )`$. Its negation of $`WR(\lambda ,\kappa )`$ is denoted by $`SNR(\lambda ,\kappa )`$.

###### Remark 0.5

It is easily seen that $`\lambda `$ weakly reflects at $`\kappa `$ iff $`|\lambda |`$ does, so we can without loss of generality, when discussing weak reflection of $`\lambda `$ to $`\kappa `$ assume that $`\lambda `$ is a cardinal.

###### Definition 0.6

(1) For a forcing notion and a limit ordinal $`\epsilon `$, we define the game $`G(P,\alpha )`$ as follows. The game is played between I and II, and it lasts $`\epsilon `$ steps, unless a player is forced to stop before that time. For $`\zeta <\epsilon `$, we denote the $`\zeta `$-th move of I by $`p_\zeta `$, and that of II by $`q_\zeta `$. The requirements are that I commences by $`\mathrm{}_P`$ and that for all $`\zeta `$ we have $`p_\zeta q_\zeta `$, while for $`\xi <\zeta `$ we have $`q_\xi p_\zeta `$.

I wins a play $`\mathrm{\Gamma }`$ of $`G(P,\epsilon )`$ iff $`\mathrm{\Gamma }`$ lasts $`\epsilon `$ steps.

(2) For $`P`$ and $`\epsilon `$ as above, we say that $`P`$ is $`\epsilon `$-strategically closed iff I has a winning strategy in $`G(P,\epsilon )`$. We say that $`P`$ is $`(<\epsilon )`$-strategically closed iff it is $`\zeta `$-strategically closed for all $`\zeta <\epsilon `$.

###### Definition 0.7

A set $`A`$ of ordinals is an Easton set iff

$$\sigma \mathrm{Reg}(sup(A)+1)sup(A\sigma )<\sigma .$$

###### Definition 0.8

We shall call a forcing notion $`P`$ mildly homogeneous iff for every formula $`\phi (x_0,\mathrm{},x_{n1})`$ of the forcing language of $`P`$ and $`a_0,\mathrm{},a_{n1}`$ (canonical names of) objects in $`V`$, we have $`\mathrm{}_P\mathrm{`}\mathrm{`}\phi (a_0,\mathrm{},a_{n1})\mathrm{"}.`$

## 1 Proofs.

We give the proof of Theorem 0.2. The main part of the proof is to deal with part (1) of the Theorem, and at the very end of the section we indicate the changes needed for the other parts of the theorem.

###### Definition 1.1

Given $`\mathrm{}_0<\kappa =\mathrm{cf}(\kappa )<\sigma `$.

$`P(\kappa ,\sigma )`$ is the forcing notion whose elements are functions $`p`$ with $`\mathrm{dom}(p)`$ an ordinal $`<\sigma `$, the range $`\mathrm{rge}(p)\kappa `$, and the property

$$\beta S_\kappa ^\sigma (c\text{ a club of }\beta )[pc\text{ is strictly increasing}],$$

while $`P(\kappa ,\sigma )`$ is ordered by extension.

###### Fact 1.2 (Cummings, Džamonja and Shelah)

\[CuDjSh 571\] Let $`\kappa `$ and $`\sigma `$ be such that $`P(\kappa ,\sigma )`$ is defined, then

(1) $`|P(\kappa ,\sigma )||{}_{}{}^{<\sigma }\kappa |=\kappa ^{<\sigma }`$.

(2) Suppose that for all $`\theta [\kappa ,\sigma )`$ we have $`SNR(\theta ,\kappa )`$. Then $`P(\kappa ,\sigma )`$ is $`(<\sigma )`$-strategically closed.

###### Definition 1.3

Given $`\mathrm{}_0<\mathrm{cf}(\kappa )=\kappa <\lambda `$.

$`Q_{(\kappa ,\lambda )}`$ is the result of the reverse Easton support iteration of $`P(\kappa ,\sigma )`$ for $`\sigma =\mathrm{cf}(\sigma )(\kappa ,\lambda )`$. More precisely, let

Q¯=Qα,R

~
β:αλ,β<λ,\bar{Q}=\langle Q_{\alpha},\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\beta}:\,\alpha\leq\lambda,\beta<\lambda\rangle,
where

(1) Qα``R

~
α={}"subscript𝑄𝛼``subscript𝑅

~
𝛼"Q_{\alpha}\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\alpha}=\{\emptyset\}" unless $`\alpha \mathrm{Reg}(\kappa ,\lambda )`$, in which case

Qα``R

~
α=P

~
(κ,α)".subscript𝑄𝛼``subscript𝑅

~
𝛼𝑃

~
𝜅𝛼"Q_{\alpha}\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\alpha}=\mathchoice{\oalign{$\displaystyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\kappa,\alpha)".
(2) For $`\alpha \lambda `$

$`pQ_\alpha `$ iff for all $`\gamma <\alpha `$ we have Qγ``p(γ)R

~
γ"subscriptsubscript𝑄𝛾absent``𝑝𝛾subscript𝑅

~
𝛾"\mathchar 13325\relax_{Q_{\gamma}}``p(\gamma)\in\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\gamma}" and

(i) if $`\alpha `$ is inaccessible, then $`|\mathrm{Dom}(p)|<\alpha `$.

(ii) If $`\alpha `$ is a limit but not inaccessible, then

$$Q_\alpha \stackrel{\mathrm{def}}{=}\{\mathrm{p}:(\beta <\alpha )[\mathrm{p}\beta \mathrm{Q}_\beta ]\}.$$

(3) $`pq`$ iff for all $`\beta <\lambda `$ we have $`q\beta \mathrm{`}\mathrm{`}q(\beta )p(\beta )\mathrm{"}`$.

###### Fact 1.4 (Cummings, Džamonja, Shelah)

\[CuDjSh 571\] Let $`\overline{Q}`$, $`\kappa `$ and $`\lambda `$ be as in Definition 1.3. For all $`\alpha \lambda `$:

(1) Whenever $`\alpha `$ is regular, $`|Q_\alpha |\alpha ^{<\alpha }`$,

(2) Qα``|R

~
α||α|<κ"subscriptsubscript𝑄𝛼absent``subscript𝑅

~
𝛼superscript𝛼absent𝜅"\mathchar 13325\relax_{Q_{\alpha}}``{|\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\alpha}|}\leq{|\alpha|}^{<\kappa}",

(3) $`Q_{\alpha +1}`$ has $`(|\alpha |^{|<\alpha |})^+`$-cc. In addition, if $`\alpha `$ is strongly Mahlo, then $`Q_\alpha `$ has $`\alpha `$-cc.

(4) Qα``R

~
αsubscriptsubscript𝑄𝛼absent``subscript𝑅

~
𝛼\mathchar 13325\relax_{Q_{\alpha}}``\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\alpha} is $`(<\alpha )`$-strategically closed”.

(5) For all $`\beta <\alpha `$, we have that Q

~
α/Qβsubscript𝑄

~
𝛼subscript𝑄𝛽\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\alpha}/Q_{\beta} is $`(<\beta )`$-strategically closed.

(6) $`Q_\alpha `$ preserves all cardinals and cofinalities $`(|\alpha |^{<|\alpha |})^+`$, and all strongly inaccessible cardinals and cofinalities $`|\alpha |`$.

(7) $`_{Q_\alpha }\mathrm{`}\mathrm{`}SNR(\kappa ,\beta )\mathrm{"}`$ for all $`\beta <\alpha `$.

###### Notation 1.5

(1) For a forcing notion $`Q`$ of the form Q=P1P

~
2𝑄subscript𝑃1subscript𝑃

~
2Q=P_{1}\ast\mathchoice{\oalign{$\displaystyle P$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle P$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle P$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle P$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{2}, we denote by $`Q^{}`$ the term forcing associated with $`Q`$, defined by

Q=def{(P1,q

~
):
q
~
 is a canonical P1-name for a condition in P2},superscriptdefsuperscript𝑄tensor-productconditional-setsubscriptsubscriptP1𝑞

~

q
~
 is a canonical subscriptP1-name for a condition in subscriptP2Q^{\otimes}\buildrel\rm def\over{=}\{(\emptyset_{P_{1}},\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}):\,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mbox{ is a canonical }P_{1}\mbox{-name for a condition in }P_{2}\},
(in particular $`Q^{}Q`$), with the order inherited from $`Q`$.

(2) For a triple $`(R,\kappa ,\sigma )`$ with $`\mathrm{}_0<\mathrm{cf}(\kappa )=\kappa <\sigma `$, and $`R`$ a forcing notion preserving $`\kappa =\mathrm{cf}(\kappa )>\mathrm{}_0`$, with $`\mathrm{}_R`$ the minimal element of $`R`$, we define $`Q_{(R,\kappa ,\sigma )}^{}`$ to be [RQ

~
(κ,σ)]superscriptdelimited-[]𝑅subscript𝑄

~
𝜅𝜎tensor-product[R\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa,\sigma)}]^{\otimes}.

###### Observation 1.6

$`Q_{(R,\kappa ,\sigma )}^{}`$, when defined, is $`(<\kappa ^+)`$-strategically closed.

###### Claim 1.7

(1) $`P(\sigma ,\lambda )`$ is mildly homogeneous, for $`\mathrm{}_0<\mathrm{cf}(\sigma )=\sigma <\lambda `$,

(2) If $`P`$ is mildly homogeneous and

P``
Q
~
 is mildly homogeneous",subscript𝑃absent``
Q
~
 is mildly homogeneous"\mathchar 13325\relax_{P}``\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mbox{ is mildly homogeneous}",
then PQ

~
𝑃𝑄

~
P\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} is mildly homogeneous.

(3) $`Q_{(\kappa ,\lambda )}`$ is mildly homogeneous, for $`\mathrm{}_0<\mathrm{cf}(\kappa )=\kappa <\lambda `$.

Proof of the Claim. (1) Suppose not, and let $`p,qP\stackrel{\mathrm{def}}{=}\mathrm{P}(\sigma ,\lambda )`$ force contradictory statements about $`\phi (a_0,\mathrm{},a_{n1})`$. Let $`\alpha =\mathrm{Dom}(q)`$ and consider the function $`F:PP`$ such that $`F(f)=g`$ iff $`qg`$ and for $`i\mathrm{dom}(f)`$ we have $`g(\alpha +i)=f(i)`$.

This function is an isomorphism between $`P`$ and $`P/q\stackrel{\mathrm{def}}{=}\{\mathrm{g}\mathrm{P}:\mathrm{g}\mathrm{q}\}`$, and it induces an isomorphism between $`P`$-names and $`P/q`$-names. However, in $`P/q`$ we have that $`q`$ and $`F(p)q`$ force contradictory statements about $`\phi (a_0,\mathrm{},a_{n1})`$. Contradiction.

(2)-(3) Similar proofs. $`\mathrm{}_{\text{1.7}}`$

###### Remark 1.8

We remark that $`P(\sigma ,\lambda )`$ in fact has stronger homogeneity properties, a fact which will not be used here.

Proof of the Theorem continued.

Let $`V`$, $`𝐣`$ and the cardinals mentioned in the assumptions be fixed. Note that by elementarity, $`\lambda ^{}`$ is the successor of a singular cardinal.

###### Notation 1.9

In the situation when notation $`Q_{(R,\kappa ,\kappa ^{})}^{}`$ makes sense, we abbreviate it as $`Q_{(R,\kappa )}^{}`$.

###### Definition 1.10

We define $`P^{}`$ to be the forcing whose elements are functions $`h`$, with $`\mathrm{dom}(h)`$ an Easton subset of $`\mu _0`$, with the property

$$\alpha <\beta \mathrm{dom}(h)h(\alpha )(\beta ),$$

ordered by extension.

###### Claim 1.11

Forcing with $`P^{}`$ preserves cardinals and cofinalities $`\mu _0`$, and $`GCH`$ above $`\mu _0`$, while any inaccessible $`\sigma \mu _0`$ which is a limit of inaccessibles, remains regular and $`2^\sigma =\sigma ^+`$ holds in the extension by $`P^{}`$.

Proof of the Claim. First notice that $`|P^{}|=\mu _0`$, so $`P^{}`$ has $`\mu _0^+`$-cc and preserves cardinals and cofinalities $`\mu _0^+`$, as well as $`GCH`$ above $`\mu _0`$.

Now suppose that $`\sigma \mu _0`$ is a limit of inaccessibles, but its cofinality is changed by $`P^{}`$ to be $`\theta `$ for some $`\theta <\sigma `$. Let $`p^{}P^{}`$ force this. Without loss of generality, $`\theta `$ is (strongly) inaccessible and $`\theta \mathrm{dom}(p^{})`$.

Let

$$P_{<\theta }\stackrel{\mathrm{def}}{=}\{\mathrm{q}\theta :\mathrm{q}\mathrm{P}^{}\&\mathrm{q}\mathrm{p}^{}\}$$

and

$$P_\theta \stackrel{\mathrm{def}}{=}\{\mathrm{q}[\theta ,\mu _0):\mathrm{q}\mathrm{P}^{}\&\mathrm{q}\mathrm{p}^{}\},$$

both ordered by extension. The mapping $`q(q[\theta ,\mu _0),q\theta )`$ shows that $`P^{}/p\stackrel{\mathrm{def}}{=}\{\mathrm{q}\mathrm{P}^{}:\mathrm{q}\mathrm{p}^{}\}`$ is isomorphic to $`P_\theta \times P_{<\theta }`$. We have that $`P_\theta `$ is $`(<\theta ^+)`$-closed, so $`P_{<\theta }`$ adds a cofinal function from $`\theta `$ to $`\sigma `$. However, $`|P_{<\theta }|\theta `$ (as $`\theta `$ is strongly inaccessible), and so it preserves cardinals and cofinalities $`\theta ^+`$, a contradiction.

We can similarly decompose $`P^{}`$ into $`P_\sigma \times P_{<\sigma }`$ to observe that

$$_P^{}\mathrm{`}\mathrm{`}2^\sigma =\sigma ^+\mathrm{"}.$$

$`\mathrm{}_{\text{1.11}}`$

###### Definition 1.12

(1) For $`\mu <\mu _0`$ let R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} and κ

~
μsubscript𝜅

~
𝜇\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}be the following $`P^{}`$-names: for a condition $`pP^{}`$, if $`\mu \mathrm{dom}(p)`$ and

p(μ)=(κ,R

~
) with μ<cf(κ)=κ<μ0,𝑝𝜇𝜅𝑅

~
 with 𝜇cf𝜅𝜅subscript𝜇0p(\mu)=(\kappa,\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mbox{ with }\mu<{\rm cf}(\kappa)=\kappa<\mu_{0},
and $`R(\kappa ^+)`$ is a forcing notion which preserves cardinals and cofinalities $`\mu `$, then $`p`$ forces κ

~
μsubscript𝜅

~
𝜇\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} to be $`\kappa `$ and R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} to be Q

~
(R,κ

~
μ)subscriptsuperscript𝑄

~
tensor-product𝑅subscript𝜅

~
𝜇\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\otimes}_{(R,{\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}_{\mu})}. We say that $`R_\mu =R`$. If, $`\mu \mathrm{Dom}(p)`$ but $`p(\mu )`$ does not satisfy the conditions above, then $`p`$ forces R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} to be the trivial forcing, which will for notational purposes be thought of as $`\{\mathrm{},\mathrm{})\}`$. For the same reason, in these circumstances we think of $`R_\mu =\{\mathrm{}\}`$.

Note: each R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is (over a dense subset of $`P^{}`$) a $`P^{}`$-name of a forcing notion from $`V`$, κ

~
μsubscript𝜅

~
𝜇\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is a $`P^{}`$-name of an ordinal $`<\mu _0`$, and μ<μ0R

~
μsubscriptproduct𝜇subscript𝜇0subscript𝑅

~
𝜇\prod_{\mu<\mu_{0}}\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is a $`P`$-name of a product of forcing. But $`R`$ below is forced not to be from $`V`$.

(2) For a $`P^{}`$-name f

~
μ<μ0R

~
μ𝑓

~
subscriptproduct𝜇subscript𝜇0subscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\prod_{\mu<\mu_{0}}\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} and $`\alpha \mu _0`$, let

A

~
f

~
,α=def{μ<μ0:f

~
(μ)=(,q

~
) with ¬(R

~
μ``αDom(q

~
)")}.\mathchoice{\oalign{$\displaystyle A$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle A$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle A$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle A$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\alpha}\buildrel\rm def\over{=}\{\mu<\mu_{0}:\,\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)=(\emptyset,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mbox{ with }\neg(\mathchar 13325\relax_{\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}}``\alpha\notin{\rm Dom}(\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})")\}.
(23) Let    $`R`$    $`\stackrel{~}{}`$   be a $`P^{}`$-name for:

{f

~
μ<μ0R

~
μ:(αμ0)[A

~
f

~
,α is an Easton set ]},\left\{\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\prod_{\mu<\mu_{0}}\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}:\,(\forall\alpha\leq\mu_{0})\,[\mathchoice{\oalign{$\displaystyle A$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle A$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle A$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle A$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\alpha}\mbox{ is an Easton set ]}\right\},
ordered by the order inherited from μ<μ0R

~
μsubscriptproduct𝜇subscript𝜇0subscript𝑅

~
𝜇\prod_{\mu<\mu_{0}}\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}.

hence,   $`R`$    $`\stackrel{~}{}`$   is a $`P^{}`$-name of a forcing notion.

###### Notation 1.13

If we write (p,r

~
¯)PR

~
𝑝¯𝑟

~
superscript𝑃𝑅

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\in{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}, we mean that

Pr

~
¯=(Rμ,r

~
(μ)):μ<μ0.\mathchar 13325\relax_{{{P}}^{-}}\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}=\langle(\emptyset_{R_{\mu}},\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)):\,\mu<\mu_{0}\rangle.
###### Definition 1.14

(1) Given (p,r

~
¯)PR

~
𝑝¯𝑟

~
superscript𝑃𝑅

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\in{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} and $`\sigma =\mathrm{cf}(\sigma )<\mu _0`$. For (q,s

~
¯)PR

~
𝑞¯𝑠

~
superscript𝑃𝑅

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\in{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}, we define

(i) (q,s

~
¯)pr,σ(p,r

~
¯)subscriptpr𝜎𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\geq_{{\rm pr},\sigma}(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}) iff

$`(\alpha )`$ (q,s

~
¯)(p,r

~
¯)𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\geq(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}),

$`(\beta )`$ $`q(\sigma +1)=p(\sigma +1)`$,

($`\gamma )`$ For $`\mu <\mu _0`$ with ¬(q``R

~
μ\neg(q\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is trivial”), we have

(q,R

~
μ)``if
κ
~
μ<σ, then
s
~
(μ)(κ

~
μ,σ]=r

~
(μ)(κ

~
μ,σ]".formulae-sequence𝑞subscriptsubscript𝑅

~
𝜇``subscriptif
κ
~
𝜇𝜎 then
s
~
𝜇subscript𝜅

~
𝜇𝜎𝑟

~
𝜇subscript𝜅

~
𝜇𝜎"(q,\emptyset_{\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}})\mathchar 13325\relax``\mbox{if }\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}<\sigma,\mbox{ then }\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]=\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]".
(ii) (q,s

~
¯)apr,σ(p,r

~
¯)subscriptapr𝜎𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\geq_{{\rm apr},\sigma}(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}) iff

$`(\alpha )`$ (q,s

~
¯)(p,r

~
¯)𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\geq(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}),

($`\beta `$) $`\mathrm{dom}(q)(\sigma +1,\mu _0)=\mathrm{dom}(p)(\sigma +1,\mu _0)`$.

($`\gamma )`$ For $`\mu <\mu _0`$ with ¬(q``R

~
μ\neg(q\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is trivial”), we have

(q,R

~
μ)``s

~
(μ)(σ,κ)=r

~
(μ)(σ,κ)".𝑞subscriptsubscript𝑅

~
𝜇``𝑠

~
𝜇𝜎superscript𝜅𝑟

~
𝜇𝜎superscript𝜅"(q,\emptyset_{\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast})=\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast})".
(2) For (p,r

~
¯)PR

~
𝑝¯𝑟

~
superscript𝑃𝑅

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\in{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} and $`\sigma =\mathrm{cf}(\sigma )\mu _0`$, we let

Q(p,r

~
¯),σ=def{(q,s¯

~
):(q,s¯

~
)apr,σ(p,r

~
¯) for some (p,r

~
¯)pr,σ(p,r

~
¯)},superscriptdefsubscriptsuperscript𝑄𝑝¯𝑟

~
𝜎conditional-setq¯𝑠

~
subscriptapr𝜎q¯𝑠

~
superscriptpsuperscript¯𝑟

~
 for some superscriptpsuperscript¯𝑟

~
subscriptpr𝜎p¯𝑟

~
Q^{-}_{(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}),\sigma}\buildrel\rm def\over{=}\{(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}):\,(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\geq_{{\rm apr},\sigma}(p^{\prime},\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}^{\prime})\mbox{ for some }(p^{\prime},\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}^{\prime})\leq_{{\rm pr},\sigma}(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\},
ordered as a suborder of PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}.

###### Claim 1.15

Given (p,r

~
¯)(q,s¯

~
)𝑝¯𝑟

~
𝑞¯𝑠

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\leq(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) in PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}, and a regular $`\sigma <\mu _0`$.

Then there is a unique (t,z¯

~
)𝑡¯𝑧

~
(t,\mathchoice{\oalign{$\displaystyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) such that

(p,r

~
¯)pr,σ(t,z¯

~
)apr,σ(q,s¯

~
).subscriptpr𝜎𝑝¯𝑟

~
𝑡¯𝑧

~
subscriptapr𝜎𝑞¯𝑠

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\leq_{{\rm pr},\sigma}(t,\mathchoice{\oalign{$\displaystyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\leq_{{\rm apr},\sigma}(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}).
Proof of the Claim. Let $`t\stackrel{\mathrm{def}}{=}\mathrm{p}(\sigma +1)\mathrm{q}(\sigma +1,\mu _0)`$. Hence $`tP^{}`$ and $`ptq`$. We define a PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}-name z

~
¯¯𝑧

~
\bar{\mathchoice{\oalign{$\displaystyle z$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle z$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle z$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle z$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}} by letting for $`\mu <\mu _0`$

z

~
(μ)=def{r

~
(μ)(κ

~
μ,σ]q

~
(μ)(σ,κ] if definedr

~
(μ) otherwise.superscriptdef𝑧

~
𝜇cases𝑟

~
𝜇subscript𝜅

~
𝜇𝜎𝑞

~
𝜇𝜎superscript𝜅 if defined𝑟

~
𝜇 otherwise.\mathchoice{\oalign{$\displaystyle z$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle z$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle z$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle z$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\buildrel\rm def\over{=}\left\{\begin{array}[]{ll}\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]\frown\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast}]&\mbox{ if defined}\\
\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\mu)&\mbox{ otherwise.}\end{array}\right.
$`\mathrm{}_{\text{1.15}}`$

###### Notation 1.16

(t,z¯

~
)𝑡¯𝑧

~
(t,\mathchoice{\oalign{$\displaystyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{z}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) as in Claim 1.15 is denoted by intr((p,r

~
¯),(q,s¯

~
))𝑝¯𝑟

~
𝑞¯𝑠

~
\left((p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}),(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\right).

###### Claim 1.17

For $`\sigma =\mathrm{cf}(\sigma )<\mu _0`$, the forcing (PR

~
,pr,σ)superscript𝑃𝑅

~
subscriptpr𝜎({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\leq_{{\rm pr},\sigma}) is $`(<\sigma +1)`$-strategically closed.

Proof of the Claim. For every $`\mu <\mu _0`$ we have

PR

~
``R

~
μ non-trivialQ

~
(κ

~
μ,κ)/Q

~
(κ

~
μ,σ] is (<σ+1)-strategically closed."\mathchar 13325\relax_{{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}``\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}\mbox{ non-trivial}\Longrightarrow\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\kappa^{\ast})}/\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]}\mbox{ is }(<\sigma+1)\mbox{-strategically closed}."
Hence we can find names St

~
μσsubscriptsuperscriptSt

~
𝜎𝜇\mathchoice{\oalign{$\displaystyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\sigma}_{\mu} of the corresponding winning strategies which exemplify the above statement.

Suppose that $`\zeta \sigma `$ and pξ=pξ0,p¯

~
ξ1:ξ<ζ\langle p_{\xi}=\langle p^{0}_{\xi},\mathchoice{\oalign{$\displaystyle\bar{p}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{p}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{p}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{p}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\xi}\rangle:\,\xi<\zeta\rangle, qξ=qξ0,q¯

~
ξ1:ξ<ζ\langle q_{\xi}=\langle q^{0}_{\xi},\mathchoice{\oalign{$\displaystyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\xi}\rangle:\,\xi<\zeta\rangle are sequences of elements of PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} such that

(1) For all $`\xi <\zeta `$ we have $`p_\xi _{\mathrm{pr},\sigma }q_\xi `$,

(2) For all $`\xi <\zeta `$ and $`\epsilon <\xi `$ we have $`q_\epsilon _{\mathrm{pr},\sigma }p_\xi `$ and for $`\mu <\mu _0`$ with ¬(pξ``R

~
μ\neg(p_{\xi}\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is trivial”), we have (pξ,R

~
μ,p

~
01(μ)(κ

~
μ,σ])PR

~
μQ

~
(κμ,σ]subscriptsuperscript𝑃subscript𝑅

~
𝜇subscript𝑄

~
subscript𝜅𝜇𝜎subscript𝑝𝜉subscriptsubscript𝑅

~
𝜇subscriptsuperscript𝑝

~
10𝜇subscript𝜅

~
𝜇𝜎absent(p_{\xi},\emptyset_{\mathchoice{\oalign{$\displaystyle R$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle R$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle R$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}},\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{0}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma])\mathchar 13325\relax_{{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa_{\mu},\sigma]}}

``p

~
ξ1(μ)(σ,κ)=St

~
μσ(p

~
ε1(μ)(σ,κ):ε<ξ,q

~
ε1(μ)(σ,κ):ε<ξ)"``\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\xi}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast})=\mathchoice{\oalign{$\displaystyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\sigma}_{\mu}(\langle\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\varepsilon}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast}):\,\varepsilon<\xi\rangle,\langle\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\varepsilon}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast}):\,\varepsilon<\xi\rangle)"
We define $`p_\zeta `$ by letting $`p_\zeta ^0\stackrel{\mathrm{def}}{=}\{\mathrm{q}_\xi ^0:\xi <\zeta \}`$. Notice that $`p_\zeta ^0P^{}`$ and $`p_\zeta ^0(\sigma +1)=p_0^0(\sigma +1)`$.

For $`\mu <\mu _0`$ with¬(pξ``R

~
μ\neg(p_{\xi}\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is trivial”), we let p

~
ζ1(μ)subscriptsuperscript𝑝

~
1𝜁𝜇\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\zeta}(\mu) be the name given by

p

~
ζ1(μ)(κ

~
μ,σ]=defp

~
ζ0(μ)(κ

~
μ,σ]subscriptsuperscript𝑝

~
1𝜁𝜇subscript𝜅

~
𝜇𝜎superscriptdefsubscriptsuperscript𝑝

~
0𝜁𝜇subscript𝜅

~
𝜇𝜎\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\zeta}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]\buildrel\rm def\over{=}\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{0}_{\zeta}(\mu)\mathchar 13334\relax(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]
and

p

~
ζ1(μ)(σ,κ)=defSt

~
μσ(p

~
ξ1(μ)(σ,κ):ξ<ζ,q

~
ξ1(μ)(σ,κ):ξ<ζ).\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\zeta}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast})\buildrel\rm def\over{=}\mathchoice{\oalign{$\displaystyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{\rm St}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\sigma}_{\mu}(\langle\mathchoice{\oalign{$\displaystyle p$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle p$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle p$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\xi}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast}):\,\xi<\zeta\rangle,\langle\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{\xi}(\mu)\mathchar 13334\relax(\sigma,\kappa^{\ast}):\,\xi<\zeta\rangle).
$`\mathrm{}_{\text{1.17}}`$

###### Claim 1.18

Suppose (p,r

~
¯)``τ

~
:σOrd":𝑝¯𝑟

~
``𝜏

~
𝜎Ord"(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}:\,\sigma\rightarrow{\rm Ord}", where $`\sigma `$ is regular $`<\mu _0`$.

Then there is (q,s

~
¯)pr,σ(p,r¯

~
)subscriptpr𝜎𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\geq_{{\rm pr},\sigma}(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) and a Q(q,s

~
¯),σsubscriptsuperscript𝑄𝑞¯𝑠

~
𝜎Q^{-}_{(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}),\sigma}-name τ

~
superscript𝜏

~
\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime} such that

(q,s

~
¯)``τ

~
=τ

~
".𝑞¯𝑠

~
``𝜏

~
superscript𝜏

~
"(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}=\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}".
Proof of the Claim. We define a play of G((PR

~
,pr,σ),σ)𝐺superscript𝑃𝑅

~
subscriptpr𝜎𝜎G(({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\leq_{{\rm pr},\sigma}),\sigma) as follows.

I starts by playing (p,r

~
¯)=defp0superscriptdef𝑝¯𝑟

~
subscriptp0(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\buildrel\rm def\over{=}p_{0}. At the stage $`\zeta \sigma `$, player II chooses $`q_\zeta ^{}p_\zeta `$ such that $`q_\zeta ^{}`$ forces a value to τ

~
ζsubscript𝜏

~
𝜁\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\zeta}, and we let $`q_\zeta \stackrel{\mathrm{def}}{=}\mathrm{intr}(\mathrm{p}_\zeta ,\mathrm{q}_\zeta ^{})`$. At the stage $`0<\zeta <\sigma `$, we let I play according to the winning strategy for G((PR

~
,pr,σ),σ)𝐺superscript𝑃𝑅

~
subscriptpr𝜎𝜎G(({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\leq_{{\rm pr},\sigma}),\sigma) applied to $`(p_\xi :\xi <\zeta ,q_\xi :\xi <\zeta )`$. At the end, we let (q,s

~
¯)=pσ.𝑞¯𝑠

~
subscript𝑝𝜎(q,\bar{\mathchoice{\oalign{$\displaystyle s$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle s$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle s$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})=p_{\sigma}. $`\mathrm{}_{\text{1.18}}`$

###### Claim 1.19

If (p,r

~
¯)PR

~
𝑝¯𝑟

~
superscript𝑃𝑅

~
(p,\bar{\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\in{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}, and $`\sigma =\mathrm{cf}(\sigma )<\mu _0`$ is such that $`\sigma \mathrm{dom}(p)`$, then Q(p,r¯

~
),σsubscriptsuperscript𝑄𝑝¯𝑟

~
𝜎Q^{-}_{(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}),\sigma} satisfies $`\mu _0`$-cc.

Proof of the Claim. Given q¯=qi=qi0,q

~
i1:i<μ0\bar{q}=\langle q_{i}=\langle q^{0}_{i},\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{1}_{i}\rangle:\,i<\mu_{0}\rangle, with qiQ(p,r¯

~
),σsubscript𝑞𝑖subscriptsuperscript𝑄𝑝¯𝑟

~
𝜎q_{i}\in Q^{-}_{(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}),\sigma}. Suppose for contradiction that the range of this sequence is an antichain.

We have that for all $`i<\mu _0`$

$$q_i^0(\sigma +1,\mu _0)p(\sigma +1,\mu _0).$$

As $`\mathrm{dom}(q_i^0)`$ is an Easton set, without loss of generality we have that all $`q_i^0(\sigma +1,\mu _0)`$ are the same $`q^{}`$. Let $`G^{}`$ be $`P^{}`$-generic over $`V`$ with $`q^{}G^{}`$. Hence in $`V[G^{}]`$ the sequence qi1=def(,q¯

~
i):i<μ0\langle q^{1}_{i}\buildrel\rm def\over{=}(\emptyset,\mathchoice{\oalign{$\displaystyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{q}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{i}):\,i<\mu_{0}\rangle to an antichain in μ<μ0[RμQ

~
(κμ,κ)]subscriptproduct𝜇subscript𝜇0superscriptdelimited-[]subscript𝑅𝜇subscript𝑄

~
subscript𝜅𝜇superscript𝜅tensor-product\prod_{\mu<\mu_{0}}[{{R}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa_{\mu},\kappa^{\ast})}]^{\otimes}, and by the choice of the initial sequence, we have that (,q

~
i(μ)(σ+1)):μ<μ0:i<μ0\langle(\emptyset,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{i}(\mu)\mathchar 13334\relax(\sigma+1)):\,\mu<\mu_{0}\rangle:\,i<\mu_{0}\rangle gives rise to an antichain in μ<μ0[RμQ

~
κμ,σ]subscriptproduct𝜇subscript𝜇0superscriptdelimited-[]subscript𝑅𝜇subscript𝑄

~
subscript𝜅𝜇𝜎tensor-product\prod_{\mu<\mu_{0}}[{{R}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\kappa_{\mu},\sigma}]^{\otimes}. For every $`i<\mu _0`$,

Ai=def{μ<μ0:q

~
μi(σ+1)}superscriptdefsubscript𝐴𝑖conditional-set𝜇subscript𝜇0subscriptsuperscript𝑞

~
i𝜇𝜎1A_{i}\buildrel\rm def\over{=}\{\mu<\mu_{0}:\,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{i}_{\mu}\mathchar 13334\relax(\sigma+1)\neq\emptyset\}
has size $`\sigma `$. Hence, without loss of generality, $`A_i`$’s form a $`\mathrm{\Delta }`$-system with root $`A^{}`$. Hence

,q

~
i(μ)(σ+1):μA:i<μ0\left\langle\langle\langle\emptyset,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{i}(\mu)\mathchar 13334\relax(\sigma+1)\rangle:\,\mu\in A^{\ast}:\rangle\,i<\mu_{0}\right\rangle
gives rise to an antichain, a contradiction. $`\mathrm{}_{\text{1.19}}`$

###### Claim 1.20

Forcing with PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} preserves cardinals and cofinalities $`\mu _0`$.

Proof of the Claim. Suppose cofinalities $`\mu _0`$ are not preserved and let $`\theta `$ be the first cofinality $`\mu _0`$ destroyed. Hence $`\theta `$ is regular, and for some   $`\tau `$    $`\stackrel{~}{}`$  , condition (p,r¯

~
)𝑝¯𝑟

~
(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) and regular $`\sigma <\theta `$, we have (p,r¯

~
)``τ

~
:σθ:𝑝¯𝑟

~
``𝜏

~
𝜎𝜃(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}:\,\sigma\rightarrow\theta is cofinal”.

Case 1. $`\sigma <\mu _0`$. By Claim 1.18, there is (q,s¯

~
)(p,r¯

~
)𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\geq(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) and a Q(p,r¯

~
),σsubscriptsuperscript𝑄𝑝¯𝑟

~
𝜎Q^{-}_{(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}),\sigma}-name τ

~
superscript𝜏

~
\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime} such that (q,s¯

~
)``τ

~
=τ

~
"𝑞¯𝑠

~
``𝜏

~
superscript𝜏

~
"(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}=\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}". Hence (q,s¯

~
)``τ

~
:σθ:𝑞¯𝑠

~
``superscript𝜏

~
𝜎𝜃(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}:\,\sigma\rightarrow\theta is cofinal”, contradicting the fact that Q(p,r¯

~
),σsubscriptsuperscript𝑄𝑝¯𝑟

~
𝜎Q^{-}_{(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}),\sigma} has $`\mu _0`$-cc.

Case 2. $`\sigma \mu _0`$.

As for every $`\mu <\mu _0`$ with R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} non-trivial we have that

PR

~
μQ

~
(κ

~
μ,κ)/Q

~
(κ

~
μ,σ] is (<σ+1)-strategically closed,{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\kappa^{\ast})}/\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]}\mbox{ is }(<\sigma+1)\mbox{-strategically closed},
there is (q,s¯

~
)(p,r¯

~
)𝑞¯𝑠

~
𝑝¯𝑟

~
(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\geq(p,\mathchoice{\oalign{$\displaystyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{r}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) and a Pμ<μ0[R

~
μQ

~
(κ

~
μ,σ]]superscript𝑃subscriptproduct𝜇subscript𝜇0superscriptdelimited-[]subscript𝑅

~
𝜇subscript𝑄

~
subscript𝜅

~
𝜇𝜎tensor-product{{P}}^{-}\ast\prod_{\mu<\mu_{0}}[{\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\mathchoice{\oalign{$\displaystyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\kappa$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu},\sigma]}]^{\otimes}-name τ

~
superscript𝜏

~
\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime} such that (q,s¯

~
)``τ

~
:σθ:𝑞¯𝑠

~
``superscript𝜏

~
𝜎𝜃(q,\mathchoice{\oalign{$\displaystyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\bar{s}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}:\,\sigma\rightarrow\theta is cofinal”. But this forcing has $`\sigma ^+`$-cc, a contradiction. $`\mathrm{}_{\text{1.20}}`$

###### Corollary 1.21

Forcing with PR

~
Q

~
(κ,λ)superscript𝑃𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})} preserves cardinalities and cofinalities $`\mu _0`$, and forces $`SNR(\theta ,\kappa ^{})`$ for $`\theta (\kappa ^{},\lambda ^{})`$.

###### Claim 1.22

The following is forced by $`P^{}`$:

(1)    $`R`$    $`\stackrel{~}{}`$   is mildly homogeneous.

(2) R

~
Q

~
(κ,λ)𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})} is mildly homogeneous.

Proof of the Claim. (1) First note that each R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is forced to be mildly homogeneous, by Claim 1.7(2) and the definition of $``$ operation.

(2) Follows from (1) and Claim 1.7(2). $`\mathrm{}_{\text{1.22}}`$

###### Main Claim 1.23

After forcing with P=defPR

~
Q

~
(κ,λ)superscriptdef𝑃superscriptP𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆{{P}}\buildrel\rm def\over{=}{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}, we have the weak reflection of $`\lambda ^{}`$ at $`\kappa ^{}`$.

Proof of the Main Claim. Suppose otherwise, and let p=(p,q

~
,r

~
)superscript𝑝𝑝𝑞

~
𝑟

~
p^{\ast}=(p,\mathchoice{\oalign{$\displaystyle q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}},\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}) force   $`\tau `$    $`\stackrel{~}{}`$   to be a function exemplifying the strong non-reflection of $`\lambda ^{}`$ at $`\kappa ^{}`$. As R

~
Q

~
(κ,λ)𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})} is forced to be mildly homogeneous by Claim 1.22, without loss of generality $`p^{}=(p,\mathrm{},\mathrm{})`$.

By a standard argument, our large cardinal assumptions imply that we can find a model $`N(\chi )`$ such that

(i) $`N\mu _0`$ is an ordinal $`\mu <\mu _0`$,

(ii) $`\text{otp(}N\lambda ^{}\text{)}=\kappa ^{}`$,

(iii) $`\text{otp(}N\mu _1\text{)}=\mu _0`$,

(iv) $`{}_{}{}^{\omega }NN`$ (even $`{}_{}{}^{\mu >}NN`$, although we do not use this),

(v) $`(N,)`$ is isomorphic to $`(\chi ^{})`$ for some regular $`\chi ^{}<\chi `$

(vi) $`|N\kappa ^{}|`$ is a regular cardinal.

(vii) κ,μ0,μ1,μ2,λ,P,p,τ

~
Nsuperscript𝜅subscript𝜇0subscript𝜇1subscript𝜇2superscript𝜆𝑃superscript𝑝𝜏

~
𝑁\kappa^{\ast},\mu_{0},\mu_{1},\mu_{2},\lambda^{\ast},{{P}},p^{\ast},\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in N.

\[Why? Consider $`𝐣\mathrm{`}\mathrm{`}((\chi ))`$ and use elementarity. Note that by $`{}_{}{}^{\chi }MM`$ and $`\chi ^{<\chi }=\chi `$ we have that $`𝐣\mathrm{`}\mathrm{`}((\chi ))M`$.\]

First we consider some consequences of our choice of $`N`$. Let $`\kappa \stackrel{\mathrm{def}}{=}|\mathrm{N}\kappa ^{}|`$ and $`\delta \stackrel{\mathrm{def}}{=}sup(\mathrm{N}\lambda ^{})`$.

Our assumptions on $`N`$ imply that $`\text{otp(}N\kappa ^{}\text{)}<\mu _0`$, hence $`\kappa <\mu _0`$. As for $`\delta `$, we have $`\delta S_\kappa ^{}^\lambda ^{}`$. Now notice that $`N\delta `$ is stationary in $`\delta `$, and it remains so after forcing with $`P`$.

\[Why? The set $`S\stackrel{\mathrm{def}}{=}\mathrm{S}_\mathrm{}_0^\delta \mathrm{N}`$ is a stationary subset of $`\delta `$, as $`E`$ defined as the closure of $`N\delta `$ is a club of $`\delta `$, and $`[\alpha N\&\mathrm{cf}(\alpha )=\mathrm{}_0]\alpha S`$ (this is true even with“$`\mathrm{cf}(\alpha )<\mu `$” in place of “$`\mathrm{cf}(\alpha )=\mathrm{}_0`$”). But $`P`$ is an $`\omega _1`$-closed forcing notion, hence $`S`$ remains stationary after forcing with $`P`$.\]

As $`p^{}N`$, we have that $`\mathrm{dom}(p)\mu `$. Hence

p+=defp{μ,(κ,(PR

~
)N)}superscriptdefsuperscript𝑝p𝜇𝜅superscriptsuperscriptP𝑅

~
Np^{+}\buildrel\rm def\over{=}p\cup\{\langle\mu,(\kappa,({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})^{N})\rangle\}
is a well defined condition in $`P^{}`$, and it extends $`p`$. In fact, $`p^+`$ is a $`P^{}`$-generic condition over $`N`$, and it forces that R

~
μsubscript𝑅

~
𝜇\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu} is (PR

~
)Nsuperscriptsuperscript𝑃𝑅

~
𝑁({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})^{N}, hence that [R

~
μQ

~
(κ,κ)]superscriptdelimited-[]subscript𝑅

~
𝜇subscript𝑄

~
𝜅superscript𝜅tensor-product[\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa,\kappa^{\ast})}]^{\otimes} is [(PR

~
)NQ

~
(κ,κ)]superscriptdelimited-[]superscriptsuperscript𝑃𝑅

~
𝑁subscript𝑄

~
𝜅superscript𝜅tensor-product[({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})^{N}\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa,\kappa^{\ast})}]^{\otimes}, which is ([(PR

~
)Q

~
(κ,λ)])Nsuperscriptsuperscriptdelimited-[]superscript𝑃𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆tensor-product𝑁([({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}]^{\otimes})^{N}. Let   $`H`$    $`\stackrel{~}{}`$   be ([(PR

~
)Q

~
(κ,λ)])Nsuperscriptsuperscriptdelimited-[]superscript𝑃𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆tensor-product𝑁([({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}]^{\otimes})^{N}-generic with pH

~
𝑝𝐻

~
p\in\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}. The inverse of the Mostowski collapse $`F`$ of $`N`$ maps   $`H`$    $`\stackrel{~}{}`$   into a subset H

~
superscript𝐻

~
\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\ast} of [(PR

~
)Q

~
(κ,λ)]superscriptdelimited-[]superscript𝑃𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆tensor-product[({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}]^{\otimes}. Notice then that

p+``
H
~
 is
R
~
μ-generic".superscript𝑝``subscript
H
~
 is
R
~
𝜇-generic"p^{+}\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mbox{ is }\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{\mu}\mbox{-generic}".
We wish to define $`q`$ as follows: q=def(p+,R,r

~
)superscriptdef𝑞superscriptpsubscriptR𝑟

~
q\buildrel\rm def\over{=}(p^{+},\emptyset_{{R}},\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}), where   $`r`$    $`\stackrel{~}{}`$   is a PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}-name over (p+,R

~
)superscript𝑝subscript𝑅

~
(p^{+},\emptyset_{\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}}) of a condition in Q

~
(κ,λ)subscript𝑄

~
superscript𝜅superscript𝜆\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})} defined by letting

Dom(r

~
)=def{Dom(h

~
):(p+,R

~
)``F1(h

~
)H

~
"},superscriptdefDom𝑟

~
conditional-setDom

~
superscriptpsubscript𝑅

~
``superscriptF1

~
𝐻

~
"{\rm Dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\buildrel\rm def\over{=}\bigcup\{{\rm Dom}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}):\,(p^{+},\emptyset_{\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\mathchar 13325\relax``F^{-1}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\in\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}"\},
and for $`\theta `$ with (p+,R

~
)``θDom(r

~
)"superscript𝑝subscript𝑅

~
``𝜃Dom𝑟

~
"(p^{+},\emptyset_{\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\mathchar 13325\relax``\theta\in{\rm Dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})", we let

r

~
(θ)=def{h

~
(θ):(p+,R

~
)``θDom(h

~
)&h

~
H

~
"}.superscriptdef𝑟

~
𝜃conditional-set

~
𝜃superscriptpsubscript𝑅

~
``𝜃Dom

~

~
superscript𝐻

~
"\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta)\buildrel\rm def\over{=}\bigcup\{\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta):\,(p^{+},\emptyset_{\mathchoice{\oalign{$\displaystyle{R}$\crcr\vbox to0.60275pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{R}$\crcr\vbox to0.60275pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}})\mathchar 13325\relax``\theta\in{\rm Dom}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\,\,\&\,\,\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\ast}"\}.
We now claim that $`q`$ is a condition in $`P`$ and $`qp^{}`$. Let us check the relevant items:

(a) If $`(p^+,\mathrm{})\mathrm{`}\mathrm{`}\theta \text{ strongly inaccessible }(\kappa ^{},\lambda ^{})`$”, then

(p+,)``|Dom(r

~
)θ|<θ".superscript𝑝``Dom𝑟

~
𝜃𝜃"(p^{+},\emptyset)\mathchar 13325\relax``{|{\rm Dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\cap\theta|}<\theta".
\[Why? We have that for some $`\theta ^{}(\kappa ,\kappa ^{})`$,

(p+,)``Dom(r

~
)θ{Dom(F(f

~
):f

~
Q

~
(κ,θ)N}".(p^{+},\emptyset)\mathchar 13325\relax``{\rm Dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\cap\theta\subseteq\bigcup\{{\rm Dom}(F(\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}):\,\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{N}_{(\kappa,\theta^{\prime})}\}".
But then, (p+,)``|Q

~
(κ,θ)N||2θN|<κ"superscript𝑝``subscriptsuperscript𝑄

~
𝑁𝜅superscript𝜃superscript2superscript𝜃𝑁superscript𝜅"(p^{+},\emptyset)\mathchar 13325\relax``{|\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{N}_{(\kappa,\theta^{\prime})}|}\leq{|2^{\theta^{\prime}}\cap N|}<\kappa^{\ast}".\]

(b) If (p+,)``θDom(r

~
)"superscript𝑝``𝜃Dom𝑟

~
"(p^{+},\emptyset)\mathchar 13325\relax``\theta\in{\rm Dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})", then (p+,)``r

~
(θ)superscript𝑝``𝑟

~
𝜃(p^{+},\emptyset)\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta) is a function whose domain is an ordinal $`<\theta `$ and range a subset of $`\kappa ^{}`$”.

\[Why? As (p+,)``H

~
superscript𝑝``superscript𝐻

~
(p^{+},\emptyset)\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\ast} is directed”, we have that (p+,)``r

~
(θ)superscript𝑝``𝑟

~
𝜃(p^{+},\emptyset)\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta) is a function”. If

(p+,)``θDom(h

~
)&F1(h

~
)H

~
",superscript𝑝``𝜃Dom

~
superscript𝐹1

~
𝐻

~
"(p^{+},\emptyset)\mathchar 13325\relax``\theta\in{\rm Dom}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\,\,\&\,\,F^{-1}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\in\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}",
then $`(p^+,\mathrm{})`$ forces

``(σDom(F1(h

~
)))[F1(h

~
)(σ) is a function with domain σ]",``for-all𝜎Domsuperscript𝐹1

~
delimited-[]superscript𝐹1

~
𝜎 is a function with domain 𝜎"``(\forall\sigma\in{\rm Dom}(F^{-1}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})))\,[F^{-1}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})(\sigma)\mbox{ is a function with domain }\in\sigma]",
so by elementarity

(p+,)``dom(h

~
(θ)) is an element of θ".](p^{+},\emptyset)\mathchar 13325\relax``{\rm dom}(\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta))\mbox{ is an element of
}\theta".]
(c) (p+,)``r

~
Q

~
(κ,λ)superscript𝑝``𝑟

~
subscript𝑄

~
superscript𝜅superscript𝜆(p^{+},\emptyset)\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}.

\[Why? First of all, we know that (p+,)``dom(r

~
)λsuperscript𝑝``dom𝑟

~
superscript𝜆(p^{+},\emptyset)\mathchar 13325\relax``{\rm dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\subseteq\lambda^{\ast} with no last element”. Now, for relevant $`\theta `$, dom(r

~
(θ))dom𝑟

~
𝜃{\rm dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta)) is the union of a subset of $`(\theta ^{++})N`$ which has cardinality $`|\theta ^{++}N|<\kappa ^{}`$. Hence the union has cofinality $`<\kappa ^{}`$ (as having cofinality $`\kappa ^{}`$ is preserved by the forcing), hence r

~
(θ)𝑟

~
𝜃\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta) is forced to be in P

~
(θ,κ)𝑃

~
𝜃superscript𝜅\mathchoice{\oalign{$\displaystyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{P}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta,\kappa^{\ast}), and hence   $`r`$    $`\stackrel{~}{}`$   is forced to be an element of Q

~
(κ,λ)subscript𝑄

~
superscript𝜅superscript𝜆\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}.\]

(d) $`(p^+,\mathrm{})`$ forces that for all $`\epsilon S_\kappa ^{}^\theta `$, there is a club $`e`$ of $`\epsilon `$ on which r

~
(θ)𝑟

~
𝜃\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta) is strictly increasing, for θdom(r

~
)𝜃dom𝑟

~
\theta\in{\rm dom}(\mathchoice{\oalign{$\displaystyle r$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle r$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle r$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}).

\[Why? Because this is forced about each h

~
(θ)

~
𝜃\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\theta) for h

~
H

~

~
superscript𝐻

~
\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\in\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\ast} and there are $`<\kappa ^{}`$ such   $`h`$    $`\stackrel{~}{}`$  .\]

But now we shall see that $`q`$ forces   $`\tau `$    $`\stackrel{~}{}`$   to be constant on a stationary subset of $`\delta `$, a contradiction, as $`\delta S_\kappa ^{}^\lambda ^{}`$, and remains there after forcing with $`P`$. We need to consider what $`q`$ forces about τ

~
(α)𝜏

~
𝛼\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\alpha) for $`\alpha N`$. Such τ

~
(α)𝜏

~
𝛼\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\alpha) is a $`P`$-name of an ordinal $`<\kappa ^{}`$. Let

α=def{(,,t

~
)P:(,,t

~
) forces
τ
~
(α) to be equal to a P
R
~
-name}.superscriptdefsubscript𝛼conditional-set𝑡

~
P𝑡

~
 forces
τ
~
𝛼 to be equal to a superscriptP
R
~
-name{\cal I}_{\alpha}\buildrel\rm def\over{=}\{(\emptyset,\emptyset,\mathchoice{\oalign{$\displaystyle t$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle t$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle t$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle t$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\in{{P}}:\,(\emptyset,\emptyset,\mathchoice{\oalign{$\displaystyle t$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle t$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle t$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle t$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\mbox{ forces }\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\alpha)\mbox{ to be equal to a }{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mbox{-name}\}.
Hence $`_\alpha N`$. As PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}} forces that Q

~
(κ,λ)subscript𝑄

~
superscript𝜅superscript𝜆\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})} is $`(\kappa ^{}+1)`$-strategically closed, we have that $`_\alpha `$ is dense in [(PR

~
)Q

~
(κ,λ)]superscriptdelimited-[]superscript𝑃𝑅

~
subscript𝑄

~
superscript𝜅superscript𝜆tensor-product[({{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\ast\mathchoice{\oalign{$\displaystyle Q$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle Q$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle Q$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}_{(\kappa^{\ast},\lambda^{\ast})}]^{\otimes}. By the definition of H

~
superscript𝐻

~
\mathchoice{\oalign{$\displaystyle H$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle H$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle H$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\ast}, there is (,,h

~
)αN

~
subscript𝛼𝑁(\emptyset,\emptyset,\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\in{\cal I}_{\alpha}\cap N such that (,,h

~
)q

~
𝑞(\emptyset,\emptyset,\mathchoice{\oalign{$\displaystyle h$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle h$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle h$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}})\leq q. Let τ

~
superscript𝜏

~
\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime} exemplify this, so τ

~
Nsuperscript𝜏

~
𝑁\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}\in N.

Hence $`q`$ forces τ

~
(α)𝜏

~
𝛼\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\alpha) to be in the set of all τ

~
Nsuperscript𝜏

~
𝑁\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime}\in N, where τ

~
superscript𝜏

~
\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}^{\prime} is a PR

~
superscript𝑃𝑅

~
{{P}}^{-}\ast\mathchoice{\oalign{$\displaystyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle{{R}}$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}-name of an ordinal $`<\kappa ^{}`$. The cardinality of this set $`|𝒫(\kappa ^{})N|`$, which is $`<\mu _0`$. Since $`\alpha N`$ was arbitrary, $`q`$ forces the range of τ

~
(Nδ)𝜏

~
𝑁𝛿\mathchoice{\oalign{$\displaystyle\tau$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle\tau$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mathchar 13334\relax(N\cap\delta) to be a set of size $`<\mu _0`$, hence   $`\tau `$    $`\stackrel{~}{}`$   will be constant on a stationary subset of $`N\delta `$ (as $`N\delta `$ is stationary). $`\mathrm{}_{\text{1.23}}`$

Proof of the Theorem continued.

(2) Same proof.

(3) Follow the forcing from (1) by a Levy collapse. We are making use of the following

###### Claim 1.24

Suppose $`\lambda `$ weakly reflects at $`\kappa `$ and $`P`$ is a $`\kappa `$-cc forcing.

Then $`\lambda `$ weakly reflects at $`\kappa `$ in $`V^P`$.

Proof of the Claim. Suppose that

pP``f

~
:λκ".:subscript𝑃𝑝``𝑓

~
𝜆𝜅"p\mathchar 13325\relax_{P}``\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}:\,\lambda\rightarrow\kappa".
We define $`f^{}:\lambda \kappa `$ by letting f(α)=defsup{γ<κ:¬(p``f

~
(α)γ")}superscriptdefsuperscript𝑓𝛼supremumconditional-set𝛾𝜅p``𝑓

~
𝛼𝛾"f^{\prime}(\alpha)\buildrel\rm def\over{=}\sup\{\gamma<\kappa:\,\neg(p\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}(\alpha)\neq\gamma")\}. As $`P`$ is $`\kappa `$-cc, the range of $`f^{}`$ is indeed contained in $`\kappa `$. Let $`\delta S_\kappa ^\lambda `$ be such that $`f^{}S`$ is constant on a stationary set $`S\delta `$ (the existence of such $`\delta `$ follows as $`WR(\lambda ,\kappa )`$ holds). Hence p``f

~
S𝑝``𝑓

~
𝑆p\mathchar 13325\relax``\mathchoice{\oalign{$\displaystyle f$\crcr\vbox to0.86108pt{\hbox{$\displaystyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\textstyle f$\crcr\vbox to0.86108pt{\hbox{$\textstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}{\oalign{$\scriptscriptstyle f$\crcr\vbox to0.86108pt{\hbox{$\scriptscriptstyle{\tilde{\mkern-3.0mu}\mkern 3.0mu}{}$}\vss}}}\mathchar 13334\relax S is bounded”, so   $`f`$    $`\stackrel{~}{}`$   does not witness $`SNR(\lambda ,\kappa )`$ in $`V^P`$, as $`S`$ remains stationary in $`V^P`$. $`\mathrm{}\text{1.24}`$

So, for example to get $`\kappa ^{}=\mathrm{}_n`$ for $`n1`$, we could in $`V^P`$ from (1) first make $`GCH`$ hold below $`\mu _0`$ by collapsing various cardinals below $`\mu _0`$, and then collapse $`\kappa ^{}`$ to be $`\mathrm{}_n`$.

If we start in $`V`$ by having $`\kappa ^{}=\mu _0^{\omega +1}`$, and in $`V^P`$ collapse $`\mu _0`$ to $`\mathrm{}_1`$, then we get $`\kappa ^{}=\mathrm{}_{\omega +1}`$.

For the last statement, start by $`\kappa ^{}=\mu _0^{+\delta }`$ for some $`\delta \mathrm{}_7`$, so $`\lambda ^{}=\mu _1^{+\delta }`$. By a minor change in the definition of $`P^{}`$, we can make $`P`$ not add any $`\mathrm{}_7`$-sequences from $`V`$. Now in $`V^P`$, collapse first $`\mu _0`$ to $`\mathrm{}_7`$, and then collapse $`\mu _1`$ to $`(\kappa ^{})^{+3}`$. Hence $`\lambda ^{}=(\kappa ^{})^{+3+\delta }`$. $`\mathrm{}_{\text{0.2}}`$