Boldface Resurrection & the Strongly Uplifting, The

Strongly uplifting cardinals Boldface Resurrection Axioms

Boldface resurrection & the strongly uplifting, the superstrongly unfoldable, and the almost-hugely unfoldable cardinals

Joel David Hamkins

The City University of New York College of Staten Island The CUNY Graduate Center & MathOverﬂow ;-)

Mathematics, Philosophy, Computer Science

Boise Extravaganza in Set Theory (BEST) American Association for the Advancement of Science - Paciﬁc Division 95th annual meeting Riverside, CA, June 18-20, 2014

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Acknowledgements

This is joint work with Thomas A. Johnstone, New York City Tech, CUNY.

J. D. Hamkins, T. A. Johnstone, “Strongly uplifting cardinals and the boldface resurrection axioms,” under review, arxiv.org/abs/1403.2788.

J. D. Hamkins, T. A. Johnstone, “Resurrection axioms and uplifting cardinals,” Archive for Mathematical Logic 53:3-4(2014), p. 463–485.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vθ Vη Vλ ≺ ≺ ≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vθ Vη

≺ ≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vλ

≺ Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vθ

Vλ ≺

≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vη

≺

Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vη Vλ

≺ ≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vθ

≺

Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vη Vλ

≺ ≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vθ

≺

Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Vη Vλ

≺ ≺

Strongly uplifting cardinals Boldface Resurrection Axioms

Recall the uplifting cardinals

Deﬁnition (Hamkins, Johnstone) An inaccessible cardinal κ is uplifting, if there are arbitrarily large inaccessible cardinals θ with Vκ ≺ Vθ.

Vθ

≺

Vκ

In consistency strength, “ORD is Mahlo” < uplifting < Mahlo Pseudo-uplifting: do not require the target θ to be inaccessible.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Connection with forcing axioms

We introduced the uplifting cardinals precisely to prove:

Theorem (Hamkins, Johnstone) The following are equiconsistent over ZFC: 1 There is an uplifting cardinal. 2 The resurrection axiom RA(all). 3 The resurrection axiom RA(ccc) for c.c.c. forcing 4 The resurrection axiom RA(proper) + ¬CH 5 The resurrection axiom RA(semi-proper) + ¬CH 6 and many other instances RA(Γ) + ¬CH.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Connection with forcing axioms

We introduced the uplifting cardinals precisely to prove:

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Strongly uplifting cardinals We now generalize this concept to a boldface notion. Deﬁnition (Hamkins, Johnstone) A cardinal κ is strongly uplifting, if for every A ⊆ κ there are unboundedly many inaccessible cardinals θ and A∗ with

A∗ ∗ • hVθ , ∈, A i ∗ hVκ, ∈, Ai ≺ hVθ, ∈, A i A ≺ • hVκ, ∈, Ai

Initial aim: equiconsistency with boldface resurrection. But the cardinals themselves turned out to be very interesting.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

A∗ ∗ • hVθ , ∈, A i ∗ hVκ, ∈, Ai ≺ hVθ, ∈, A i A ≺ • hVκ, ∈, Ai

Initial aim: equiconsistency with boldface resurrection. But the cardinals themselves turned out to be very interesting.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Surprising strength on the target for free Suppose every A ⊆ κ has arbitrarily large θ and A∗ with

A∗ ∗ • hVθ , ∈, A i ∗ A hVκ, ∈, Ai ≺ hVθ, ∈, A i • ≺ hVκ, ∈, Ai

Claim. Without loss, θ is inaccessible, w. compact and more. strongly uplifting = pseudo strongly uplifting = strongly uplifting with indescribable targets

Proof.

Fix A ⊆ κ. Let C = { δ < κ | hVδ, ∈, A ∩ δi ≺ hVκ, ∈, Ai }, club. Get ∗ ∗ ∗ hVκ, ∈, A, Ci ≺ hVθ, ∈, A , C i. Since κ ∈ C and is inaccessible, weakly compact, indescribable, etc. in Vθ, there are many such ∗ ∗ γ ∈ C . It follows that hVκ, ∈, Ai ≺ hVγ , ∈, A ∩ γi for such γ.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Surprising strength on the target for free Suppose every A ⊆ κ has arbitrarily large θ and A∗ with

A∗ ∗ • hVθ , ∈, A i ∗ A hVκ, ∈, Ai ≺ hVθ, ∈, A i • ≺ hVκ, ∈, Ai

