![Page 1: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/1.jpg)
Closed Maximality Principles and LargeCardinals
Gunter Fuchs
Institut fur Mathematische Logik und Grundlagenforschung
Westfalische Wilhelms-Universitat Munster
First European Set Theory Meeting, Bedlewo, 2007
July 12, 2007
– Typeset by FoilTEX –
![Page 2: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/2.jpg)
Let’s view the universeand its possible generic extensions
as a Kripke model
for modal logic.
– Typeset by FoilTEX – 1
![Page 3: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/3.jpg)
V
– Typeset by FoilTEX – 2
![Page 4: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/4.jpg)
Question: CH?
– Typeset by FoilTEX – 3
![Page 5: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/5.jpg)
ω1 > (ω1)L?Question:
– Typeset by FoilTEX – 4
![Page 6: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/6.jpg)
necessary.
φ is forceably MP says φ
is true.
– Typeset by FoilTEX – 5
![Page 7: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/7.jpg)
MP says φ is“φ is necessary”
is forceably
necessary.
necessary.
– Typeset by FoilTEX – 6
![Page 8: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/8.jpg)
– Typeset by FoilTEX – 7
![Page 9: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/9.jpg)
Write 3ϕ to express that ϕ holds in a forcing extension (ϕ is forceable).
Note: This is the first order statement ∃P P ϕ.
![Page 10: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/10.jpg)
Write 3ϕ to express that ϕ holds in a forcing extension (ϕ is forceable).
Note: This is the first order statement ∃P P ϕ.
2ϕ means that ϕ holds in every forcing extension (ϕ is necessary).
This is again a first order statement.
![Page 11: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/11.jpg)
Write 3ϕ to express that ϕ holds in a forcing extension (ϕ is forceable).
Note: This is the first order statement ∃P P ϕ.
2ϕ means that ϕ holds in every forcing extension (ϕ is necessary).
This is again a first order statement.
So the statement 3(2ϕ) makes sense.
It expresses that it is forceable that ϕ is necessary, or in short, that ϕ
is forceably necessary.
![Page 12: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/12.jpg)
Write 3ϕ to express that ϕ holds in a forcing extension (ϕ is forceable).
Note: This is the first order statement ∃P P ϕ.
2ϕ means that ϕ holds in every forcing extension (ϕ is necessary).
This is again a first order statement.
So the statement 3(2ϕ) makes sense.
It expresses that it is forceable that ϕ is necessary, or in short, that ϕ
is forceably necessary.
The Maximality Principle MP is the scheme consisting of the formulae
(32ϕ) =⇒ ϕ,
for every sentence ϕ. It was introduced by Joel Hamkins, and a close
relative was introduced earlier and independently by Stavi and Vaananen.
– Typeset by FoilTEX – 8
![Page 13: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/13.jpg)
Possible modifications of MP:
![Page 14: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/14.jpg)
Possible modifications of MP:
1. Restrict to certain classes of forcings, such as: Proper, ccc, stationary-
preserving, . . .
![Page 15: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/15.jpg)
Possible modifications of MP:
1. Restrict to certain classes of forcings, such as: Proper, ccc, stationary-
preserving, . . .
2. Allow parameters in the scheme 32ϕ =⇒ ϕ, i.e., boldface versions of
the principles.
![Page 16: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/16.jpg)
Possible modifications of MP:
1. Restrict to certain classes of forcings, such as: Proper, ccc, stationary-
preserving, . . .
2. Allow parameters in the scheme 32ϕ =⇒ ϕ, i.e., boldface versions of
the principles.
3. Necessary forms of the boldface principles.
![Page 17: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/17.jpg)
Possible modifications of MP:
1. Restrict to certain classes of forcings, such as: Proper, ccc, stationary-
preserving, . . .
2. Allow parameters in the scheme 32ϕ =⇒ ϕ, i.e., boldface versions of
the principles.
3. Necessary forms of the boldface principles.
4. (Restrict to a subclass of formulae.)
![Page 18: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/18.jpg)
Possible modifications of MP:
1. Restrict to certain classes of forcings, such as: Proper, ccc, stationary-
preserving, . . .
2. Allow parameters in the scheme 32ϕ =⇒ ϕ, i.e., boldface versions of
the principles.
3. Necessary forms of the boldface principles.
4. (Restrict to a subclass of formulae.)
General form of the principle:
MPΓ(X),
where Γ is a class of partial orders and X is the parameter set.
– Typeset by FoilTEX – 9
![Page 19: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/19.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
![Page 20: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/20.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
1. The class of all <κ-closed forcings,
![Page 21: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/21.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
1. The class of all <κ-closed forcings,
2. the class of all <κ-directed-closed forcings,
![Page 22: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/22.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
1. The class of all <κ-closed forcings,
2. the class of all <κ-directed-closed forcings,
3. the class of all forcings of the form Col(κ, λ) or Col(κ,< λ),for some λ. Call the class Col(κ).
![Page 23: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/23.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
1. The class of all <κ-closed forcings,
2. the class of all <κ-directed-closed forcings,
3. the class of all forcings of the form Col(κ, λ) or Col(κ,< λ),for some λ. Call the class Col(κ).
Note: κ = ω is allowed!
The corresponding parameter set will usually be one of the following:
∅, Hκ ∪ {κ}, Hκ+.
![Page 24: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/24.jpg)
I looked at the case where Γ is one of the following, for some fixed
regular cardinal κ.
1. The class of all <κ-closed forcings,
2. the class of all <κ-directed-closed forcings,
3. the class of all forcings of the form Col(κ, λ) or Col(κ,< λ),for some λ. Call the class Col(κ).
Note: κ = ω is allowed!
The corresponding parameter set will usually be one of the following:
∅, Hκ ∪ {κ}, Hκ+.
The implications between the principles are as follows:
– Typeset by FoilTEX – 10
![Page 25: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/25.jpg)
Relationships
MPCol(κ)(Hκ ∪ {κ})⇐=========MPCol(κ)(Hκ+)
MP<κ−dir. cl.(Hκ ∪ {κ})�wwwwwwwww
⇐===== MP<κ−dir. cl.(Hκ+)�wwwwwwwww
MP<κ−closed(Hκ ∪ {κ})�wwwwwwwww
⇐======MP<κ−closed(Hκ+)�wwwwwwwww
![Page 26: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/26.jpg)
Relationships
MPCol(κ)(Hκ ∪ {κ})⇐=========MPCol(κ)(Hκ+)
MP<κ−dir. cl.(Hκ ∪ {κ})�wwwwwwwww
⇐===== MP<κ−dir. cl.(Hκ+)�wwwwwwwww
MP<κ−closed(Hκ ∪ {κ})�wwwwwwwww
⇐======MP<κ−closed(Hκ+)�wwwwwwwww
In general, none of the implications can be reversed.
– Typeset by FoilTEX – 11
![Page 27: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/27.jpg)
Consistency Results
1. If Vδ ≺ V and κ < δ is regular, then forcing with Col(κ,<δ) produces
a model of MPCol(κ)(Hκ ∪ {κ}).
![Page 28: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/28.jpg)
Consistency Results
1. If Vδ ≺ V and κ < δ is regular, then forcing with Col(κ,<δ) produces
a model of MPCol(κ)(Hκ ∪ {κ}).
2. If in addition, δ is regular (i.e., inaccessible), then the extension will
model MPCol(κ)(Hκ+).
![Page 29: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/29.jpg)
Consistency Results
1. If Vδ ≺ V and κ < δ is regular, then forcing with Col(κ,<δ) produces
a model of MPCol(κ)(Hκ ∪ {κ}).
2. If in addition, δ is regular (i.e., inaccessible), then the extension will
model MPCol(κ)(Hκ+).
3. Conversely, MP<κ−closed(Hκ ∪ {κ}) implies that Lδ ≺ L, where δ is
the supremum of the ordinals which are definable in κ; it follows that
δ ≤ κ+.
![Page 30: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/30.jpg)
Consistency Results
1. If Vδ ≺ V and κ < δ is regular, then forcing with Col(κ,<δ) produces
a model of MPCol(κ)(Hκ ∪ {κ}).
2. If in addition, δ is regular (i.e., inaccessible), then the extension will
model MPCol(κ)(Hκ+).
3. Conversely, MP<κ−closed(Hκ ∪ {κ}) implies that Lδ ≺ L, where δ is
the supremum of the ordinals which are definable in κ; it follows that
δ ≤ κ+.
4. MP<κ−closed(Hκ+) implies that Lδ ≺ L, where δ = κ+.
– Typeset by FoilTEX – 12
![Page 31: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/31.jpg)
Results on Consequences of the Principles
Here are some consequences of MP<κ−closed(X) with κ ∈ X:
1. ♦κ holds.
![Page 32: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/32.jpg)
Results on Consequences of the Principles
Here are some consequences of MP<κ−closed(X) with κ ∈ X:
1. ♦κ holds.
2. No tree in X is a κ-Kurepa tree.
![Page 33: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/33.jpg)
Results on Consequences of the Principles
Here are some consequences of MP<κ−closed(X) with κ ∈ X:
1. ♦κ holds.
2. No tree in X is a κ-Kurepa tree.
3. <κ-closed generic Σ12(Hκ)-absoluteness, with parameters from X.
![Page 34: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/34.jpg)
Results on Consequences of the Principles
Here are some consequences of MP<κ−closed(X) with κ ∈ X:
1. ♦κ holds.
2. No tree in X is a κ-Kurepa tree.
3. <κ-closed generic Σ12(Hκ)-absoluteness, with parameters from X.
4. . . .
– Typeset by FoilTEX – 13
![Page 35: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/35.jpg)
Combining
![Page 36: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/36.jpg)
Combining
Lemma 1. Assume MP<κ−closed(Hκ+). Let P be a <κ+-closed notion
of forcing. If G is P-generic, then in V[G], MP<κ−closed(Hκ+) continues
to hold. This remains true if “<κ-closed” is replaced with “<κ-directed-
closed”.
![Page 37: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/37.jpg)
Combining
Lemma 1. Assume MP<κ−closed(Hκ+). Let P be a <κ+-closed notion
of forcing. If G is P-generic, then in V[G], MP<κ−closed(Hκ+) continues
to hold. This remains true if “<κ-closed” is replaced with “<κ-directed-
closed”.
So the the closed maximality principles can be combined:
• Assume that κ0 < δ0 ≤ κ1 < δ1 are regular, and δ0, as well as δ1 are
fully reflecting.
![Page 38: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/38.jpg)
Combining
Lemma 1. Assume MP<κ−closed(Hκ+). Let P be a <κ+-closed notion
of forcing. If G is P-generic, then in V[G], MP<κ−closed(Hκ+) continues
to hold. This remains true if “<κ-closed” is replaced with “<κ-directed-
closed”.
So the the closed maximality principles can be combined:
• Assume that κ0 < δ0 ≤ κ1 < δ1 are regular, and δ0, as well as δ1 are
fully reflecting.
• Forcing with Col(κ0, < δ0) produces a model in which
MP<κ0−dir. cl.(Hκ0+) holds.
![Page 39: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/39.jpg)
Combining
Lemma 1. Assume MP<κ−closed(Hκ+). Let P be a <κ+-closed notion
of forcing. If G is P-generic, then in V[G], MP<κ−closed(Hκ+) continues
to hold. This remains true if “<κ-closed” is replaced with “<κ-directed-
closed”.
So the the closed maximality principles can be combined:
• Assume that κ0 < δ0 ≤ κ1 < δ1 are regular, and δ0, as well as δ1 are
fully reflecting.
• Forcing with Col(κ0, < δ0) produces a model in which
MP<κ0−dir. cl.(Hκ0+) holds.
• Moreover, in that model, κ1 < δ1 are regular, and δ1 is still fully
reflecting.
![Page 40: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/40.jpg)
Combining
Lemma 1. Assume MP<κ−closed(Hκ+). Let P be a <κ+-closed notion
of forcing. If G is P-generic, then in V[G], MP<κ−closed(Hκ+) continues
to hold. This remains true if “<κ-closed” is replaced with “<κ-directed-
closed”.
So the the closed maximality principles can be combined:
• Assume that κ0 < δ0 ≤ κ1 < δ1 are regular, and δ0, as well as δ1 are
fully reflecting.
• Forcing with Col(κ0, < δ0) produces a model in which
MP<κ0−dir. cl.(Hκ0+) holds.
• Moreover, in that model, κ1 < δ1 are regular, and δ1 is still fully
reflecting.
• So since κ1 ≥ κ+0 , further forcing with Col(κ1, < δ1) preserves
MP<κ0−dir. cl.(Hκ0+) and makes MP<κ1−dir. cl.(Hκ1
+) true, in addition.
– Typeset by FoilTEX – 14
![Page 41: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/41.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ.
![Page 42: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/42.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ. In order to force such a model, assume
• ZFCA.
![Page 43: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/43.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ. In order to force such a model, assume
• ZFCA.
• A consists of inaccessible cardinals and has order-type α.
![Page 44: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/44.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ. In order to force such a model, assume
• ZFCA.
• A consists of inaccessible cardinals and has order-type α.
• A is discrete, that is, it contains no limit point of itself.
![Page 45: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/45.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ. In order to force such a model, assume
• ZFCA.
• A consists of inaccessible cardinals and has order-type α.
• A is discrete, that is, it contains no limit point of itself.
• For every δ ∈ A, 〈Vδ,∈〉 ≺ 〈V,∈〉.
![Page 46: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/46.jpg)
More Combining
Pushing this idea further, one can now produce models where
MP<κ−dir. cl.(Hκ+) holds simultaneously at each of the first α regular
cardinals κ. In order to force such a model, assume
• ZFCA.
• A consists of inaccessible cardinals and has order-type α.
• A is discrete, that is, it contains no limit point of itself.
• For every δ ∈ A, 〈Vδ,∈〉 ≺ 〈V,∈〉.
For δ ∈ A, let δ be the least regular cardinal which is greater than or
equal to sup(A∩δ). The forcing which produces the desired model is then
a reverse Easton iteration of collapses of the form Col(δ, <δ), for δ ∈ A.
Call this forcing iteration PA.
– Typeset by FoilTEX – 15
![Page 47: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/47.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
![Page 48: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/48.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
• It is consistent to have them hold at the first α regular cardinals, but
![Page 49: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/49.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
• It is consistent to have them hold at the first α regular cardinals, but
• it is inconsistent to have them hold at arbitrarily large regular cardinals.
![Page 50: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/50.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
• It is consistent to have them hold at the first α regular cardinals, but
• it is inconsistent to have them hold at arbitrarily large regular cardinals.
Why is the global combination impossible?
![Page 51: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/51.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
• It is consistent to have them hold at the first α regular cardinals, but
• it is inconsistent to have them hold at arbitrarily large regular cardinals.
Why is the global combination impossible?
Definition 2. A forcing has a strong closure point at a cardinal δ if it
factors as P ∗ Q, where P has size at most δ and P forces that Q is
<δ++-strategically closed.
![Page 52: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/52.jpg)
No More Combining
An intriguing feature of the “combinatorics” of the boldface closed
maximality principles:
• It is consistent to have them hold at the first α regular cardinals, but
• it is inconsistent to have them hold at arbitrarily large regular cardinals.
Why is the global combination impossible?
Definition 2. A forcing has a strong closure point at a cardinal δ if it
factors as P ∗ Q, where P has size at most δ and P forces that Q is
<δ++-strategically closed.
The crucial point is the following:
– Typeset by FoilTEX – 16
![Page 53: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/53.jpg)
Lemma 3. There is a formula ψ(·, ·) with the following property:
If V = M [G], where G is generic over M for a forcing which has a
strong closure point at δ then
M = {x | V |= ψ(x, z)},
where z = P(δ+)M .
This uses Hamkins’ approximation and cover properties and ideas of
Reitz.
– Typeset by FoilTEX – 17
![Page 54: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/54.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals.
![Page 55: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/55.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible).
![Page 56: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/56.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible). So
let V = M [G], where G is generic over M for P. Let δ be the cardinality
of P. Let z = P(δ+)M , and let κ be a regular cardinal greater than 2δ+,
at which the closed Maximality Principle holds. Note that z is allowed as
a parameter in the principle.
![Page 57: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/57.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible). So
let V = M [G], where G is generic over M for P. Let δ be the cardinality
of P. Let z = P(δ+)M , and let κ be a regular cardinal greater than 2δ+,
at which the closed Maximality Principle holds. Note that z is allowed as
a parameter in the principle. Now the statement
“κ+ > (κ+)M”
is <κ-closed-forceably necessary:
![Page 58: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/58.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible). So
let V = M [G], where G is generic over M for P. Let δ be the cardinality
of P. Let z = P(δ+)M , and let κ be a regular cardinal greater than 2δ+,
at which the closed Maximality Principle holds. Note that z is allowed as
a parameter in the principle. Now the statement
“κ+ > (κ+)M”
is <κ-closed-forceably necessary:
First collapse (κ+)M to κ over V.
![Page 59: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/59.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible). So
let V = M [G], where G is generic over M for P. Let δ be the cardinality
of P. Let z = P(δ+)M , and let κ be a regular cardinal greater than 2δ+,
at which the closed Maximality Principle holds. Note that z is allowed as
a parameter in the principle. Now the statement
“κ+ > (κ+)M”
is <κ-closed-forceably necessary:
First collapse (κ+)M to κ over V.
The point is now that any further extension by <κ-closed forcing is a
forcing extension of M by a forcing which has a strong closure point at δ,
so that M is defined by ψ(·, z) in any such extension.
![Page 60: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/60.jpg)
Now assume the closed Maximality Principle holds at arbitrarily large
regular cardinals. Then V has to be a forcing extension of an inner
model, since this is forceably necessary (and first order expressible). So
let V = M [G], where G is generic over M for P. Let δ be the cardinality
of P. Let z = P(δ+)M , and let κ be a regular cardinal greater than 2δ+,
at which the closed Maximality Principle holds. Note that z is allowed as
a parameter in the principle. Now the statement
“κ+ > (κ+)M”
is <κ-closed-forceably necessary:
First collapse (κ+)M to κ over V.
The point is now that any further extension by <κ-closed forcing is a
forcing extension of M by a forcing which has a strong closure point at δ,
so that M is defined by ψ(·, z) in any such extension.
So κ+ > (κ+)M , which is impossible, since P has size less than κ.
– Typeset by FoilTEX – 18
![Page 61: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/61.jpg)
A Natural Question
So I hope everybody will agree that the following question arises
naturally:
![Page 62: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/62.jpg)
A Natural Question
So I hope everybody will agree that the following question arises
naturally:
How large can a cardinal κ be if MP<κ−closed(Hκ+) holds at everyregular κ < κ (or even at every regular κ ≤ κ)?
![Page 63: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/63.jpg)
A Natural Question
So I hope everybody will agree that the following question arises
naturally:
How large can a cardinal κ be if MP<κ−closed(Hκ+) holds at everyregular κ < κ (or even at every regular κ ≤ κ)?
This leads to a study of techniques which lift embeddings of a model
to generic extensions.
– Typeset by FoilTEX – 19
![Page 64: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/64.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
![Page 65: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/65.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
![Page 66: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/66.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
2. Let G be generic for some forcing P making MP true as often as wished.
![Page 67: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/67.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
2. Let G be generic for some forcing P making MP true as often as wished.
3. Find G′ which is P′G-generic, such that j“G ⊆ G′. Here, j(P) = P ∗ P′.
So j extends to j′ : M [G] −→ N [G′].
![Page 68: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/68.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
2. Let G be generic for some forcing P making MP true as often as wished.
3. Find G′ which is P′G-generic, such that j“G ⊆ G′. Here, j(P) = P ∗ P′.
So j extends to j′ : M [G] −→ N [G′].
4. Derive some object F from j′ which codes the relevant portion of the
embedding.
![Page 69: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/69.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
2. Let G be generic for some forcing P making MP true as often as wished.
3. Find G′ which is P′G-generic, such that j“G ⊆ G′. Here, j(P) = P ∗ P′.
So j extends to j′ : M [G] −→ N [G′].
4. Derive some object F from j′ which codes the relevant portion of the
embedding.
5. Argue that P′ is sufficiently closed in N [G], and hence in V[G], by the
closure of N in V[G], so that F ∈ V[G].
![Page 70: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/70.jpg)
General Pattern
Suppose κ is a large cardinal (as witnessed by certain kinds of
embeddings) which is fully reflecting.
1. Let j : M −→ N be an embedding witnessing that κ is large.
2. Let G be generic for some forcing P making MP true as often as wished.
3. Find G′ which is P′G-generic, such that j“G ⊆ G′. Here, j(P) = P ∗ P′.
So j extends to j′ : M [G] −→ N [G′].
4. Derive some object F from j′ which codes the relevant portion of the
embedding.
5. Argue that P′ is sufficiently closed in N [G], and hence in V[G], by the
closure of N in V[G], so that F ∈ V[G].
6. π : M [G] −→F M ′ witnesses that κ is large in V[G].
– Typeset by FoilTEX – 20
![Page 71: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/71.jpg)
Below a weakly compact cardinal
Lemma 4. Let κ be weakly compact and Vκ ≺ V. Then there is a
forcing P such that in any P-generic extension, V[G], κ is still weakly
compact, and the boldface maximality principle for directed closed forcings
holds at every regular cardinal κ < κ.
![Page 72: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/72.jpg)
Below a weakly compact cardinal
Lemma 4. Let κ be weakly compact and Vκ ≺ V. Then there is a
forcing P such that in any P-generic extension, V[G], κ is still weakly
compact, and the boldface maximality principle for directed closed forcings
holds at every regular cardinal κ < κ.
In this case, we force with PA to get V[G]. Given a transitive model
in V[G] which has size κ there, pick a name for that model, and a
transitive model M of size κ, containing the name, that’s closed under
<κ-sequences in V.
![Page 73: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/73.jpg)
Below a weakly compact cardinal
Lemma 4. Let κ be weakly compact and Vκ ≺ V. Then there is a
forcing P such that in any P-generic extension, V[G], κ is still weakly
compact, and the boldface maximality principle for directed closed forcings
holds at every regular cardinal κ < κ.
In this case, we force with PA to get V[G]. Given a transitive model
in V[G] which has size κ there, pick a name for that model, and a
transitive model M of size κ, containing the name, that’s closed under
<κ-sequences in V. Now lift a weakly compact embedding j : M −→ N
to j′ : M [G] −→ N [G′]. In this case, G = j“G and G′ ∈ V[G], as the tail
forcing is <κ-closed and N has size κ.
![Page 74: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/74.jpg)
Below a weakly compact cardinal
Lemma 4. Let κ be weakly compact and Vκ ≺ V. Then there is a
forcing P such that in any P-generic extension, V[G], κ is still weakly
compact, and the boldface maximality principle for directed closed forcings
holds at every regular cardinal κ < κ.
In this case, we force with PA to get V[G]. Given a transitive model
in V[G] which has size κ there, pick a name for that model, and a
transitive model M of size κ, containing the name, that’s closed under
<κ-sequences in V. Now lift a weakly compact embedding j : M −→ N
to j′ : M [G] −→ N [G′]. In this case, G = j“G and G′ ∈ V[G], as the tail
forcing is <κ-closed and N has size κ.
Note: This is an equiconsistency; we get the reflecting weakly compact
back in L.
– Typeset by FoilTEX – 21
![Page 75: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/75.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
![Page 76: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/76.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
1. A consists of regular limit cardinals,
![Page 77: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/77.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
1. A consists of regular limit cardinals,
2. If κ0 < κ1, then there exists a ρ ∈ (κ0, κ1] which is regular and
reflecting.
![Page 78: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/78.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
1. A consists of regular limit cardinals,
2. If κ0 < κ1, then there exists a ρ ∈ (κ0, κ1] which is regular and
reflecting.
3. A has U -measure 0.
![Page 79: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/79.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
1. A consists of regular limit cardinals,
2. If κ0 < κ1, then there exists a ρ ∈ (κ0, κ1] which is regular and
reflecting.
3. A has U -measure 0.
Then there is a forcing P such that if G is P-generic over V, in V[G], the
following hold:
1. MP<κ−dir. cl.(Hκ+) is true, for every κ ∈ A, and
![Page 80: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/80.jpg)
On an unbounded measure 0 set below a measurable
Lemma 5. Let κ be measurable, as witnessed by some normal ultrafilter
U on κ, Vκ ≺ V, 2κ = κ+ and A ⊆ κ be such that
1. A consists of regular limit cardinals,
2. If κ0 < κ1, then there exists a ρ ∈ (κ0, κ1] which is regular and
reflecting.
3. A has U -measure 0.
Then there is a forcing P such that if G is P-generic over V, in V[G], the
following hold:
1. MP<κ−dir. cl.(Hκ+) is true, for every κ ∈ A, and
2. κ is measurable.
– Typeset by FoilTEX – 22
![Page 81: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/81.jpg)
In this case, let U be a normal ultrafilter on κ, let j : V −→ N be
the ultrapower by U , and let P force MP at all κ ∈ A. Let G be generic
for P. N [G] is closed under κ-sequences and thinks that the tail forcing
QG, where j(P) = P ∗ Q, is <κ+-closed, so that it is <κ+-closed in
V[G]. Since moreover, P(j(P)) ∩N [G] has size κ+ in V[G], it is possible
to construct a generic G′ for QG over N [G] in V[G]. Then j lifts to
j′ : V[G] −→ N [G][G′]. 2
– Typeset by FoilTEX – 23
![Page 82: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/82.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing.
![Page 83: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/83.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
![Page 84: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/84.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1.
![Page 85: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/85.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1. Let
M = Ult(V,U).
![Page 86: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/86.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1. Let
M = Ult(V,U). Then in M , MP<κ−closed(Hκ+) holds, and κ is weakly
compact in M .
![Page 87: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/87.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1. Let
M = Ult(V,U). Then in M , MP<κ−closed(Hκ+) holds, and κ is weakly
compact in M . So in M , κ is an indestructible weakly compact
cardinal.
![Page 88: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/88.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1. Let
M = Ult(V,U). Then in M , MP<κ−closed(Hκ+) holds, and κ is weakly
compact in M . So in M , κ is an indestructible weakly compact
cardinal. So, in V, the set of indestructible weakly compact cardinals
below κ has U -measure 1.
![Page 89: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/89.jpg)
Remark 6.
1. If MP<κ−closed(Hκ ∪ {κ}) holds and κ is weakly compact, then κ’s
weak compactness is indestructible under <κ-closed forcing. This is
because κ being weakly compact is a Π12 property over Hκ, and under
MP<κ−closed(Hκ ∪ {κ}), <κ-closed-generic Σ12(Hκ) absoluteness holds.
2. Suppose κ is measurable, U is a normal ultrafilter on κ and the set
of κ < κ such that MP<κ−closed(Hκ+) holds has U -measure 1. Let
M = Ult(V,U). Then in M , MP<κ−closed(Hκ+) holds, and κ is weakly
compact in M . So in M , κ is an indestructible weakly compact
cardinal. So, in V, the set of indestructible weakly compact cardinals
below κ has U -measure 1.
3. The strength of an indestructible weakly compact is at least that of a
non-domestic mouse, by methods of Jensen, Schindler and Steel (cf.
”Stacking Mice”), as was observed by Schindler and myself.
– Typeset by FoilTEX – 24
![Page 90: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/90.jpg)
The previous remark shows an interesting aspect of the next lemma,
because it provides a new way of producing an indestructible weakly
compact cardinal, other than using the Laver preparation to make a
supercompact cardinal indestructible.
![Page 91: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/91.jpg)
The previous remark shows an interesting aspect of the next lemma,
because it provides a new way of producing an indestructible weakly
compact cardinal, other than using the Laver preparation to make a
supercompact cardinal indestructible.
Before stating it, let’s make the following definition:
![Page 92: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/92.jpg)
The previous remark shows an interesting aspect of the next lemma,
because it provides a new way of producing an indestructible weakly
compact cardinal, other than using the Laver preparation to make a
supercompact cardinal indestructible.
Before stating it, let’s make the following definition:
Definition 7. Let κ be a cardinal, γ an ordinal, and A a set. Then
κ is supercompact up to γ wrt. A if for every γ < γ, there is a γ-
supercompact embedding j of the universe, with critical point κ, such that
j(A) ∩Vγ = A ∩Vγ and j(κ) > γ.
![Page 93: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/93.jpg)
The previous remark shows an interesting aspect of the next lemma,
because it provides a new way of producing an indestructible weakly
compact cardinal, other than using the Laver preparation to make a
supercompact cardinal indestructible.
Before stating it, let’s make the following definition:
Definition 7. Let κ be a cardinal, γ an ordinal, and A a set. Then
κ is supercompact up to γ wrt. A if for every γ < γ, there is a γ-
supercompact embedding j of the universe, with critical point κ, such that
j(A) ∩Vγ = A ∩Vγ and j(κ) > γ.
The notion “almost huge to γ wrt. A” is defined analogously. It is all
just like in the case of strong cardinals.
– Typeset by FoilTEX – 25
![Page 94: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/94.jpg)
On a measure one set up to and including a measurable
Lemma 8. Assume that κ < ρ, Vκ ≺ Vρ ≺ V and κ is supercompact up
to ρ + 1 wrt. A, where A = {ρ | ρ ≤ ρ ∧ Vρ ≺ V ∧ ρ is regular.}. Then
there is a forcing P such that if G is P-generic over V, then in V[G], κis measurable, MP<κ−dir. cl.(Hκ+) holds, and the set of λ < κ which are
regular and at which MP<λ−dir. cl.(Hλ+) holds has measure 1 wrt. any
normal ultrafilter on κ in V[G].
![Page 95: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/95.jpg)
On a measure one set up to and including a measurable
Lemma 8. Assume that κ < ρ, Vκ ≺ Vρ ≺ V and κ is supercompact up
to ρ + 1 wrt. A, where A = {ρ | ρ ≤ ρ ∧ Vρ ≺ V ∧ ρ is regular.}. Then
there is a forcing P such that if G is P-generic over V, then in V[G], κis measurable, MP<κ−dir. cl.(Hκ+) holds, and the set of λ < κ which are
regular and at which MP<λ−dir. cl.(Hλ+) holds has measure 1 wrt. any
normal ultrafilter on κ in V[G].
Proof. The Silver argument works. Supercompactness wrt. A is used
in order to guarantee that P is an initial segment of j(P), where P is
the forcing iteration of length κ + 1 which forces the desired maximality
principles.
![Page 96: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/96.jpg)
On a measure one set up to and including a measurable
Lemma 8. Assume that κ < ρ, Vκ ≺ Vρ ≺ V and κ is supercompact up
to ρ + 1 wrt. A, where A = {ρ | ρ ≤ ρ ∧ Vρ ≺ V ∧ ρ is regular.}. Then
there is a forcing P such that if G is P-generic over V, then in V[G], κis measurable, MP<κ−dir. cl.(Hκ+) holds, and the set of λ < κ which are
regular and at which MP<λ−dir. cl.(Hλ+) holds has measure 1 wrt. any
normal ultrafilter on κ in V[G].
Proof. The Silver argument works. Supercompactness wrt. A is used
in order to guarantee that P is an initial segment of j(P), where P is
the forcing iteration of length κ + 1 which forces the desired maximality
principles. The gaps in the regular cardinals at which the principle holds
are used in order to get the ultrafilter derived from the lifted embedding
back in V[G], and also for the master condition argument.
– Typeset by FoilTEX – 26
![Page 97: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/97.jpg)
Up to (and including) a weakly compact
Lemma 9. Let κ < ρ, ρ regular, Vρ ≺ V, A = {ρ | ρ ≤ ρ ∧ Vρ ≺ V},and let κ be A-supercompact to ρ + 1. Then there is a forcing P which
yields an extension V[G] such that κ is weakly compact in V[G] and
MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
![Page 98: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/98.jpg)
Up to (and including) a weakly compact
Lemma 9. Let κ < ρ, ρ regular, Vρ ≺ V, A = {ρ | ρ ≤ ρ ∧ Vρ ≺ V},and let κ be A-supercompact to ρ + 1. Then there is a forcing P which
yields an extension V[G] such that κ is weakly compact in V[G] and
MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
Proof. Let P be the length κ+ 1 iteration forcing the desired Maximality
Principles, and let G be generic. Given a size κ transitive model M in
the extension, it shows up in an extension of the form V[G � κ][G], where
G is the restriction of the last coordinate of G to Col(κ,<ρ), for some
ρ < ρ. Now a supercompact embedding j : V −→ P lifts to an embedding
j′ : V[G � κ][G] −→ P [G][H] (H is generic over V[G]); the Silver master
condition argument goes through because the size of the forcing on the
left is less than the closure of the tail forcing. The ultrafilter derived from
the restriction of j′ to M is in V[G], because it has size κ < ρ and the
tail forcing is <ρ-closed.
– Typeset by FoilTEX – 27
![Page 99: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/99.jpg)
Up to (and including) a measurable
Lemma 10. Let κ be almost huge up to ρ+ 2 wrt. A, where
1. κ < ρ ∈ A = {ρ ≤ ρ | ρ is regular and Vρ ≺ V},
2. ρ = min(A \ (κ+ 1)).
Then there is a forcing extension of V in which the following statements
hold:
1. κ is measurable and
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
– Typeset by FoilTEX – 28
![Page 100: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/100.jpg)
Proof. Let Pκ+1 be the notion of forcing making the desired Maximality
Principles true.
![Page 101: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/101.jpg)
Proof. Let Pκ+1 be the notion of forcing making the desired Maximality
Principles true. Force with j(Pκ) to obtain V[G], where j : V −→ N is
an almost huge embedding as in the Lemma, for ρ + 1. j can be lifted
to j′ : V[G � (κ + 1)] −→ N [G][H], where H is generic over V[G] and
contains a suitable master condition. Let U be the ultrafilter derived from
j′. Since j(κ) is inaccessible in V[G] and the tail forcing for which H
is generic is <j(κ)-closed, it follows that U ∈ V[G]. Since V[G] and
V[G � (κ+ 1)] have the same subsets of κ, U is a normal ultrafilter on κ
from V[G]’s point of view.
– Typeset by FoilTEX – 29
![Page 102: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/102.jpg)
Up to (and including) a (partial) supercompact
Lemma 11. Let κ be almost huge wrt. A = {ρ | ρ is regular and Vρ ≺V}.
![Page 103: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/103.jpg)
Up to (and including) a (partial) supercompact
Lemma 11. Let κ be almost huge wrt. A = {ρ | ρ is regular and Vρ ≺V}. (This is equivalent to saying that there is an almost huge embedding
j : V −→M with critical point κ, such that Vj(κ) ≺ V.) Let j : V −→M
be almost huge wrt. A. Then there is a forcing extension of V in which
the following statements hold:
1. κ is <j(κ)-supercompact, and
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
![Page 104: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/104.jpg)
Up to (and including) a (partial) supercompact
Lemma 11. Let κ be almost huge wrt. A = {ρ | ρ is regular and Vρ ≺V}. (This is equivalent to saying that there is an almost huge embedding
j : V −→M with critical point κ, such that Vj(κ) ≺ V.) Let j : V −→M
be almost huge wrt. A. Then there is a forcing extension of V in which
the following statements hold:
1. κ is <j(κ)-supercompact, and
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
Proof. Force with j(Pκ+1), extend j to an embedding from V[G � λ] to
N [G][H], for arbitrarily large λ < j(κ). H is generic for a tail of j(j(P)λ).Derive a supercompactness measure and argue that it can be found in
V[G] and is a supercompactness measure there.
![Page 105: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/105.jpg)
Up to (and including) a (partial) supercompact
Lemma 11. Let κ be almost huge wrt. A = {ρ | ρ is regular and Vρ ≺V}. (This is equivalent to saying that there is an almost huge embedding
j : V −→M with critical point κ, such that Vj(κ) ≺ V.) Let j : V −→M
be almost huge wrt. A. Then there is a forcing extension of V in which
the following statements hold:
1. κ is <j(κ)-supercompact, and
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
Proof. Force with j(Pκ+1), extend j to an embedding from V[G � λ] to
N [G][H], for arbitrarily large λ < j(κ). H is generic for a tail of j(j(P)λ).Derive a supercompactness measure and argue that it can be found in
V[G] and is a supercompactness measure there.
I don’t know yet how to get a fully supercompact cardinal κ such that
the boldface closed maximality principles hold up to and including κ.
– Typeset by FoilTEX – 30
![Page 106: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/106.jpg)
Large Cardinals, Woodinized
![Page 107: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/107.jpg)
Large Cardinals, Woodinized
Definition 12. A cardinal κ is a Woodinized supercompact cardinal iff
for every set A ⊆ Vκ, there is a cardinal κ < κ which is supercompact
up to κ with respect to A.
![Page 108: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/108.jpg)
Large Cardinals, Woodinized
Definition 12. A cardinal κ is a Woodinized supercompact cardinal iff
for every set A ⊆ Vκ, there is a cardinal κ < κ which is supercompact
up to κ with respect to A. Woodinized almost huge cardinals are defined
analogously.
![Page 109: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/109.jpg)
Large Cardinals, Woodinized
Definition 12. A cardinal κ is a Woodinized supercompact cardinal iff
for every set A ⊆ Vκ, there is a cardinal κ < κ which is supercompact
up to κ with respect to A. Woodinized almost huge cardinals are defined
analogously.
So a Woodin cardinal is just a Woodinized strong cardinal.
![Page 110: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/110.jpg)
Large Cardinals, Woodinized
Definition 12. A cardinal κ is a Woodinized supercompact cardinal iff
for every set A ⊆ Vκ, there is a cardinal κ < κ which is supercompact
up to κ with respect to A. Woodinized almost huge cardinals are defined
analogously.
So a Woodin cardinal is just a Woodinized strong cardinal.
I am aiming at producing a model in which the boldface closed
maximality principle holds up to a Woodin cardinal.
![Page 111: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/111.jpg)
Large Cardinals, Woodinized
Definition 12. A cardinal κ is a Woodinized supercompact cardinal iff
for every set A ⊆ Vκ, there is a cardinal κ < κ which is supercompact
up to κ with respect to A. Woodinized almost huge cardinals are defined
analogously.
So a Woodin cardinal is just a Woodinized strong cardinal.
I am aiming at producing a model in which the boldface closed
maximality principle holds up to a Woodin cardinal. I seem to need
strong assumptions, and get the result for a Woodinized supercompact
cardinal.
– Typeset by FoilTEX – 31
![Page 112: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/112.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
![Page 113: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/113.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
1. Vκ ≺ V,
![Page 114: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/114.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
1. Vκ ≺ V,
2. κ is a Woodinized almost huge cardinal.
![Page 115: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/115.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
1. Vκ ≺ V,
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
1. κ is a Woodinized supercompact cardinal,
![Page 116: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/116.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
1. Vκ ≺ V,
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
1. κ is a Woodinized supercompact cardinal,
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ < κ.
![Page 117: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/117.jpg)
Below a Woodin Cardinal, without gaps
Lemma 13. Let κ have the following properties:
1. Vκ ≺ V,
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
1. κ is a Woodinized supercompact cardinal,
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ < κ.
Proof. Forcing with PA does the trick, where A is the set of fully
reflecting cardinals below κ.
– Typeset by FoilTEX – 32
![Page 118: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/118.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
![Page 119: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/119.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
1. Vκ ≺ Vρ ≺ V, where ρ is regular and > κ, and
![Page 120: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/120.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
1. Vκ ≺ Vρ ≺ V, where ρ is regular and > κ, and
2. κ is a Woodinized almost huge cardinal.
![Page 121: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/121.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
1. Vκ ≺ Vρ ≺ V, where ρ is regular and > κ, and
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
![Page 122: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/122.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
1. Vκ ≺ Vρ ≺ V, where ρ is regular and > κ, and
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
1. κ is a Woodinized supercompact cardinal,
![Page 123: Closed Maximality Principles and Large Cardinals](https://reader031.vdocuments.us/reader031/viewer/2022012516/618fb9d529a2e34c592633da/html5/thumbnails/123.jpg)
Up to (and including) a Woodinized supercompactcardinal
Corollary 14. Let κ have the properties of the previous lemma:
1. Vκ ≺ Vρ ≺ V, where ρ is regular and > κ, and
2. κ is a Woodinized almost huge cardinal.
Then there is a forcing P such that if G is P-generic over V, then in V[G],the following holds:
1. κ is a Woodinized supercompact cardinal,
2. MP<κ−dir. cl.(Hκ+) holds at every regular κ ≤ κ.
– Typeset by FoilTEX – 33