---
abstract: 'We show that the statement “every universally Baire set of reals has the perfect set property” is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtually Shelah cardinal. These cardinals resemble Shelah cardinals but are much weaker: if $0^\sharp$ exists then every Silver indiscernible is virtually Shelah in $L$. We also show that the statement $\operatorname{uB}= {{\utilde{\bf{\Delta}}}}^1_2$, where $\operatorname{uB}$ is the pointclass of all universally Baire sets of reals, is equiconsistent modulo ZFC with the existence of a $\Sigma_2$-reflecting virtually Shelah cardinal.'
address:
- |
    Institut für mathematische Logik und Grundlagenforschung\
    Universität Münster\
    Einsteinstr. 62, 48149\
    Münster, Germany
- |
    Department of Mathematics\
    Miami University\
    Oxford, Ohio 45056\
    USA
author:
- 'Ralf Schindler and Trevor M. Wilson'
title: The consistency strength of the perfect set property for universally Baire sets of reals
---

Introduction
============

A set of reals, meaning a subset of the Baire space $\omega^\omega$, is called *universally Baire* if its preimages under all continuous functions from all topological spaces have the Baire property (Feng, Magidor and Woodin [@FenMagWoo].) We denote the pointclass of all universally Baire sets of reals by *uB*. The universally Baire sets of reals include the ${{\utilde{\bf{\Sigma}}}}^1_1$ (analytic) and ${{\utilde{\bf{\Pi}}}}^1_1$ (coanalytic) sets of reals, but not necessarily the ${\Delta^1_2}$ sets of reals. Every universally Baire set of reals is Lebesgue measurable and has the Baire property. If there is a Woodin cardinal then every universally Baire set of reals has the perfect set property; on the other hand, if $\omega_1^L = \omega_1$ then there is a set of reals that is $\Pi^1_1$, hence universally Baire, and fails to have the perfect set property (Gödel; see Kanamori [@KanHigherInfinite Theorem 13.12].)

In this article we will characterize the consistency strength of the theory ZFC + “every universally Baire set of reals has the perfect set property” using a virtual large cardinal property that we call the virtual Shelah property. We work in ZFC unless otherwise stated.

Many large cardinal properties are defined in terms of elementary embeddings $j : M \to N$ where $M$ and $N$ are structures. (If $M$ and $N$ are sets with no structure given, we consider them as structures with the $\in$ relation.) Such a definition can be weakened to a “virtual” large cardinal property by only requiring $j$ to exist in some generic extension of $V$.

Examples of virtual large cardinal properties are remarkability, which is a virtual form of Magidor’s characterization of supercompactness (Schindler [@SchProperForcingRemarkableII Lemma 1.6],) and the generic Vopěnka Principle, which is a virtual form of Vopěnka’s Principle (Bagaria, Gitman, and Schindler [@BagGitSchGenericVopenka].) For an introduction to virtual large cardinal properties, see Gitman and Schindler [@GitSchVirtualLargeCardinals]. For an application of virtual large cardinals to descriptive set theory involving $\aleph_1$-Suslin sets instead of universally Baire sets, see Wilson [@WilGenericVopenka].

For structures $M$ and $N$ in $V$, if some generic extension of $V$ contains an elementary embedding of $M$ into $N$ then by the absoluteness of elementary embeddability of countable structures (see Bagaria, Gitman, and Schindler [@BagGitSchGenericVopenka Lemma 2.6]) every generic extension of $V$ by the poset $\operatorname{Col}(\omega,\mathcal{M})$ contains an elementary embedding of $M$ into $N$. The converse implication holds also, of course. We abbreviate these equivalent conditions by the phrase “there is a generic elementary embedding of $M$ into $N$.”

\[defn:kappa-is-crit-j\] A cardinal $\kappa$ is *virtually Shelah* if for every function $f : \kappa \to \kappa$ there is an ordinal $\lambda > \kappa$, a transitive set $M$ with $V_\lambda \subset M$, and a generic elementary embedding $j : V_\lambda \to M$ with $\operatorname{crit}(j) = \kappa$ and $j(f)(\kappa) \le \lambda$.

The virtual Shelah property follows immediately from the Shelah property but is much weaker: Proposition \[prop:silver-indiscernibles-are-v-shelah\] will show that if $0^\sharp$ exists then every Silver indiscernible is virtually Shelah in $L$, a result that is typical of virtual large cardinal properties.

Our main result is stated below. It relates models of ZFC with virtually Shelah cardinals to models of ZFC in which the universally Baire sets are few in number and have nice properties. It also includes a combinatorial statement about the order type of countable sets of ordinals.

\[thm:v-Shelah\] The following statements are equiconsistent modulo ZFC.

1.  \[item:equi-v-Shelah\] There is a virtually Shelah cardinal.

2.  \[item:omega-1-uB-sets\] $\left|\operatorname{uB}\right| = \omega_1$.

3.  \[item:equi-L-R-uB-LM\] Every set of reals in $L(\mathbb{R},\operatorname{uB})$ is Lebesgue measurable.

4.  \[item:equi-L-R-uB-PSP\] Every set of reals in $L(\mathbb{R},\operatorname{uB})$ has the perfect set property.

5.  \[item:equi-uB-PSP\] Every universally Baire set of reals has the perfect set property.

6.  \[item:equi-combinatorial\] For every function $f: \omega_1 \to \omega_1$ there is an ordinal $\lambda > \omega_1$ such that for a stationary set of $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ we have $\sigma \cap \omega_1 \in \omega_1$ and $\operatorname{o.\!t.}(\sigma) \ge f(\sigma \cap \omega_1)$.

We will show that if statement \[item:equi-v-Shelah\] holds then statements \[item:omega-1-uB-sets\], \[item:equi-L-R-uB-LM\], and \[item:equi-L-R-uB-PSP\] hold after forcing with the Levy collapse poset to make a virtually Shelah cardinal equal to $\omega_1$. Clearly statement \[item:equi-L-R-uB-PSP\] implies statement \[item:equi-uB-PSP\], and we will show that statements \[item:omega-1-uB-sets\] and \[item:equi-L-R-uB-LM\] also imply statement \[item:equi-uB-PSP\]. We will show that statement \[item:equi-uB-PSP\] implies statement \[item:equi-combinatorial\]. Finally, we will show that if statement \[item:equi-combinatorial\] holds, then statement \[item:equi-v-Shelah\] holds in $L$ as witnessed by the cardinal $\omega_1^V$.

We will also prove an equiconsistency result at a slightly higher level of consistency strength, namely that of a $\Sigma_2$-reflecting virtually Shelah cardinal. A cardinal $\kappa$ is called *$\Sigma_n$-reflecting* if it is inaccessible and $V_\kappa \prec_{\Sigma_n} V$. This definition is particularly natural in the case $n = 2$ because the $\Sigma_2$ statements about a parameter $a$ are the statements that can be expressed in the form “there is an ordinal $\lambda$ such that $V_\lambda \models \varphi[a]$” where $\varphi$ is a formula in the language of set theory. Because the existence of a virtually Shelah cardinal above any given cardinal $\alpha$ is a $\Sigma_2$ statement about $\alpha$, if $\kappa$ is a $\Sigma_2$-reflecting virtually Shelah cardinal then $V_\kappa$ satisfies ZFC + “there is a proper class of virtually Shelah cardinals.”

The existence of a $\Sigma_2$-reflecting cardinal is equiconsistent with the statement ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$ by Feng, Magidor, and Woodin [@FenMagWoo Theorem 3.3], who showed that if $\kappa$ is $\Sigma_2$-reflecting then ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$ holds after the Levy collapse forcing to make $\kappa$ equal to $\omega_1$, and conversely that if ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$ then $\omega_1^V$ is $\Sigma_2$-reflecting in $L$. The reverse inclusion $\operatorname{uB}\subset {{\utilde{\bf{\Delta}}}}^1_2$ is consistent relative to ZFC by Larson and Shelah [@LarSheUniversallyMeasurable], who showed that if $V = L[x]$ for some real $x$ then there is a proper forcing extension in which every universally measurable set of reals (and hence every universally Baire set of reals) is ${{\utilde{\bf{\Delta}}}}^1_2$.

Combining the argument of Feng, Magidor, and Woodin with parts of the proof of Theorem \[thm:v-Shelah\], we will show:

\[thm:delta-1-2-equals-uB\] The following statements are equiconsistent modulo ZFC.

1.  \[item:Sigma-2-reflecting-v-Shelah-2\] There is a $\Sigma_2$-reflecting virtually Shelah cardinal.

2.  \[item:uB-equals-Delta-1-2\] $\operatorname{uB}= {{\utilde{\bf{\Delta}}}}^1_2$.

The remaining sections of this paper are outlined as follows. In Section \[sec:consequences-of-v-shelah\] we will prove some consequences of Definition \[defn:kappa-is-crit-j\] that will be needed for our main results, including a reformulation of the definition in which $\kappa$ is $j(\operatorname{crit}(j))$ instead of $\operatorname{crit}(j)$ (Proposition \[prop:downward-reformulation\].) In Section \[section:relation-to-other-LC\] we will prove some relations between virtually Shelah cardinals and other large cardinals that will not be needed for our main results. In Section \[sec:thin-uB-sets\] we will review some properties of universally Baire sets and establish some equivalent conditions for a universally Baire set to be thin, meaning to contain no perfect subset. In Section \[section:proof-of-thm-v-Shelah\] we will prove Theorem \[thm:v-Shelah\]. In Section \[section:proof-of-thm-delta-1-2-equals-uB\] we will prove Theorem \[thm:delta-1-2-equals-uB\].