Claim. Without loss, θ is inaccessible, w. compact and more. strongly uplifting = pseudo strongly uplifting = strongly uplifting with indescribable targets

Proof.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Surprising strength on the target for free Suppose every A ⊆ κ has arbitrarily large θ and A∗ with

A∗ ∗ • hVθ , ∈, A i ∗ A hVκ, ∈, Ai ≺ hVθ, ∈, A i • ≺ hVκ, ∈, Ai

Claim. Without loss, θ is inaccessible, w. compact and more. strongly uplifting = pseudo strongly uplifting = strongly uplifting with indescribable targets

Proof.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Absolute to L

Theorem Every strongly uplifting cardinal is strongly uplifting in L.

Proof. Fix any A ⊆ κ with A ∈ L. Let C be club of δ < κ with ∗ ∗ hLδ, ∈, A ∩ δi ≺ hLκ, ∈, Ai. Extend hVκ, ∈, A, Ci ≺ hVθ, ∈, A , C i ∗ as before. It follows that hLκ, ∈, Ai ≺ hLγ, ∈, A ∩ γi and A∗ ∩ γ ∈ L for γ ∈ C∗.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Embedding characterizations We have many familiar large cardinal embedding characterizations, even very low in the large cardinal hierarchy.

A cardinal κ is measurable if it is the critical point of an elementary embedding j : V → M.

κ is weakly compact if for every A ⊆ κ there is M |= ZFC with A ∈ M and j : M → N with critical point κ.

κ is θ-unfoldable if there is such j : M → N with j(κ) ≥ θ.

κ is strongly θ-unfoldable if also Vθ ⊆ N. Strong unfoldability is in essence a transﬁnite continuation of total indescribability.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Embedding characterizations We have many familiar large cardinal embedding characterizations, even very low in the large cardinal hierarchy.

A cardinal κ is measurable if it is the critical point of an elementary embedding j : V → M.

κ is weakly compact if for every A ⊆ κ there is M |= ZFC with A ∈ M and j : M → N with critical point κ.

κ is θ-unfoldable if there is such j : M → N with j(κ) ≥ θ.

κ is strongly θ-unfoldable if also Vθ ⊆ N. Strong unfoldability is in essence a transﬁnite continuation of total indescribability.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Embedding characterizations We have many familiar large cardinal embedding characterizations, even very low in the large cardinal hierarchy.

A cardinal κ is measurable if it is the critical point of an elementary embedding j : V → M.

κ is weakly compact if for every A ⊆ κ there is M |= ZFC with A ∈ M and j : M → N with critical point κ.

κ is θ-unfoldable if there is such j : M → N with j(κ) ≥ θ.

κ is strongly θ-unfoldable if also Vθ ⊆ N. Strong unfoldability is in essence a transﬁnite continuation of total indescribability.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Embedding characterizations We have many familiar large cardinal embedding characterizations, even very low in the large cardinal hierarchy.

A cardinal κ is measurable if it is the critical point of an elementary embedding j : V → M.

κ is weakly compact if for every A ⊆ κ there is M |= ZFC with A ∈ M and j : M → N with critical point κ.

κ is θ-unfoldable if there is such j : M → N with j(κ) ≥ θ.

κ is strongly θ-unfoldable if also Vθ ⊆ N. Strong unfoldability is in essence a transﬁnite continuation of total indescribability.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

A few new large cardinal concepts

In the same vein, consider the following weak analogues of superstrongness and almost hugeness.

Deﬁnition (Hamkins, Johnstone)

A cardinal κ is weakly superstrong if for every A ⊆ κ there is j : M → N, critical point κ with A ∈ M |= ZFC and Vj(κ) ⊆ N.

The cardinal κ is weakly almost huge if for every A ⊆ κ there is j : M → N, critical point κ with A ∈ M |= ZFC and N

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Extending to arbitrarily large targets In the unfoldability style, it is natural to ask for arbitrarily large targets.

Deﬁnition (Hamkins, Johnstone)

A cardinal κ is superstrongly unfoldable (or weakly superstrong with arbitrarily large targets), if for every A ⊆ κ there is j : M → N with critical point κ, A ∈ M |= ZFC, j(κ) arbitrarily large and Vj(κ) ⊆ N.

A cardinal κ is almost-hugely unfoldable (or weakly almost huge with arbitrarily large targets), if for every A ⊆ κ there is j : M → N with critical point κ, A ∈ M |= ZFC, j(κ) arbitrarily large and N

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

A surprising equivalence

Nevertheless, these notions are actually equivalent, and both are equivalent to our previous notion of strongly uplifting!

Theorem The following large cardinal concepts are equivalent. 1 κ is strongly uplifting. 2 κ is superstrongly unfoldable. 3 κ is almost-hugely unfoldable.

Let’s sketch the proof. 3 =⇒ 2 =⇒ 1 is easy.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

A surprising equivalence

Nevertheless, these notions are actually equivalent, and both are equivalent to our previous notion of strongly uplifting!

Theorem The following large cardinal concepts are equivalent. 1 κ is strongly uplifting. 2 κ is superstrongly unfoldable. 3 κ is almost-hugely unfoldable.

Let’s sketch the proof. 3 =⇒ 2 =⇒ 1 is easy.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

The nontrivial implication: κ strongly uplifting =⇒ almost-hugely unfoldable.

Proof. Fix A ⊆ κ and M |= ZFC with A ∈ M ⊇ M <κ. Find π : hM, ∈i =∼ hκ, Ei. ∗ By strong uplifting, hVκ, ∈, Ei ≺ hVγ , ∈, E i with γ inaccessible. Since E is well-founded and γ is regular, E ∗ is well-founded. Mostowski ∗ ∼ collapse τ : hγ, E i = hN, ∈i. Let j = τ ◦ π : M → N. Note j κ = id since if α is coded by ξ with respect to E, then it is also coded by ξ with respect to E ∗, and so j(α) = α. Similarly, j(κ) = γ, and so cp(j) = κ. Since hVκ, ∈, Ei sees that every set is coded via E, it ∗ follows by elementarity that every x ∈ Vγ is coded via E , and so <κ Vj(κ) = Vγ ⊆ N, giving superstrongness. Similarly, M ⊆ M implies that hVκ, ∈, Ei believes that hκ, Ei is closed under <κ-sequences, and ∗

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Weakly superstrong = weakly almost huge

Similarly, the local concepts are also equivalent.

Theorem A cardinal κ is weakly superstrong if and only if κ is weakly almost huge.

As a result, many techniques from the superstrongness and almost hugeness context have fruitful analogues with the corresponding weak notions. General phenomenon: weak versions of strongness and supercompactness coincide weak superstrongness and weak almost hugeness coincide

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Quick upper bound

Theorem 0] exists =⇒ every Silver indiscernible is strongly uplifting in L.

Proof. If κ < δ are Silver indiscernibles, let j : L → L have j(κ) = δ. It follows that hLκ, ∈, Ai ≺ hLδ, ∈, j(A)i witnesses strong uplifting.

Consequently, if there is a Ramsey cardinal, for example, then ℵ1 is weakly superstrong, weakly almost huge and more in L.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

A better upper bound

A cardinal δ is subtle, if for any hBη | η < δi with Bη ⊆ η and any club C ⊆ δ there are κ < η in C such that Bκ = Bη ∩ κ.

Theorem If δ is a subtle cardinal, then the strongly uplifting cardinals in Vδ are stationary.

Proof.

If not, ﬁx club C ⊆ δ with no κ ∈ C strongly uplifting in Vδ. Fix ∗ θκ, Aκ ⊆ κ so hVκ, ∈, Aκi has no extension hVγ, ∈, A i any γ > θκ in Vδ. Thin the club. Let Bκ ⊆ κ code diagram of hVκ, ∈, Aκi. Since δ subtle, ∃κ < η in C with Bκ = Bη ∩ κ. So hVκ, ∈, Aκi ≺ hVη, ∈, Aηi, contradiction.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Laver functions

Theorem Every superstrongly unfoldable cardinal has an ordinal-anticipating Laver function.