Consequences of the virtual Shelah property {#sec:consequences-of-v-shelah}
===========================================

The following result is typical of virtual large cardinals (see Schindler [@SchProperForcingRemarkableII Lemma 1.4].)

\[prop:ineffable\] Every virtually Shelah cardinal is ineffable.

Let $\kappa$ be a virtually Shelah cardinal. Then there is an ordinal $\lambda > \kappa$, a transitive set $M$ such that $V_\lambda \subset M$, and a generic elementary embedding $j : V_\lambda \to M$ with $\operatorname{crit}(j) = \kappa$. (Here we will not need $j(f)(\kappa) \le \lambda$ for any particular function $f$.)

Let $\vec{A}$ be a $\kappa$-sequence of sets such that $\vec{A}(\alpha) \subset \alpha$ for every ordinal $\alpha < \kappa$. Then we may define a subset $A \subset \kappa$ by $A = j(\vec{A})(\kappa)$. We will show that the set $$S = \{\alpha < \kappa : A \cap \alpha = \vec{A}(\alpha)\}$$ is stationary. Letting $C$ be a club set in $\kappa$ we have $\kappa \in j(C)$, and because $$j(A) \cap \kappa = A = j(\vec{A})(\kappa)$$ we have $\kappa \in j(S)$ also, so it follows that $$\kappa \in j(C) \cap j(S) = j(C \cap S)$$ and by the elementarity of $j$ we have $C \cap S \ne \emptyset$.

A better lower bound for the consistency strength of virtually Shelah cardinals will be given in Section \[section:relation-to-other-LC\] along with an upper bound. For our main results we will only need the fact that every virtually Shelah cardinal is an inaccessible limit of inaccessible cardinals, which is a consequence of Proposition \[prop:ineffable\].

The following lemma shows (among other things) that the domain of a generic elementary embedding witnessing the virtual Shelah property may be taken to be an inaccessible rank initial segment of $V$, which implies that the domain and codomain both satisfy ZFC.

\[lem:zfc-models\] Let $\kappa$ be a virtually Shelah cardinal and let $f : \kappa \to \kappa$. Then there is an inaccessible cardinal $\lambda > \kappa$, a transitive model $M$ of ZFC with $V_\lambda \subset M$, and a generic elementary embedding $j : V_\lambda \to M$ with $\operatorname{crit}(j) = \kappa$ and $j(f)(\kappa) < \lambda < j(\kappa)$.

Because $\kappa$ is a limit of inaccessible cardinals we may define a function $g : \kappa \to \kappa$ such that $g(\alpha)$ is the least inaccessible cardinal greater than $\max(f(\alpha), \alpha)$ for all $\alpha < \kappa$. Because $\kappa$ is virtually Shelah with respect to the function $g+1$ there is an ordinal $\beta > \kappa$, a transitive set $N$ with $V_\beta \subset N$, and a generic elementary embedding $$j: V_\beta \to N \text{ with } \operatorname{crit}(j) = \kappa \text{ and } j(g)(\kappa) < \beta.$$ By the definition of $g$ from $f$ and the elementarity of $j$ it follows that $j(g)(\kappa)$ is the least inaccessible cardinal in $N$ greater than $\max(j(f)(\kappa), \kappa)$. Because $j(g)$ is a function from $j(\kappa)$ to $j(\kappa)$ we have $j(g)(\kappa) < j(\kappa)$. Letting $\lambda = j(g)(\kappa)$ we therefore have $\lambda > \kappa$ and $$j(f)(\kappa) < \lambda < j(\kappa).$$ Because $\lambda < \beta$ and $V_\beta \subset N$, the inaccessibility of $\lambda$ is absolute from $N$ to $V$. Define $j_1 = j \restriction V_\lambda$ and $M$ = $j(V_\lambda) = V_{j(\lambda)}^N$. Then $j_1 : V_\lambda \to M$ is a generic elementary embedding with $\operatorname{crit}(j_1) = \kappa$ and $j_1(f)(\kappa) < \lambda < j_1(\kappa)$ as desired. Because $V_\lambda$ satisfies ZFC it follows by the elementarity of $j_1$ that $M$ satisfies ZFC.

It follows from Lemma \[lem:zfc-models\] that every virtually Shelah cardinal has an inaccessible cardinal above it. Because inaccessibility is preserved by small forcing, combining this fact with the proof of Theorem \[thm:v-Shelah\] (as outlined following the statement of the theorem) yields the following curious consequence.

\[prop:curious\] The following statements are equiconsistent modulo ZFC.

1.  \[item:psp-uB\] Every universally Baire set of reals has the perfect set property.

2.  \[item:psp-uB-and-inacc\] Every universally Baire set of reals has the perfect set property and there is an inaccessible cardinal.

Note that we may have $\operatorname{uB}\subsetneq \operatorname{uB}^{V_\lambda}$ for an inaccessible cardinal $\lambda$, so the statement “every universally Baire set of reals has the perfect set property” may fail to be absolute to $V_\lambda$.

Like other virtual large cardinal properties, the virtual Shelah property is downward absolute to $L$:

\[lem:absolute-to-L\] Every virtually Shelah cardinal is virtually Shelah in $L$.

Let $\kappa$ be a virtually Shelah cardinal and let $f : \kappa \to \kappa$ be a function in $L$. Then by Lemma \[lem:zfc-models\] there is an inaccessible cardinal $\lambda > \kappa$, a transitive model $M$ of ZFC with $V_\lambda \subset M$, and a generic elementary embedding $j : V_\lambda \to M$ with $\operatorname{crit}(j) = \kappa$ and $j(f)(\kappa) < \lambda < j(\kappa)$. Note that $L^{V_\lambda} = L_\lambda$ and $L^M = L_\theta$ where $\theta = {\mathrm{Ord}}^M$. Moreover, because $\lambda$ is inaccessible we have $L_\lambda = V_\lambda^L$. For the elementary embedding $j_1  = j \restriction V_\lambda^L$ we have $$j_1 : V_\lambda^L \to L_\theta \text{ and } \operatorname{crit}(j_1) = \kappa \text{ and } j_1(f) = j(f).$$ Let $G \subset \operatorname{Col}(\omega,V_\lambda^L)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in L[G]$ such that $$j_2 : V_\lambda^L \to L_\theta \text{ and } \operatorname{crit}(j_2) = \kappa \text{ and } j_2(f) = j(f).$$ We have $V_\lambda^L = L_\lambda \subset L_\theta$ and $j_2(f)(\kappa) = j(f)(\kappa) < \lambda$, so $j_2$ witnesses the virtual Shelah property for $\kappa$ in $L$ with respect to $f$.

The virtual Shelah property has a reformulation in which $\kappa$ is the image of the critical point, as in the characterizations of supercompactness and remarkability by Magidor [@MagCombinatorialCharacterization Theorem 1] and Schindler [@SchProperForcingRemarkableII Lemma 1.6] respectively:

\[prop:downward-reformulation\] For every cardinal $\kappa$ the following statements are equivalent:

1.  \[item:kappa-is-crit-j\] $\kappa$ is virtually Shelah.

2.  \[item:kappa-is-image-of-crit-j\] For every function $f : \kappa \to \kappa$ there are ordinals $\bar{\lambda}$ and $\lambda$ and a generic elementary embedding $j :V_{\bar{\lambda}} \to V_\lambda$ with $j(\operatorname{crit}(j)) = \kappa$ and $f \in \operatorname{ran}(j)$ and $f(\operatorname{crit}(j)) \le \bar{\lambda}$.[^1]

$\implies$ : Assume that $\kappa$ is virtually Shelah and let $f: \kappa \to \kappa$. By Lemma \[lem:zfc-models\] there is an inaccessible cardinal $\lambda > \kappa$, a transitive model $M$ of ZFC with $V_\lambda \subset M$, and a generic elementary embedding $$j : V_\lambda \to M \text{ with }\operatorname{crit}(j) = \kappa \text{ and }j(f)(\kappa) < \lambda < j(\kappa).$$ Define $\beta = \max(j(f)(\kappa), \kappa+1)$, so $\kappa < \beta < \lambda$ and $V_\beta^M = V_\beta$. Let $j_1 = j \restriction V_\beta$ and note that $$j_1 : V_\beta \to V_{j(\beta)}^M \text{ and } \operatorname{crit}(j_1) = \kappa \text{ and } j_1(\kappa) = j(\kappa) \text{ and } j_1(f) = j(f).$$ Let $G \subset \operatorname{Col}(\omega,V_\beta)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in M[G]$ such that $$j_2 : V_\beta \to V_{j(\beta)}^M \text{ and } \operatorname{crit}(j_2) = \kappa \text{ and } j_2(\kappa) = j(\kappa) \text{ and } j_2(f) = j(f).$$ Then we have $$j_2(\operatorname{crit}(j_2)) = j(\kappa) \text{ and } j(f) \in \operatorname{ran}(j_2) \text{ and }j(f)(\operatorname{crit}(j_2)) \le \beta$$ because $j(f)(\kappa) \le \beta$. By the elementarity of $j$ and the definability of forcing there is an ordinal $\bar{\beta} < \lambda$ such that, letting $g \subset \operatorname{Col}(\omega,V_{\bar{\beta}})$ be a $V$-generic filter, there is an elementary embedding $j_3 \in V_\lambda[g]$ with $$j_3 : V_{\bar{\beta}} \to V_{\beta} \text{ and } j_3(\operatorname{crit}(j_3)) = \kappa \text{ and } f \in \operatorname{ran}(j_3) \text{ and } f(\operatorname{crit}(j_3)) \le \bar{\beta}.$$ Therefore statement \[item:kappa-is-image-of-crit-j\] holds for $f$.

$\implies$ : Assume that statement \[item:kappa-is-image-of-crit-j\] holds and let $f: \kappa \to \kappa$. Note that statement \[item:kappa-is-image-of-crit-j\] implies the ineffability of $\kappa$ by an argument similar to Proposition \[prop:ineffable\]. It follows that $\kappa$ is a limit of inaccessible cardinals, so by increasing the values of $f$ we may assume that for all $\alpha < \kappa$, $f(\alpha)$ is an inaccessible cardinal greater than $\alpha$ and we may furthermore define $f^+(\alpha)$ to be the least inaccessible cardinal greater than $f(\alpha)$. Applying statement \[item:kappa-is-image-of-crit-j\] to the function $f^+: \kappa \to \kappa$ yields ordinals $\bar{\lambda}$ and $\lambda$ and a generic elementary embedding $$j :V_{\bar{\lambda}} \to V_\lambda \text{ with } j(\bar{\kappa}) = \kappa \text{ and } f^+ \in \operatorname{ran}(j) \text{ and } f^+(\bar{\kappa}) \le \bar{\lambda}$$ where $\bar{\kappa} = \operatorname{crit}(j)$. By restricting $j$ if necessary we may assume that $\bar{\lambda}$ is equal to $f^+(\bar{\kappa})$ and is therefore an inaccessible cardinal less than $\kappa$. Let $\bar{\beta} = f(\bar{\kappa})$ and $\beta = j(\bar{\beta})$.

Note that $f^+ \in \operatorname{ran}(j)$ implies $f \in \operatorname{ran}(j)$ because for all $\alpha < \kappa$, $f(\alpha)$ is definable in $V_\lambda$ as the largest inaccessible cardinal less than $f^+(\alpha)$, so we may define $\bar{f} = j^{-1}(f)$. Then we have $\bar{f} : \bar{\kappa} \to \bar{\kappa}$ and $\bar{\beta} = j(\bar{f})(\bar{\kappa})$. Note that $$\bar{\kappa} < \bar{\beta} < \bar{\lambda} < \kappa < \beta < \lambda.$$ For the elementary embedding $j_1 = j \restriction V_{\bar{\beta}}$ we have $$j_1 : V_{\bar{\beta}} \to V_\beta \text{ and } \operatorname{crit}(j_1) = \bar{\kappa} \text { and } j_1(\bar{\kappa}) = \kappa \text{ and } j_1(\bar{f}) = f.$$ Let $g \subset \operatorname{Col}(\omega, V_{\bar{\beta}})$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in V[g]$ such that $$j_2 : V_{\bar{\beta}} \to V_\beta \text{ and } \operatorname{crit}(j_2) = \bar{\kappa} \text { and } j_2(\bar{\kappa}) = \kappa \text{ and } j_2(\bar{f}) = f.$$ Letting $M = V_\beta$ we therefore have $$V_{\bar{\beta}} \subset M \text{ and } j_2 : V_{\bar{\beta}} \to M \text{ and } \operatorname{crit}(j_2) = \bar{\kappa} \text { and } j_2(\bar{f})(\bar{\kappa}) = \bar{\beta}.$$ Because $\bar{\lambda}$ is inaccessible, a Skolem hull argument in $V[g]$ yields a transitive set $M' \in V_{\bar{\lambda}}[g]$ and an elementary embedding $j_3 \in V_{\bar{\lambda}}[g]$ such that $$V_{\bar{\beta}} \subset M' \text{ and } j_3 : V_{\bar{\beta}} \to M' \text{ and } \operatorname{crit}(j_3) = \bar{\kappa} \text { and } j_3(\bar{f})(\bar{\kappa}) = \bar{\beta}.$$ Let $G \subset \operatorname{Col}(\omega, V_\beta)$ be a $V$-generic filter. By the elementarity of $j$ and the definability of forcing, there is a transitive set $M'' \in V_{\lambda}[G]$ and an elementary embedding $j_4 \in V_{\lambda}[G]$ with $$V_{\beta} \subset M'' \text{ and } j_4 : V_{\beta} \to M'' \text{ and } \operatorname{crit}(j_4) = \kappa \text{ and } j_4(f)(\kappa) = \beta.$$ Therefore $\kappa$ is virtually Shelah with respect to $f$.

If statement \[item:kappa-is-image-of-crit-j\] of Proposition \[prop:downward-reformulation\] is “unvirtualized” by requiring $j$ to exist in $V$, the resulting statement is equivalent to the Shelah-for-supercompactness property defined by Perlmutter [@PerSupercompactAlmostHuge Definition 2.7]. Virtually Shelah cardinals are therefore also virtually Shelah-for-supercompactness. This is similar to the fact that remarkable cardinals can be considered either as virtually strong cardinals or as virtually supercompact cardinals.

Relation to other large cardinal properties {#section:relation-to-other-LC}
===========================================

It is clear from the definition that every Shelah cardinal is virtually Shelah. In fact the virtual Shelah property is much weaker than the Shelah property by the following result, which is typical of virtual large cardinal properties:

\[prop:silver-indiscernibles-are-v-shelah\] If $0^\sharp$ exists then every Silver indiscernible is virtually Shelah in $L$.

Assume that $0^\sharp$ exists and let $\kappa$ be a Silver indiscernible. Then there is an elementary embedding $j: L \to L$ with $\operatorname{crit}(j) = \kappa$. Let $f : \kappa \to \kappa$ be a function in $L$ and define $\lambda = \max(j(f)(\kappa), \kappa+1)$. For the elementary embedding $j_1 = j \restriction V_\lambda^L$ we have $$j_1 : V_\lambda^L \to V_{j(\lambda)}^L \text{ and } \operatorname{crit}(j_1) = \kappa \text{ and } j_1(\kappa) = j(\kappa) \text{ and } j_1(f) = j(f).$$ Let $G \subset \operatorname{Col}(\omega,V_\lambda^L)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in L[G]$ such that $$j_2 : V_\lambda^L \to V_{j(\lambda)}^L \text{ and } \operatorname{crit}(j_2) = \kappa \text{ and } j_2(\kappa) = j(\kappa) \text{ and } j_2(f) = j(f).$$ We have $j_2(f)(\kappa) = j(f)(\kappa) \le \lambda$, so $j_2$ witnesses the virtual Shelah property for $\kappa$ in $L$ with respect to the function $f$.

We can obtain a better upper bound for the consistency strength of virtually Shelah cardinals in terms of the hierarchy of $\alpha$-iterable cardinals defined by Gitman [@GitRamsey]. If $0^\sharp$ exists then every Silver indiscernible is $\alpha$-iterable in $L$ for every ordinal $\alpha < \omega_1^L$ by Gitman and Welch [@GitWelRamseyII Theorem 3.11], and we will show that 2-iterable cardinals already exceed virtually Shelah cardinals in consistency strength. We will not need the definition of $\alpha$-iterability below, only a certain established consequence of it in the case $\alpha = 2$.

\[prop:2-iterable-stationary-limit\] If $\kappa$ is a $2$-iterable cardinal then $\kappa$ is a stationary limit of cardinals that are virtually Shelah in $V_\kappa$.

Assume that $\kappa$ is 2-iterable. Then by Gitman and Welch [@GitWelRamseyII Theorem 4.7] there is a transitive model $M$ of ZFC with $V_\kappa \in M$ and an elementary embedding $j : M \to N$ with critical point $\kappa$ where $N$ is a transitive model of ZFC and $M = V_{j(\kappa)}^N$.

First, we show that $\kappa$ is virtually Shelah in $N$. Let $f : \kappa \to \kappa$ be in $N$ and therefore also in $M$. Define $\lambda = \max(j(f)(\kappa), \kappa + 1)$. Because $j(f)$ is a function from $j(\kappa)$ to $j(\kappa)$ we have $\lambda < j(\kappa) = {\mathrm{Ord}}^M$, so $V_\lambda^M = V_\lambda^N$ and we have an elementary embedding $j_1 = j \restriction V_\lambda^M$ with $$j_1 : V_\lambda^N \to V_{j(\lambda)}^N \text{ and } \operatorname{crit}(j_1) = \kappa \text{ and } j_1(\kappa) = j(\kappa)\text{ and } j_1(f) = j(f).$$ Let $G \subset \operatorname{Col}(\omega,V_\lambda^N)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in N[G]$ such that $$j_2 : V_\lambda^N \to V_{j(\lambda)}^N \text{ and } \operatorname{crit}(j_2) = \kappa \text{ and } j_2(\kappa) = j(\kappa)\text{ and } j_2(f) = j(f).$$ Because $j_2(f)(\kappa) = j(f)(\kappa) \le \lambda$, this elementary embedding $j_2$ witnesses the virtual Shelah property for $\kappa$ in $N$ with respect to $f$.

Now let $C$ be club in $\kappa$. Then $\kappa \in j(C)$, so the model $N$ satisfies the statement “there is a virtually Shelah cardinal in $j(C)$” and by the elementarity of $j$ it follows that the model $M$ satisfies the statement “there is a virtually Shelah cardinal in $C$.” Let $\bar{\kappa} \in C$ be virtually Shelah in $M$. Because we have $j(\bar{\kappa}) = \bar{\kappa}$ and $$j(V_\kappa) = j(V_\kappa^M) = V_{j(\kappa)}^N = M,$$ it follows by the elementarity of $j$ that $\bar{\kappa}$ is virtually Shelah in $V_\kappa$.

Because the set of all ordinals $\alpha< \kappa$ such that $V_\alpha \prec_{\Sigma_2} V_\kappa$ is club in $\kappa$, the conclusion of Proposition \[prop:2-iterable-stationary-limit\] implies that $\kappa$ is a stationary limit of cardinals that are both $\Sigma_2$-reflecting and virtually Shelah in $V_\kappa$. (Note that the virtual Shelah property is upward absolute from $V_\kappa$ to $V$ but the $\Sigma_2$-reflecting property might not be.) It follows that ZFC + “there is a $\Sigma_2$-reflecting virtually Shelah cardinal” has lower consistency strength than ZFC + “there is a 2-iterable cardinal.”

Recall that every virtually Shelah cardinal is ineffable by Proposition \[prop:ineffable\]. We can obtain a better lower bound for the consistency strength of virtually Shelah cardinals in terms of the virtually $A$-extendible cardinals defined by Gitman and Hamkins [@GitHamOrdNotDelta2Mahlo Definition 6]: For a cardinal $\alpha$ and a class $A$ (meaning either a definable class in ZFC or an arbitrary class in GBC) we say that $\alpha$ is *virtually $A$-extendible* if for every ordinal $\beta > \alpha$ there is an ordinal $\theta$ and a generic elementary embedding $$j : (V_\beta; \mathord{\in},A \cap V_\beta) \to (V_\theta; \mathord{\in},A \cap V_\theta)$$ with $ \operatorname{crit}(j) = \alpha$ and $j(\alpha) > \beta$.

\[prop:virtually-A-extendible\] If $\kappa$ is a virtually Shelah cardinal then the structure $(V_\kappa, V_{\kappa+1}; \mathord{\in})$ satisfies the statement “for every class $A$ there is a virtually $A$-extendible cardinal.”

Let $\kappa$ be a virtually Shelah cardinal, let $A \subset V_\kappa$, and assume toward a contradiction that no cardinal less than $\kappa$ is virtually $A$-extendible in $(V_\kappa, V_{\kappa+1}; \mathord{\in})$. Then we may define a function $f:\kappa \to \kappa$ such that for every ordinal $\alpha < \kappa$, $f(\alpha)$ is the least ordinal greater than $\alpha$ such that for every ordinal $\theta < \kappa$ there is no generic elementary embedding from $(V_{f(\alpha)}; \mathord{\in},A \cap V_{f(\alpha)})$ to $(V_\theta; \mathord{\in},A \cap V_\theta)$ that has critical point $\alpha$ and maps $\alpha$ above $f(\alpha)$.

Because $\kappa$ is virtually Shelah, by Lemma \[lem:zfc-models\] there is an inaccessible cardinal $\lambda > \kappa$, a transitive model $M$ of ZFC with $V_\lambda \subset M$, and a generic elementary embedding $$j : V_\lambda \to M \text{ with } \operatorname{crit}(j) = \kappa \text { and }j(f)(\kappa) < \lambda < j(\kappa).$$ Defining $\beta = j(f)(\kappa)$, we have $$\kappa < \beta < \lambda < j(\kappa) < j(\beta) < {\mathrm{Ord}}^M.$$ Let $j_1 = j \restriction V_\beta$, considered as an elementary embedding whose domain is the structure $(V_\beta; \mathord{\in}, j(A) \cap V_\beta)$. Then we have $$j_1 : (V_\beta; \mathord{\in}, j(A) \cap V_\beta) \to (V_{j(\beta)}^M; \mathord{\in}, j(j(A) \cap V_\beta)) \text{ and } \operatorname{crit}(j_1) = \kappa \text{ and } j_1(\kappa) = j(\kappa).$$ Let $G \subset \operatorname{Col}(\omega,V_\beta)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in M[G]$ such that $$j_2 : (V_\beta; \mathord{\in}, j(A) \cap V_\beta) \to (V_{j(\beta)}^M; \mathord{\in}, j(j(A) \cap V_\beta)) \text{ and } \operatorname{crit}(j_2) = \kappa \text{ and } j_2(\kappa) = j(\kappa).$$ Note that $j_2(\kappa) = j(\kappa) > j(f)(\kappa) = \beta$. By the elementarity of $j$ and the definability of forcing it follows that there is a cardinal $\alpha < \kappa$ such that, letting $g \subset \operatorname{Col}(\omega,V_{f(\alpha)})$ be a $V$-generic filter, there is an elementary embedding $j_3 \in V_\lambda[g]$ with $$j_3 : (V_{f(\alpha)}; \mathord{\in}, A \cap V_{f(\alpha)}) \to (V_{\beta}; \mathord{\in}, j(A) \cap V_\beta) \text{ and } \operatorname{crit}(j_3) = \alpha \text{ and } j_3(\alpha)  > f(\alpha).$$ Because $V_\lambda \subset M$ we have $j_3 \in M[g]$, and because $\beta < j(\kappa)$ it then follows by the elementarity of $j$ that there is an ordinal $\theta < \kappa$ and an elementary embedding $j_4 \in V_\lambda[g]$ such that $$j_4 : (V_{f(\alpha)}; \mathord{\in}, A \cap V_{f(\alpha)}) \to (V_{\theta}; \mathord{\in}, A \cap V_\theta) \text{ and } \operatorname{crit}(j_4) = \alpha \text{ and } j_4(\alpha) > f(\alpha).$$ The existence of such a generic elementary embedding $j_4$ contradicts the definition of $f$.

We can state a further consequence of the virtual Shelah property in terms of the generic Vopěnka principle defined by Bagaria, Gitman, and Schindler [@BagGitSchGenericVopenka], which says that for every proper class of structures of the same type there is a generic elementary embedding from one of the structures into another. The generic Vopěnka principle, formalized as a statement in GBC, follows from the existence of a virtually $A$-extendible cardinal for every class $A$ by Gitman and Hamkins [@GitHamOrdNotDelta2Mahlo Theorem 7]. Combining this fact with Proposition \[prop:virtually-A-extendible\] gives the following result.

If $\kappa$ is a virtually Shelah cardinal then the generic Vopěnka principle holds in the structure $(V_\kappa, V_{\kappa+1}; \mathord{\in})$.

Gitman and Hamkins [@GitHamOrdNotDelta2Mahlo Theorem 7] showed more specifically that the generic Vopěnka principle is equivalent to existence of a weakly virtually $A$-extendible cardinal for every class $A$, where the definition of weak virtual $A$-extendibility is obtained from the definition of virtual $A$-extendibility by removing the condition on the image of the critical point. Solovay, Reinhardt, and Kanamori [@SolReiKanStrongAxioms Theorem 6.9] proved an analogous result in the non-virtual setting, where Kunen’s inconsistency erases the distinction between weak extendibility and extendibility: Vopěnka’s principle is equivalent to the existence of an $A$-extendible cardinal for every class $A$.

Thin universally Baire sets of reals {#sec:thin-uB-sets}
====================================

In this section we will establish some equivalent conditions for a universally Baire set of reals to be *thin*, meaning to have no perfect subset. To do this we will need a characterization of universal Baireness in terms of trees and forcing due to Feng, Magidor and Woodin [@FenMagWoo].

For a class $X$, a *tree on $X$* is a subset of $X^{\mathord{<}\omega}$ that is closed under initial segments. For a tree $T$ on $X$ we let $[T]$ denote the set of all infinite branches of $T$. Note that $[T]$ is a closed subset of $X^\omega$ (where $X$ has the discrete topology) and conversely every closed subset of $X^\omega$ is the set of branches of some tree on $X$.

We will typically consider trees on $\omega \times {\mathrm{Ord}}$, whose elements we may think of either as finite sequences of pairs or as pairs of finite sequences. Because we require trees to be sets, a tree on $\omega \times {\mathrm{Ord}}$ is actually a tree on $\omega \times \gamma$ for some ordinal $\gamma$, but there is usually no need to specify a particular ordinal.

The letter $\operatorname{p}$ denotes projection: $$\operatorname{p}[T]= \{x \in \omega^\omega : (x,f) \in [T] \text{ for some }f \in {\mathrm{Ord}}^\omega\}.$$ For a tree $T$ on $\omega \times {\mathrm{Ord}}$ and a real $x \in \omega^\omega$ we define the *section* $T_x$ of $T$ as the set of all $s \in {\mathrm{Ord}}^{\mathord{<}\omega}$ such that $(x \restriction \left| s \right|, s) \in T$. Note that $T_x$ is a tree on ${\mathrm{Ord}}$ that is illfounded if and only if $x \in \operatorname{p}[T]$, so the statement $x \in \operatorname{p}[T]$ is absolute to all transitive models of ZFC containing $x$ and $T$ by the absoluteness of wellfoundedness.

A pair of trees $(T,\tilde{T})$ on $\omega \times {\mathrm{Ord}}$ is *complementing* if $$\operatorname{p}[T] = \omega^\omega \setminus \operatorname{p}[\tilde{T}],$$ and for a poset $\mathbb{P}$ it is *$\mathbb{P}$-absolutely complementing* if it is complementing in every generic extension of $V$ by $\mathbb{P}$. The statement $\operatorname{p}[T] \cap \operatorname{p}[\tilde{T}] = \emptyset$ is generically absolute by the absoluteness of wellfoundedness of the tree of all triples $(r,s_1,s_2)$ such that $(r, s_1) \in T$ and $(r,s_2) \in \tilde{T}$, so a complementing pair of trees $(T,\tilde{T})$ is $\mathbb{P}$-absolutely complementing if and only if $\operatorname{p}[T] \cup \operatorname{p}[\tilde{T}] = \omega^\omega$ in every generic extension of $V$ by $\mathbb{P}$. A tree $T$ is called *$\mathbb{P}$-absolutely complemented* if there is a tree $\tilde{T}$ such that the pair $(T,\tilde{T})$ is $\mathbb{P}$-absolutely complementing.

We say that a set of reals $A$ is *$\mathbb{P}$-Baire* if $A = \operatorname{p}[T]$ for some $\mathbb{P}$-absolutely complemented tree $T$ on $\omega \times {\mathrm{Ord}}$. By Feng, Magidor, and Woodin [@FenMagWoo Theorem 2.1] a set of reals is universally Baire if and only if it is $\mathbb{P}$-Baire for every poset $\mathbb{P}$. We will adopt this characterization of universal Baireness as our definition from now on.

For a cardinal $\kappa$, we say that a set of reals is *$\kappa$-universally Baire* if it is $\mathbb{P}$-Baire for every poset $\mathbb{P}$ of cardinality less than $\kappa$. We denote the pointclass of all $\kappa$-universally Baire sets of reals by $\operatorname{uB}_\kappa$. It is not hard to see that if $\kappa$ is inaccessible, then a set of reals is $\kappa$-universally Baire if and only if it is $\operatorname{Col}(\omega,\mathord{<}\kappa)$-Baire.

If a set of reals $A$ is $\mathbb{P}$-Baire and $G \subset \mathbb{P}$ is a $V$-generic filter, then the *canonical extension* of $A$ to $V[G]$ is the set of reals $A^{V[G]}$ in $V[G]$ defined by $$A^{V[G]} = \operatorname{p}[T]^{V[G]}$$ where $T$ is a $\mathbb{P}$-absolutely complemented tree in $V$ such that $A = \operatorname{p}[T]^V$. By a standard argument using the absoluteness of wellfoundedness, this definition of the canonical extension does not depend on the choice of $T$.

For every positive integer $n$, all of the above definitions and facts about universally Baire sets of reals can easily be generalized to universally Baire $n$-ary relations on the reals by replacing trees on $\omega \times {\mathrm{Ord}}$ with trees on $\omega^n \times {\mathrm{Ord}}$.

Now we can establish some equivalent conditions for thinness. The equivalence of statements \[item:thin\] and \[item:no-new-elements\] below seems to be well-known (and perhaps the others are also) but we are not aware of a reference.

\[lem:thin-equivalences\] For every universally Baire set of reals $A$, the following statements are equivalent in ZFC.

1.  \[item:thin\] $A$ is thin.

2.  \[item:no-new-elements\] $A^{V[G]} = A^V$ for every generic extension $V[G]$ of $V$.

3.  \[item:every-relation-uB\] For every $n < \omega$, every subset of $A^n$ is universally Baire.

4.  \[item:uB-wellordering\] There is a universally Baire wellordering of $A$.

$\implies$ : Assume that statement \[item:no-new-elements\] fails, so there is a generic extension $V[G]$ of $V$ by a poset $\mathbb{P}$ and a real $x \in A^{V[G]} \setminus V$. Letting $(T,\tilde{T})$ be a $\mathbb{P}$-absolutely complementing pair of trees for $A$ in $V$ we have $x \in \operatorname{p}[T]^{V[G]} \setminus L[T]$, so by Mansfield’s theorem in $V[G]$ (see Jech [@Jec2002 Lemma 25.24]) there is a perfect tree $U \in L[T]$ on $\omega$ such that $[U] \subset \operatorname{p}[T]$ in $V[G]$. This implies $[U] \subset A$ in $V$, so $A$ is not thin.

$\implies$ : Assume statement \[item:no-new-elements\]. Then there is a tree $T_{\neg A}$ on $\omega \times {\mathrm{Ord}}$ such that $${} {\mathbin{\Vdash}}_{\mathbb{P}} \operatorname{p}[T_{\neg A}] = \omega^\omega \setminus A.$$ From this tree, one can define a tree $T_{\neg A^n}$ on $\omega^n \times {\mathrm{Ord}}$ such that $${} {\mathbin{\Vdash}}_{\mathbb{P}} \operatorname{p}[T_{\neg A^n}] = (\omega^\omega)^n \setminus A^n.$$ Now let $n < \omega$, let $B \subset A^n$, and let $\mathbb{P}$ be a poset. We will show that $B$ is $\mathbb{P}$-Baire. Take trees $T_B$ and $T_{A^n \setminus B}$ on $\omega^n \times \left|B\right|$ and $\omega^n \times \left|A^n \setminus B\right|$ respectively that project to $B$ and $A^n \setminus B$ respectively in every generic extension. (Such trees can be trivially defined for every pointset.) From $T_{\neg A^n}$ and $T_{A^n \setminus B}$, one can define a tree $T_{\neg B}$ on $\omega^n \times {\mathrm{Ord}}$ such that every generic extension satisfies $\operatorname{p}[T_{\neg B}] = \operatorname{p}[T_{\neg A^n}] \cup \operatorname{p}[T_{A^n \setminus B}]$. Then we have $${} {\mathbin{\Vdash}}_{\mathbb{P}} \operatorname{p}[T_{\neg B}] = (\omega^\omega)^n \setminus B,$$ so the pair of trees $(T_B, T_{\neg{B}})$ witnesses that $B$ is $\mathbb{P}$-Baire.

$\implies$ : This follows directly from the existence of a wellordering of $A$.

$\implies$ : Suppose toward a contradiction that some universally Baire set of reals $A$ has a universally Baire wellordering but is not thin. Because $A$ has a perfect subset there is a continuous injection $f : 2^\omega \to \omega^\omega$ whose range is contained in $A$. Taking the preimage of a universally Baire wellordering of $A$ under the continuous function $f \times f$ we obtain a wellordering of $2^\omega$ with the Baire property, which leads to a contradiction using the Kuratowski–Ulam theorem (see Kanamori [@KanHigherInfinite Corollary 13.10].)

Proof of Theorem \[thm:v-Shelah\] {#section:proof-of-thm-v-Shelah}
=================================

The following “universally Baire reflection” lemma is the key to obtaining consequences of the virtual Shelah property by forcing. Our statement of the lemma will use the following definition. For a $V$-generic filter $G$ on the poset $\operatorname{Col}(\omega,\mathord{<}\kappa)$ and an ordinal $\alpha < \kappa$ we define $G \restriction \alpha = G \cap \operatorname{Col}(\omega,\mathord{<}\alpha)$, which is a $V$-generic filter on the poset $\operatorname{Col}(\omega,\mathord{<}\alpha)$.

\[lem:forcing\] Let $\kappa$ be a virtually Shelah cardinal, let $G \subset \operatorname{Col}(\omega,\mathord{<}\kappa)$ be a $V$-generic filter, and let $A$ be a universally Baire set of reals in $V[G]$. Then there is an ordinal $\alpha < \kappa$ and a $\kappa$-universally Baire set of reals $A_0$ in $V[G\restriction\alpha]$ such that $A = A_0^{V[G]}$.

Suppose toward a contradiction that for every ordinal $\alpha < \kappa$ we have $$\forall A_0 \in \operatorname{uB}_\kappa^{V[G\restriction\alpha]}\, A_0^{V[G]} \ne A.$$ Then for every ordinal $\alpha < \kappa$, because $\kappa$ is inaccessible in $V[G \restriction \alpha]$ and we have $$\operatorname{uB}_\kappa^{V[G \restriction \alpha]} = \bigcap_{\beta < \kappa} \operatorname{uB}_\beta^{V[G \restriction \alpha]} \text{ and } \mathbb{R}^{V[G]} = \bigcup_{\beta < \kappa} \mathbb{R}^{V[G\restriction \beta]},$$ it follows that for all sufficiently large ordinals $\beta < \kappa$ we have $\beta > \alpha$ and $$\forall A_0 \in \operatorname{uB}^{V[G\restriction\alpha]}_{\beta}\, A_0^{V[G \restriction \beta]} \ne A \cap V[G \restriction \beta].$$ Then by the $\kappa$-chain condition for $\operatorname{Col}(\omega,\mathord{<}\kappa)$ it follows that there is a function $f : \kappa \to \kappa$ in $V$ such that for all $\alpha < \kappa$ we have $f(\alpha) > \alpha$ and $$\forall A_0 \in \operatorname{uB}^{V[G\restriction\alpha]}_{f(\alpha)}\, A_0^{V[G \restriction f(\alpha)]} \ne A \cap V[G \restriction f(\alpha)].$$ Because $\kappa$ is a limit of inaccessible cardinals in $V$ we may additionally assume that $f(\alpha)$ is inaccessible in $V$ for every ordinal $\alpha < \kappa$.

Because $\kappa$ is virtually Shelah, by Lemma \[lem:zfc-models\] there is an inaccessible cardinal $\lambda > \kappa$, a transitive model $M$ of ZFC in $V$ with $V_\lambda \subset M$, and a generic elementary embedding $$j : V_{\lambda} \to M \text{ with } \operatorname{crit}(j) = \kappa \text{ and } j(f)(\kappa) < \lambda < j(\kappa).$$ Defining $\beta = j(f)(\kappa)$ we have $$\kappa < \beta < \lambda < j(\kappa) < j(\beta) < {\mathrm{Ord}}^M.$$ Note that $\beta$ is inaccessible in $M$ by our assumption on $f$ and the elementarity of $j$, and because $V_\lambda \subset M$ and $\beta < \lambda$ this implies that $\beta$ is also inaccessible in $V$.

We can extend $j$ to a generic elementary embedding $${\mathbf {\hat \jmath}}: V_{\lambda}[G] \to M[H]$$ where $H\subset \operatorname{Col}(\omega,\mathord{<}j(\kappa))$ is an $V$-generic filter such that $H \restriction \kappa = G$. By the fact that $\beta = j(f)(\kappa)$ and the elementarity of ${\mathbf {\hat \jmath}}$ it follows that $$\forall A_0 \in \operatorname{uB}^{M[G]}_{\beta}\,A_0^{M[H \restriction \beta]} \ne {\mathbf {\hat \jmath}}(A) \cap M[H \restriction \beta].$$

We will now obtain a contradiction by showing $$A \in \operatorname{uB}^{M[G]}_{\beta} \text{ and } A^{M[H \restriction \beta]} = {\mathbf {\hat \jmath}}(A) \cap M[H \restriction \beta].$$ In $V[G]$, because $A$ is universally Baire we may take a $\operatorname{Col}(\omega,\mathord{<}\beta)$-absolutely complementing pair of trees $(T,\tilde{T})$ on $\omega \times {\mathrm{Ord}}$ such that $\operatorname{p}[T] = A$. We may assume that $(T,\tilde{T}) \in V_{\lambda}[G]$: if necessary, replace $T$ and $\tilde{T}$ by their images under the transitive collapse of an elementary substructure of a sufficiently large rank initial segment of $V[G]$ containing $V_\beta[G] \cup \{\beta,T,\tilde{T}\}$ and having cardinality $\beta$. Because $V_\lambda \subset M$ we have $V_\lambda[G] \subset M[G]$ and the pair $(T,\tilde{T}) \in V_{\lambda}[G]$ witnesses $A \in \operatorname{uB}^{M[G]}_{\beta}$ as desired.

We have $({\mathbf {\hat \jmath}}(T),{\mathbf {\hat \jmath}}(\tilde{T})) \in M[H]$ and it follows by the elementarity of ${\mathbf {\hat \jmath}}$ that $$\operatorname{p}[{\mathbf {\hat \jmath}}(T)]^{M[H]} = {\mathbf {\hat \jmath}}(A).$$ Mapping branches pointwise by $j$ gives the inclusions $$\operatorname{p}[T] \subset \operatorname{p}[{\mathbf {\hat \jmath}}(T)] \text{ and } \operatorname{p}[\tilde{T}] \subset \operatorname{p}[{\mathbf {\hat \jmath}}(\tilde{T})]$$ in all models containing all of these trees, and particularly in $M[H]$. Because the pair $(T,\tilde{T})$ is $\operatorname{Col}(\omega,\mathord{<}\beta)$-absolutely complementing in $V[G]$ and the pair $({\mathbf {\hat \jmath}}(T),{\mathbf {\hat \jmath}}(\tilde{T}))$ is complementing in $M[H]$, these inclusions become equalities when restricted to the reals of $M[H \restriction \beta]$, so $$A^{M[H \restriction \beta]} = \operatorname{p}[T]^{M[H \restriction \beta]} = \operatorname{p}[{\mathbf {\hat \jmath}}(T)]^{M[H \restriction \beta]} = {\mathbf {\hat \jmath}}(A) \cap M[H \restriction \beta],$$ completing the desired contradiction.

We can use Lemma \[lem:forcing\] to show that the consistency of statement \[item:equi-v-Shelah\] of Theorem \[thm:v-Shelah\] (which says there is a virtually Shelah cardinal) implies the consistency of statements \[item:omega-1-uB-sets\], \[item:equi-L-R-uB-LM\], \[item:equi-L-R-uB-PSP\], and the corresponding statement for the Baire property:

\[prop:forward-direction\] Let $\kappa$ be a virtually Shelah cardinal and let $G \subset \operatorname{Col}(\omega,\mathord{<}\kappa)$ be a $V$-generic filter. Then the following statements hold in $V[G]$:

-   $\left|\operatorname{uB}\right| = \omega_1$.

-   Every set of reals in $L(\operatorname{uB}, \mathbb{R})$ is Lebesgue measurable and has the Baire property and the perfect set property.

By Lemma \[lem:forcing\] every universally Baire set of reals in $V[G]$ is definable in a uniform way from $V$, $G$, and elements of $V_\kappa$, namely an ordinal $\alpha < \kappa$ and a $\operatorname{Col}(\omega,\mathord{<}\alpha)$-name for a $\kappa$-universally Baire set of reals. (Recall that the canonical extension of a $\kappa$-universally Baire set of reals does not depend on any choice of trees.) Because $V_\kappa$ of the ground model has cardinality $\omega_1$ in $V[G]$, it follows that $V[G]$ satisfies $\left|\operatorname{uB}\right| = \omega_1$.

Now let $A$ be a set of reals in $L(\operatorname{uB}, \mathbb{R})^{V[G]}$. Then $A$ is ordinal-definable in $V[G]$ from a universally Baire set and a real. The real is in $V[G \restriction \alpha]$ for some $\alpha < \kappa$ by the inaccessibility of $\kappa$, and the universally Baire set is definable in $V[G]$ from parameters in $V[G \restriction \alpha]$ for some $\alpha < \kappa$ by Lemma \[lem:forcing\], so $A$ itself is definable in $V[G]$ from parameters in $V[G \restriction \alpha]$ for some $\alpha < \kappa$. Therefore the proof of Solovay [@SolEverySetMeasurable Theorem 1] shows that $A$ has the claimed regularity properties.

Proceeding with the proof of Theorem \[thm:v-Shelah\], note that statement \[item:equi-L-R-uB-PSP\] of the theorem, which says that every set of reals in $L(\operatorname{uB}, \mathbb{R})$ has the perfect set property, obviously implies statement \[item:equi-uB-PSP\] of the theorem, which says that every universally Baire set of reals has the perfect set property. We will show that statements \[item:omega-1-uB-sets\] and \[item:equi-L-R-uB-LM\] also imply statement \[item:equi-uB-PSP\].

Assume that statement \[item:equi-uB-PSP\] fails, so there is an uncountable thin universally Baire set $A$. Then by Lemma \[lem:thin-equivalences\] every subset of $A$ is also universally Baire, so $\left|\operatorname{uB}\right| \ge 2^{\omega_1}$ and therefore statement \[item:omega-1-uB-sets\] fails. Also by Lemma \[lem:thin-equivalences\] there is a universally Baire wellordering of $A$, so $L(\operatorname{uB}, \mathbb{R}) \models \omega_1 \le \left|\mathbb{R}\right|$. Moreover, because every countable sequence of universally Baire sets is coded by a universally Baire set (and similarly for reals) we have $L(\operatorname{uB}, \mathbb{R}) \models \text{DC}$. Therefore by Shelah [@SheSolovaysInaccessible Theorem 5.1B] the model $L(\operatorname{uB}, \mathbb{R})$ has a set of reals that is not Lebesgue measurable, so statement \[item:equi-L-R-uB-LM\] fails.

Next we show that statement \[item:equi-uB-PSP\] implies statement \[item:equi-combinatorial\]:

\[lem:PSP-uB-implies-combinatorial\] Assume that every universally Baire set of reals has the perfect set property. Then for every function $f: \omega_1 \to \omega_1$ there is an ordinal $\lambda > \omega_1$ such that for a stationary set of $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ we have $\sigma \cap \omega_1 \in \omega_1$ and $\operatorname{o.\!t.}(\sigma) \ge f(\sigma \cap \omega_1)$.

Assume toward a contradiction that some function $f: \omega_1 \to \omega_1$ fails to have this property. For every ordinal $\lambda > \omega_1$ the set $\{\sigma \in {\mathcal{P}}_{\omega_1}(\lambda) : \sigma \cap \omega_1 \in \omega_1\}$ is always club in ${\mathcal{P}}_{\omega_1}(\lambda)$, so it follows from our assumption that the set of all $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ such that $\sigma \cap \omega_1 \in \omega_1$ and $\operatorname{o.\!t.}(\sigma) < f(\sigma \cap \omega_1)$ contains a club set in ${\mathcal{P}}_{\omega_1}(\lambda)$. (Note that this statement trivially holds for $\lambda = \omega_1$ also.) Increasing the values of $f$ if necessary, we may assume that $f$ is a strictly increasing function.

We may consider every real $x$ as coding a structure $(\omega; E_x)$ where $E_x$ is a binary relation on $\omega$. More precisely, for all $m,n \in \omega$ we let $(m,n) \in E_x$ if and only if $x(\langle m,n \rangle) = 0$ where the angle brackets denote a recursive pairing function. For every countable ordinal $\beta$ we may choose a real $x_\beta$ coding $\beta$ in the sense that $(\omega; E_{x_\beta}) \cong (\beta, \in)$. We claim that the set of reals $$A = \{x_\beta : \beta \in \operatorname{ran}(f)\},$$ which is uncountable, is also universally Baire and thin. This will contradict our assumption that every universally Baire set of reals has the perfect set property.

Because $\left|A\right| = \omega_1$ we may trivially define a tree $T$ on $\omega \times \omega_1$ from $A$ such that $\operatorname{p}[T] = A$ in every generic extension of $V$. To prove the claim, it will therefore suffice to show that for every poset $\mathbb{P}$ there is a tree $\tilde{T}$ on $\omega \times {\mathrm{Ord}}$ such that the pair $(T,\tilde{T})$ is $\mathbb{P}$-absolutely complementing, which for this trivial tree $T$ simply means $${} {\mathbin{\Vdash}}_{\mathbb{P}} \operatorname{p}[\tilde{T}] = \omega^\omega \setminus A.$$ This will show that $A$ is universally Baire by definition, and also that $A$ is thin by condition \[item:no-new-elements\] of Lemma \[lem:thin-equivalences\]. (Our assumption on $f$ is only needed to prove universal Baireness of $A$. Thinness of $A$ follows from the more general fact that the set $\{x_\beta : \beta <\omega_1\}$ is thin, which can be proved using the boundedness lemma; see Jech [@Jec2002 Corollary 25.14].)

Fix a poset $\mathbb{P}$ and let $\eta = \max(|\mathbb{P}|^+,\omega_1)$. Using our hypothesis on the existence of club sets, for every ordinal $\lambda$ in the interval $[\omega_1,\eta)$ we may choose a function $$g_\lambda : \lambda^{\mathord{<}\omega} \to \lambda$$ such that for every $g_\lambda$-closed set $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ we have $\sigma \cap \omega_1 \in \omega_1$ and $\operatorname{o.\!t.}(\sigma) < f(\sigma \cap \omega_1)$. (If $\mathbb{P}$ is countable then this interval is empty and there is nothing to do in this step.) Moreover, we can choose $g_\lambda$ to satisfy the additional property that for every $g_\lambda$-closed set $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ the set $\sigma \cap \omega_1$ is $f$-closed. Then because $f$ is strictly increasing, these properties imply that for every $g_\lambda$-closed set $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ the order type of $\sigma$ is not in the range of $f$.

As a first step in defining the tree $\tilde{T}$, note that there is a tree $\tilde{T}_1$ on $\omega \times \omega$ in $V$ such that in every generic extension of $V$ we have $$\operatorname{p}[\tilde{T}_1] = \{x \in \omega^\omega: (\omega;E_x) \text{ is not a well-ordering}\},$$ because this set of reals is $\Sigma^1_1$.

As a second step in defining $\tilde{T}$, note that for every ordinal $\beta < \omega_1^V$ there is a tree $\tilde{T}_{2,\beta}$ on $\omega \times \omega$ in $V$ such that in every generic extension of $V$ we have $$\operatorname{p}[\tilde{T}_{2,\beta}] = \{x \in \omega^\omega : (\omega;E_x) \cong (\beta;\mathord{\in}) \text{ and } x \notin A\},$$ because this set of reals is $\Sigma^1_1(x_\beta)$ where $x_\beta$ is our chosen code of $\beta$. (The condition $x \notin A$ in the definition of this set either subtracts the single point $x_\beta$ from the set or leaves it unchanged, according to whether or not $\beta$ is in the range of $f$.)

As a third step in defining $\tilde{T}$, note that for every ordinal $\lambda \in [\omega_1^V, \eta)$ there is a tree $\tilde{T}_{3,\lambda}$ on $\omega \times \lambda$ in $V$ such that in every generic extension of $V$ we have $$\operatorname{p}[\tilde{T}_{3,\lambda}] = \{x \in \omega^\omega : (\omega;E_x) \cong (\sigma;\mathord{\in}) \text{ for some $g_\lambda$-closed set $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$}\}.$$ To show this, it suffices to represent the set of all such reals $x$ as the projection of a closed subset of $\omega^\omega \times \lambda^\omega$ onto its first coordinate. Using a definable pairing function $\lambda \times \omega \cong \lambda$, it equivalently suffices to represent the set of all such reals $x$ as the projection of a closed subset of $\omega^\omega \times \lambda^\omega \times \omega^\omega$ onto its first coordinate. An example of such a closed set is the set of all triples $(x, h, y) \in \omega^\omega \times \lambda^\omega \times \omega^\omega$ such that $h$ is an embedding $(\omega; E_x) \to (\lambda;\mathord{\in})$ and $y$ is a function telling us how far we have to look ahead in order to verify that the range of $h$ is $g_\lambda$-closed. To be precise, we require $g_\lambda[ \{ h(i) : i < n \}^{\mathord{<}n} ] \subset \{ h(i) : i < y(n) \}$ for all $n < \omega$.

Now we can define a tree $\tilde{T}$ on $\omega \times \eta$ in $V$ as an amalgamation of these trees, so in every generic extension of $V$ we have $$\operatorname{p}[\tilde{T}] = \operatorname{p}[\tilde{T}_1] \cup \bigcup_{\beta < \omega_1^V} \operatorname{p}[\tilde{T}_{2,\beta}] \cup \bigcup_{\lambda \in [\omega_1^V, \eta)} \operatorname{p}[\tilde{T}_{3,\lambda}].$$ Let $G \subset \mathbb{P}$ be a $V$-generic filter and let $x$ be a real in $V[G]$. We want to show $$x \in A \iff x \notin \operatorname{p}[\tilde{T}].$$

Assume that $x \in A$. Then clearly we have $x \notin \operatorname{p}[\tilde{T}_1]$ and $x \notin \operatorname{p}[\tilde{T}_{2,\beta}]$ for all $\beta < \omega_1^V$. By the definition of $A$ we have $x = x_\beta$ for some $\beta$ in the range of $f$. Now let $\lambda \in [\omega_1^V, \eta)$. As previously noted, the order type of a $g_\lambda$-closed set $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)^V$ cannot be in the range of $f$, so we have $x \notin \operatorname{p}[\tilde{T}_{3,\lambda}]$ in $V$ and equivalently in $V[G]$. Therefore $x \notin \operatorname{p}[\tilde{T}]$.

Conversely, assume that $x \notin A$. If $(\omega;E_x)$ is not a wellordering then we have $x \in \operatorname{p}[\tilde{T}_1]$. If $(\omega;E_x)$ is a wellordering of order type less than $\omega_1^V$ then let $\beta$ be its order type and note that $x \in \operatorname{p}[\tilde{T}_{2,\beta}]$. If $(\omega;E_x)$ is a wellordering of order type greater than or equal to $\omega_1^V$ then let $\lambda$ be its order type. Note that $\lambda < \eta$ because $\eta$ was chosen to be large enough that forcing with $\mathbb{P}$ does not collapse it to be countable. Therefore $\lambda \in [\omega_1^V,\eta)$ and we have $x \in \operatorname{p}[\tilde{T}_{3,\lambda}]$ because $(\omega;E_x) \cong (\lambda;\mathord{\in})$ and the set $\lambda \in {\mathcal{P}}_{\omega_1}(\lambda)^{V[G]}$ is trivially $g_\lambda$-closed. In every case we have shown that $x \in \operatorname{p}[\tilde{T}]$, as desired.

Finally, we show that if statement \[item:equi-combinatorial\] holds then statement \[item:equi-v-Shelah\] holds in $L$:

\[lem:combinatorial-implies-v-Shelah-in-L\] Assume that for every function $f: \omega_1 \to \omega_1$ there is an ordinal $\lambda > \omega_1$ such that for a stationary set of $\sigma \in {\mathcal{P}}_{\omega_1}(\lambda)$ we have $\sigma \cap \omega_1 \in \omega_1$ and $\operatorname{o.\!t.}(\sigma) \ge f(\sigma \cap \omega_1)$. Then $\omega_1^V$ is virtually Shelah in $L$.

Let $\kappa = \omega_1^V$. First we will show that $\kappa$ is inaccessible in $L$. Because $\kappa$ is regular in $V$ it is regular in $L$, so by GCH in $L$ it remains to show that $\kappa$ is a limit cardinal in $L$. Suppose toward a contradiction that there is a cardinal $\eta < \kappa$ in $L$ such that $(\eta ^+)^L = \kappa$ and define the function $f : \kappa \to \kappa$ in $L$ such that for every ordinal $\alpha < \kappa$, $f(\alpha)$ is the least ordinal $\beta > \max(\alpha, \eta)$ such that $L_\beta \models \left| \alpha \right| \le \eta$. (Note that $\beta < \kappa$ by Gödel’s condensation lemma.)

By our assumption there is an ordinal $\lambda > \kappa$ such that for a stationary set of $\sigma \in {\mathcal{P}}_\kappa(\lambda)$ in $V$ we have $\sigma \cap \kappa \in \kappa$ and $\operatorname{o.\!t.}(\sigma) \ge f(\sigma \cap \kappa)$. Because the set of all $X \in {\mathcal{P}}_\kappa(L_\lambda)$ such that $X \prec L_\lambda$, $X \cap \kappa \in \kappa$, and $\eta \cup \{\eta\} \subset X$ is club in ${\mathcal{P}}_\kappa(L_\lambda)$ there is such a set $X$ with the additional property that $\bar{\lambda} \ge f(\bar{\kappa})$ where $\bar{\kappa} = X \cap \kappa$ and $\bar{\lambda} = \operatorname{o.\!t.}(X \cap \lambda)$. Note that $$\eta < \bar{\kappa} < f(\bar{\kappa}) \le \bar{\lambda} < \kappa < \lambda.$$ By the condensation lemma, $X$ is the range of an elementary embedding $$j : L_{\bar{\lambda}} \to L_\lambda \text{ with } \operatorname{crit}(j) = \bar{\kappa} \text{ and } j(\bar{\kappa}) = \kappa.$$ By the definition of $f$ we have $L_{f(\bar{\kappa})} \models \left| \bar{\kappa} \right| \le \eta$, and because $f(\bar{\kappa}) \le \bar{\lambda}$ it follows that $L_{\bar{\lambda}} \models \left| \bar{\kappa} \right| \le \eta$. Then we have $L_\lambda \models \left| \kappa \right| \le \eta$ by the elementarity of $j$, contradicting the fact that $\kappa$ is a cardinal in $V$.

Now because $\kappa$ is inaccessible in $L$ it follows that $L_\beta = V_\beta^L$ for a cofinal set of ordinals $\beta < \kappa$. We will use this fact to show that $L$ satisfies statement \[item:kappa-is-image-of-crit-j\] of Proposition \[prop:downward-reformulation\], which is an equivalent condition for $\kappa$ to be virtually Shelah.

Let $f : \kappa \to \kappa$ be a function in $L$ and define the function $g: \kappa \to \kappa$ in $L$ where for every ordinal $\alpha < \kappa$, $g(\alpha)$ is the least ordinal $\beta \ge \max(f(\alpha), \alpha+1)$ such that $L_\beta = V_\beta^L$. Applying our assumption to the function $g + 1$, we obtain an ordinal $\lambda > \kappa$ such that for a stationary set of $\sigma \in {\mathcal{P}}_\kappa(\lambda)$ in $V$ we have $\sigma \cap \kappa \in \kappa$ and $\operatorname{o.\!t.}(\sigma) > g(\sigma \cap \kappa)$. By increasing $\lambda$ if necessary, we may assume that $L_\lambda = V_\lambda^L$.

Because the set of all $X \in {\mathcal{P}}_\kappa(L_\lambda)$ such that $X \prec L_\lambda$, $X \cap \kappa \in \kappa$, and $f \in X$ is club in ${\mathcal{P}}_\kappa(L_\lambda)$ there is such a set $X$ with the additional property that $\bar{\lambda} > g(\bar{\kappa})$ where $\bar{\kappa} = X \cap \kappa$ and $\bar{\lambda} = \operatorname{o.\!t.}(X \cap \lambda)$. By the condensation lemma, $X$ is the range of an elementary embedding $$j : L_{\bar{\lambda}} \to L_\lambda \text{ with } \operatorname{crit}(j) = \bar{\kappa} \text{ and } j(\bar{\kappa}) = \kappa.$$ Define $\bar{\beta} = g(\bar{\kappa})$ and $\beta = j(\bar{\beta})$ and $\bar{f} = j^{-1}(f)$. Note that $$\bar{\kappa} < \bar{\beta} < \bar{\lambda} < \kappa < \beta < \lambda.$$ We have $L_{\bar{\beta}} = V_{\bar{\beta}}^L$ because $\bar{\beta}$ is in the range of the function $g$. Therefore $L_{\bar{\lambda}} \models L_{\bar{\beta}} = V_{\bar{\beta}}$ and it follows by the elementarity of $j$ that $L_\lambda \models L_\beta = V_\beta$. Because $L_\lambda = V_\lambda^L$, this implies $L_\beta = V_\beta^L$. For the elementary embedding $j_1 = j \restriction V_{\bar{\beta}}^L$ we have $$j_1: V_{\bar{\beta}}^L \to V_\beta^L \text{ and } \operatorname{crit}(j_1) = \bar{\kappa} \text{ and } j_1(\bar{\kappa}) = \kappa \text{ and } j_1(\bar{f}) = f.$$ Let $G \subset \operatorname{Col}(\omega,V_{\bar{\beta}}^L)$ be a $V$-generic filter. Then by the absoluteness of elementary embeddability of countable structures there is an elementary embedding $j_2 \in L[G]$ such that $$j_2: V_{\bar{\beta}}^L \to V_\beta^L \text{ and } \operatorname{crit}(j_2) = \bar{\kappa} \text{ and } j_2(\bar{\kappa}) = \kappa \text{ and } j_2(\bar{f}) = f.$$ Because $f(\bar{\kappa}) \le g(\bar{\kappa}) = \bar{\beta}$, this elementary embedding $j_2$ witnesses statement \[item:kappa-is-image-of-crit-j\] of Proposition \[prop:downward-reformulation\] for $\kappa$ in $L$ with respect to the function $f$.

This completes the proof of Theorem \[thm:v-Shelah\]. The following question remains open.

\[question:BP\] What is the consistency strength of the theory ZFC + “every set of reals in $L(\mathbb{R},\operatorname{uB})$ has the Baire property”?

An upper bound for the consistency strength is ZFC + “there is a virtually Shelah cardinal” by Proposition \[prop:forward-direction\]. We do not know any nontrivial lower bound.

Proof of Theorem \[thm:delta-1-2-equals-uB\] {#section:proof-of-thm-delta-1-2-equals-uB}
============================================

When forcing with the Levy collapse over $L$, the virtual Shelah property can be used to limit the complexity of the universally Baire sets of reals in the generic extension:

\[prop:uB-subset-Delta-1-2\] Let $\kappa$ be a virtually Shelah cardinal in $L$ and let $G \subset \operatorname{Col}(\omega,\mathord{<}\kappa)$ be an $L$-generic filter. Then $L[G] \models \operatorname{uB}\subset {{\utilde{\bf{\Delta}}}}^1_2$.

Let $A$ be a universally Baire set of reals in $L[G]$. Then by Lemma \[lem:forcing\] there is an ordinal $\alpha < \kappa$ and a $\kappa$-universally Baire set of reals $A_0$ in $L[G\restriction\alpha]$ such that $A = A_0^{L[G]}$. Increasing $\alpha$ if necessary, we may assume that it is a successor ordinal, so $L[G\restriction\alpha] = L[z]$ for some real $z \in L[G]$. Take a $\operatorname{Col}(\omega,\mathord{<}\kappa)$-absolutely complementing pair of trees $(T, \tilde{T})$ in $L[z]$ such that $\operatorname{p}[T]^{L[z]} = A_0$ and therefore $\operatorname{p}[T]^{L[G]} = A$. Define the sets of reals $$B_0 = \operatorname{p}[\tilde{T}]^{L[z]} = \mathbb{R}^{L[z]} \setminus A_0 \text{ and } B = \operatorname{p}[\tilde{T}]^{L[G]} = \mathbb{R}^{L[G]} \setminus A.$$

We claim that for every real $x \in L[G]$ we have $x \in A$ if and only if there is a tree $T' \in L[z]$ such that $x \in \operatorname{p}[T']$ and $\operatorname{p}[T'] \cap B_0 = \emptyset$. To prove the forward direction of the claim, note that if $x \in A$ then we can simply let $T' = T$. To prove the reverse direction of the claim, let $x$ be a real in $L[G]$ and assume that $x \in \operatorname{p}[T']$ for some tree $T' \in L[z]$ such that $\operatorname{p}[T'] \cap B_0 = \emptyset$. Because $\operatorname{p}[T'] \cap B_0 = \emptyset$ and $B_0 = \operatorname{p}[\tilde{T}]^{L[z]}$ we have $\operatorname{p}[T'] \cap \operatorname{p}[\tilde{T}] = \emptyset$ in $L[z]$. The statement $\operatorname{p}[T'] \cap \operatorname{p}[\tilde{T}] = \emptyset$ is absolute between $L[z]$ and $L[G]$ by the absoluteness of wellfoundedness of the tree of all triples $(r, s_1, s_2)$ such that $(r,s_1) \in T'$ and $(r,s_2) \in \tilde{T}$, so because $x \in \operatorname{p}[T']$ we have $x \notin \operatorname{p}[\tilde{T}]$ and therefore $x \in \operatorname{p}[T] = A$.

We can use the claim to define $A$ in $L[G]$ without reference to $T$. Because the class $L[z]$ is $\Sigma_1(z)$ and the statement $y \notin \operatorname{p}[T']$ (where $y$ is a real) is witnessed by the existence of a rank function for the section tree $T_y$, it follows from the claim that $A$ is $\Sigma_1(z,B_0)$. Because $\text{HC} \prec_{\Sigma_1} V$, this implies that $A$ is $\Sigma_1^{\text{HC}}(z,B_0)$ and is therefore $\Sigma^1_2(z,b)$ where $b$ is a real coding $B_0$. A symmetric argument shows that $B$ is ${{\utilde{\bf{\Sigma}}}}^1_2$ in $L[G]$, so $A$ and $B$ are both ${{\utilde{\bf{\Delta}}}}^1_2$ in $L[G]$.

Proposition \[prop:uB-subset-Delta-1-2\] is not useful as a relative consistency result because the theory ZFC + $(\operatorname{uB}\subset {{\utilde{\bf{\Delta}}}}^1_2)$ is equiconsistent with ZFC by the theorem of Larson and Shelah mentioned in the introduction. However, we can combine Proposition \[prop:uB-subset-Delta-1-2\] with the theorem of Feng, Magidor, and Woodin mentioned in the introduction to obtain an equiconsistency result at the level of a $\Sigma_2$-reflecting virtually Shelah cardinal:

Assume there is a $\Sigma_2$-reflecting virtually Shelah cardinal $\kappa$. Then $\kappa$ is clearly $\Sigma_2$-reflecting in $L$ and it is virtually Shelah in $L$ by Lemma \[lem:absolute-to-L\]. Let $G \subset \operatorname{Col}(\omega,\mathord{<}\kappa)$ be an $L$-generic filter. Because $\kappa$ is $\Sigma_2$-reflecting in $L$ we have ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$ in $L[G]$ by the proof of Feng, Magidor and Woodin [@FenMagWoo Theorem 3.3]. On the other hand, because $\kappa$ is virtually Shelah in $L$ we have $\operatorname{uB}\subset {{\utilde{\bf{\Delta}}}}^1_2$ in $L[G]$ by Proposition \[prop:uB-subset-Delta-1-2\].

Conversely, assume $\operatorname{uB}= {{\utilde{\bf{\Delta}}}}^1_2$. Because ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$, the cardinal $\omega_1^V$ is $\Sigma_2$-reflecting in $L$ by the proof of Feng, Magidor, and Woodin [@FenMagWoo Theorem 3.3]. Also because ${{\utilde{\bf{\Delta}}}}^1_2 \subset \operatorname{uB}$, every ${{\utilde{\bf{\Sigma}}}}^1_2$ set of reals has the perfect set property by Feng, Magidor, and Woodin [@FenMagWoo Theorem 2.4]. Combining this with the assumption that $\operatorname{uB}\subset {{\utilde{\bf{\Delta}}}}^1_2$ shows that every $\operatorname{uB}$ set has the perfect set property, so $\omega_1^V$ is virtually Shelah in $L$ by Lemmas \[lem:PSP-uB-implies-combinatorial\] and \[lem:combinatorial-implies-v-Shelah-in-L\].

Acknowledgments
===============

We thank Stamatis Dimopoulos for a conversation with the second author that led to the current form of Definition \[defn:kappa-is-crit-j\] in which $\kappa$ is $\operatorname{crit}(j)$ rather than $j(\operatorname{crit}(j))$, making the resemblance to Shelah cardinals more apparent.

[10]{}

Joan Bagaria, Victoria Gitman, and Ralf Schindler. Generic [V]{}op[ě]{}nka’s [P]{}rinciple, remarkable cardinals, and the weak [P]{}roper [F]{}orcing [A]{}xiom. , 56(1-2):1–20, 2017.

Qi Feng, Menachem Magidor, and W. Hugh Woodin. Universally [B]{}aire sets of reals. In [*Set theory of the continuum*]{}, pages 203–242. Springer, 1992.

Victoria Gitman. Ramsey-like cardinals. , 76(2):519–540, 2011.

Victoria Gitman and Joel David Hamkins. A model of the generic [V]{}opěnka principle in which the ordinals are not [$\Delta_2$]{}-[M]{}ahlo. , 2017.

Victoria Gitman and Ralf Schindler. Virtual large cardinals. preprint.

Victoria Gitman and P.D. Welch. Ramsey-like cardinals [II]{}. , 76(2):541–560, 2011.

Thomas Jech. . Springer Monographs in Mathematics. Springer–Verlag, third millennium edition, 2002.

Akihiro Kanamori. . Springer Monographs in Mathematics. Springer, 2003.

Paul B. Larson and Saharon Shelah. Universally measurable sets may all be ${\bf \Delta}^1_2$. preprint.

Menachem Magidor. Combinatorial characterization of supercompact cardinals. , 42:279–285, 1974.

Norman Lewis Perlmutter. The large cardinals between supercompact and almost-huge. , 54(3-4):257–289, 2015.

Ralf-Dieter Schindler. Proper forcing and remarkable cardinals [II]{}. , 66(3):1481–1492, 2001.

Saharon Shelah. Can you take [S]{}olovay’s inaccessible away? , 48(1):1–47, 1984.

Robert M. Solovay. A model of set-theory in which every set of reals is [L]{}ebesgue measurable. , 92(1):1–56, 1970.

Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori. Strong axioms of infinity and elementary embeddings. , 13(1):73–116, 1978.

Trevor M. Wilson. Generic [V]{}opěnka cardinals and models of [ZF]{} with few $\aleph_1$-[S]{}uslin sets. preprint.

[^1]: This statement implies $\lambda > \kappa$, and by restricting $j$ if necessary we may assume $\bar{\lambda} < \kappa$ if desired.