A Laver function is ` : κ → κ such that for any α and any A ⊆ κ there is j : M → N, critical point κ, with `, A ∈ M |= ZFC and j(κ) as large as desired, Vj(κ) ⊆ N, and j(`)(κ) = α.

Strongly uplifting version: ∀α, A ⊆ κ there are arbitrarily large ∗ ∗ ∗ extensions hVκ, ∈, A, `i ≺ hVθ, ∈, A , ` i with ` (κ) = α.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Laver functions

Theorem Every superstrongly unfoldable cardinal has an ordinal-anticipating Laver function.

A Laver function is ` : κ → κ such that for any α and any A ⊆ κ there is j : M → N, critical point κ, with `, A ∈ M |= ZFC and j(κ) as large as desired, Vj(κ) ⊆ N, and j(`)(κ) = α.

Strongly uplifting version: ∀α, A ⊆ κ there are arbitrarily large ∗ ∗ ∗ extensions hVκ, ∈, A, `i ≺ hVθ, ∈, A , ` i with ` (κ) = α.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Proof of Laver functions Theorem Every superstrongly unfoldable cardinal has an ordinal-anticipating Laver function.

Proof.

Define `(δ) = α, if the number of θ for which Vθ |= δ is strongly uplifting is hβ, αi + 1 some β. Fix α and A ⊆ κ, and let η be th (hθ, αi + 2) with Vη |= κ is strongly uplifting (by reflection there ∗ ∗ are many). So get hVκ, ∈, A, ì ≺ hVγ, ∈, A , ` i with `∗(κ) = α.

Can actually anticipate all OD sets. Under V = HOD, all sets. Open question: must there always be a full Laver function?

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Resurrection

Let us turn now to the topic of Resurrection axioms.

These are forcing axioms, involving the idea that truths killed by forcing might be resurrected again.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Existential closure

The resurrrection axioms are inspired by the concept of existential closure in model theory.

Deﬁnition A model M is existentially closed if whenever M is a submodel of N, then existential witnesses in N exist already in M.

In other words, M ≺Σ1 N.

Existential closure asserts that objects which could exist in a larger model, already exist in the ground model.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Forcing Axioms as Existential Closure Many classical forcing axioms can be viewed as expressing to a degree that the universe is existentially closed. The essence of these axioms is the assertion that certain ﬁlters, which could exist in a forcing extension, exist already in V . V ⊆ V [G] Martin’s Axiom, the Proper Forcing Axiom, Martin’s Maximum are all expressible as instances of existential closure. Meanwhile, the universe V is never actually existentially closed in all its forcing extensions. But the collection

Hc = { sets of hereditary size < c } can be existentially closed in forcing extensions, and this is precisely what the forcing axioms express.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Hc = { sets of hereditary size < c } can be existentially closed in forcing extensions, and this is precisely what the forcing axioms express.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Forcing Axioms as existential closure Theorem (Stavi(80s), Bagaria) Martin’s Axiom MA is equivalent to the assertion that for any c.c.c. forcing extension V [g]

V [g] Hc ≺Σ1 Hc .

Theorem (Bagaria) The Bounded Proper Forcing Axiom is equivalent to the assertion that for any proper forcing extension V [g]

H ≺ HV [g]. ω2 Σ1 ω2

Thus, Hc is existentially closed in forcing extensions. Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Existential Closure ⇐⇒ Resurrection Theorem. The Following are equivalent

A model M is existentially closed.

M has Resurrection. That is, whenever M ⊆ N0, then there is M ⊆ N0 ⊆ N1 with M ≺ N1.

(⇐) Resurrection implies existential closure, since witnesses in N0 still exist in N1, which is fully elementary over M.

(⇒) If M is existentially closed and M ⊆ N0, then the full elementary diagram of M is consistent with the atomic diagram of N0. A model of this theory is the desired N1. QED The Key Point. Equivalence can break down when the class of models is restricted. But resurrection remains stronger. Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Existential Closure ⇐⇒ Resurrection Theorem. The Following are equivalent

A model M is existentially closed.

M has Resurrection. That is, whenever M ⊆ N0, then there is M ⊆ N0 ⊆ N1 with M ≺ N1.

(⇐) Resurrection implies existential closure, since witnesses in N0 still exist in N1, which is fully elementary over M.

The main idea

This suggests using resurrection to formulate forcing axioms, in place of Σ1 elementarity.

That is, we can formulate forcing axioms by means of the resurrection concept, considering not just Σ1 elementarity in the relevant forcing extensions

V Q ∀Q M ≺Σ1 M

but instead asking for full elementarity in a further extension

˙ V Q∗R ∀Q ∃R˙ M ≺ M

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Resurrection Axiom

This led naturally to the Resurrection Axioms.

Deﬁnition (Hamkins, Johnstone) Suppose Γ is a deﬁnable class of forcing notions. The resurrection axiom RA(Γ) is the assertion that Q for every Q ∈ Γ there is R˙ ∈ ΓV such that

V [g∗h] Hc ≺ Hc

whenever g ∗ h ⊆ Q ∗ R˙ is V -generic.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Equiconsistency Strength of RA(Γ)

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Boldface resurrection

Now, we extend the analysis to the boldface context. Speciﬁcally:

By allowing predicates, we generalize the uplifting cardinals to the strongly uplifting cardinals.

∗ hVκ, ∈, Ai ≺ hVθ, ∈, A i

By allowing predicates, we generalize the resurrection axiom RA to the boldface resurrection axiom RA∼ .

V [g][h] ∗ hHc, ∈, Ai ≺ hHc , ∈, A i

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Boldface resurrection

Deﬁnition

The boldface resurrection axiom RA∼ (Γ) asserts that Q ∗ for every Q ∈ Γ and A ⊆ c there is R˙ ∈ ΓV and A with

V [g∗h] ∗ hHc, ∈, Ai ≺ hHc , ∈, A i

in the corresponding extension V [g ∗ h].

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Embedding characterization Theorem

If |Hc| = c, then the following are equivalent for any class Γ. 1 The boldface resurrection axiom RA∼ (Γ). − 2 For every Q ∈ Γ and every transitive set M |= ZFC with ˙ V Q |M| = c ∈ M and Hc ⊆ M, there is R ∈ Γ , such that in the corresponding extension V [g ∗ h], there is elementary

j : M → N

V [g∗h] V [g∗h] with j Hc = id and j(c) = c and Hc ⊆ N.

Similarly, the weak boldface axiom wRA∼ (Γ) is equivalent to the embedding characterization obtained by omitting the Q requirement that R˙ ∈ ΓV .

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Strength of Boldface Resurrection

Main Theorem The following theories are equiconsistent over ZFC. 1 There is a strongly uplifting cardinal. 2 The boldface Resurrection Axiom RA∼ (all). 3 The boldface Reserrection Axiom RA∼ (ccc) for c.c.c. forcing. 4 The boldface Resurrection Axiom for proper forcing. 5 The boldface Resurrection Axiom for semi-proper forcing.

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms strongly uplifting =⇒ RA∼ Assume κ is strongly uplifting. We produce a forcing extension with RA∼ (proper). Let f : κ → κ be a strongly uplifting Menas function. Let P be the PFA lottery preparation, which forces at stage γ < κ with the lottery sum

V [Gγ ] Qγ = ⊕{ Q ∈ Hf (γ)+ | Q is proper }. Let G ⊆ P be V -generic. Since the generic will often opt to add [ ] a Cohen real, κ = cV G . If Q is proper in V [G] and A ⊆ κ, ﬁnd ∗ ∗ ∗ ∗ extension hVκ, ∈, A, f , Pi ≺ hVθ, ∈, A , f , P i with f (κ) > |Q|. ∗ Opt for Q in the stage κ lottery of P , which becomes P ∗ Q ∗ R˙ , where R˙ is the rest of the forcing. So ∗ hVκ[G], ∈, Ai ≺ hVθ[G][g][h], ∈, A i. In other words, V [G] V [G][g][h] ∗ hHc , ∈, Ai ≺ hHc , ∈, A i,

which witnesses RA∼ in V [G]. Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

RA∼ =⇒ strongly uplifting

For this direction, the basic fact is that if RA∼ (Γ), then κ = c is strongly uplifting in L.

In the case of RA∼ (proper), for example, ﬁx any A ⊆ κ with ˙ A ∈ L. Let Q = Coll(ω1, θ). By resurrection, there is R, such V [g][h] ∗ that hHc, ∈, Ai ≺ hHc , ∈, A i in the corresponding extension ∗ V [g][h]. It follows that hLκ, ∈, Ai ≺ hLcV [g][h] , ∈, A i, and all initial segments of A∗ are in L, which is enough to conclude κ is strongly uplifting in L.

For RA∼ (ccc), use Add(ω, θ).

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York Strongly uplifting cardinals Boldface Resurrection Axioms

Thank you.

Slides and articles available on http://jdh.hamkins.org.

Joel David Hamkins The City University of New York

Boldface resurrection and superstrongly uplifting cardinals Joel David Hamkins, New York