The surprising strength of second-order reflection in urelement set theory, Luminy, October 2023

This will be a talk at the XVII International Luminy Workshop in Set Theory at the Centre International de Rencontres Mathématiques (CIRM) near Marseille, France, held 9-13 October 2023.

Abstract. I shall give a general introduction to urelement set theory and the role of the second-order reflection principle in second-order urelement set theory GBCU and KMU. With the abundant atom axiom, asserting that the class of urelements greatly exceeds the class of pure sets, the second-order reflection principle implies the existence of a supercompact cardinal in an interpreted model of ZFC. The proof uses a reflection characterization of supercompactness: a cardinal is supercompact if and only if for every second-order sentence $\psi$ true in some structure $\langle M,\ldots\rangle$ (of any size) in a language of size less than $\kappa$ is also true in a first-order elementary substructure $m\prec M$ of size less than $\kappa$ with $m\cap\kappa\in\kappa$. This is joint work with Bokai Yao.

Set theory with abundant urelements, STUK 10, Oxford, June 2023

This will be a talk for the Set Theory in the UK, STUK 10, held in Oxford 14 June 2023, organized by my students Clara List, Emma Palmer, and Wojciech Wołoszyn.

Abstract. I shall speak on the surprising strength of the second-order reflection principle in the context of set theory with abundant urelements. The theory GBcU with the abundant urelement axiom and second-order reflection is bi-interpretable with a strengthening of KM with a supercompact cardinal. This is joint work with Bokai Yao.

Reflection in second-order set theory with abundant urelements bi-interprets a supercompact cardinal

[bibtex key=”HamkinsYao:Reflection-in-second-order-set-theory-with-abundant-urelements”]

Download pdf at arXiv:2204.09766

Abstract. After reviewing various natural bi-interpretations in urelement set theory, including second-order set theories with urelements, we explore the strength of second-order reflection in these contexts. Ultimately, we prove, second-order reflection with the abundant atom axiom is bi-interpretable and hence also equiconsistent with the existence of a supercompact cardinal. The proof relies on a reflection characterization of supercompactness, namely, a cardinal $\kappa$ is supercompact if and only if every $\Pi^1_1$ sentence true in a structure $M$ (of any size) containing $\kappa$ in a language of size less than $\kappa$ is also true in a substructure $m\prec M$ of size less than $\kappa$ with $m\cap\kappa\in\kappa$.

See also my talk at the CUNY Set Theory Seminar: The surprising strength of reflection in second-order set theory with abundant urelements

The least weakly compact cardinal can be unfoldable, weakly measurable and nearly $\theta$-supercompact

[bibtex key=CodyGitikHamkinsSchanker2015:LeastWeaklyCompact]

Abstract.   We prove from suitable large cardinal hypotheses that the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $\theta$-supercompact, for any desired $\theta$. In addition, we prove several global results showing how the entire class of weakly compact cardinals, a proper class, can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals or with the class of nearly $\theta_\kappa$-supercompact cardinals $\kappa$, for nearly any desired function $\kappa\mapsto\theta_\kappa$. These results answer several questions that had been open in the literature and extend to these large cardinals the identity-crises phenomenon, first identified by Magidor with the strongly compact cardinals.

In this article, we prove that the least weakly compact cardinal can exhibit any of several much stronger large cardinal properties. Namely, the least weakly compact cardinal can be unfoldable, weakly measurable and nearly $\theta$-supercompact for any desired $\theta$.

Main Theorem.  Assuming a suitable large cardinal hypothesis, the least weakly compact cardinal can be unfoldable, weakly measurable and even nearly $\theta$-supercompact, for any desired $\theta$.

Meanwhile, the least weakly compact cardinal can never exhibit these extra large cardinal properties in $L$, and indeed, the existence of a weakly measurable cardinal in the constructible universe is impossible. Furthermore, in each case the extra properties are strictly stronger than weak compactness in consistency strength.

We show in addition a more global result, that the entire class of weakly compact cardinals can be made to coincide with the class of unfoldable cardinals, with the class of weakly measurable cardinals, and with the class of nearly $\theta_\kappa$-supercompact cardinals $\kappa$, with enormous flexibility in the map $\kappa\mapsto\theta_\kappa$.

Our results therefore extend the `identity-crises’ phenomenon—first identified (and named) by Magidor—which occurs when a given large cardinal property can be made in various models to coincide either with much stronger or with much weaker large cardinal notions. Magidor had proved that the least strongly compact cardinal can be the least supercompact cardinal in one model of set theory and the least measurable cardinal in another. Here, we extend the phenomenon to weak measurability, partial near supercompactness and unfoldability. Specifically, the least weakly measurable cardinal coincides with the least measurable cardinal under the GCH, but it is the least weakly compact cardinal in our main theorem. Similarly, the least cardinal $\kappa$ that is nearly $\kappa^{+}$-supercompact is measurable with nontrivial Mitchell order under the GCH, but it is the least weakly compact cardinal here (and similar remarks apply to near $\kappa^{++}$-supercompactness and so on). The least unfoldable cardinal is strongly unfoldable in $L$, and therefore a $\Sigma_2$-reflecting limit of weakly compact cardinals there, but it is the least weakly compact cardinal in our main theorem. The global results of section 6 show just how malleable these notions are.

Jason Schanker

Jason Aaron Schanker earned his Ph.D. under my supervision at the CUNY Graduate Center in June, 2011.  Jason’s dissertation introduces several interesting new large cardinal notions, investigating their interaction with forcing, indestructibility, the Generalized Continuum Hypothesis and other topics.  He defines that a cardinal $\kappa$ is weakly measurable, for example, if any family of $\kappa^+$ many subsets of $\kappa$ can be measured by a $\kappa$-complete filter.  This is equivalent to measurability under the GCH, of course, but the notions are not equivalent in general, although they are equiconsistent.  The weak measurability concept can be viewed as a generalization of weak compactness, and there are myriad equivalent formulations, including elementary embedding characterizations using transitive domains of size $\kappa^+$.  It was known classically that the failure of the GCH at a measurable cardinal has consistency strength strictly greater than a measurable cardinal, but Jason proved that the corresponding fact is not true for the weakly measurable cardinals.  Generalizing this notion, Jason introduced the near supercompactness hierarchy, which refines and extends the usual supercompactness hierarchy in a way that adapts well to many existing forcing arguments.  Jason holds a faculty position at Manhattanville College in Purchase, New York.

Jason Schanker

web page | math genealogy | MathSciNet | google scholar | I-phone apps | related posts

Jason Schanker, “Weakly Measurable Cardinals and Partial Near Supercompactness,”  Ph.D. dissertation for the Graduate Center of the City University of New York, June, 2011.

Abstract.  I will introduce a few new large cardinal concepts. A weakly measurable cardinal is a new large cardinal concept obtained by weakening the familiar concept of a measurable cardinal. Specifically, a cardinal $\kappa$ is weakly measurable if for every collection $A$ containing at most $\kappa^+$ many subsets of $\kappa$, there exists a nonprincipal $\kappa$-complete filter on $\kappa$ measuring all sets in $A$. Every measurable cardinal is weakly measurable, but a weakly measurable cardinal need not be measurable. Moreover, while the GCH cannot fail first at a measurable cardinal, I will show that it can fail first at a weakly measurable cardinal. More generally, if $\kappa$ is measurable, then we can make its weak measurability indestructible by the forcing $\text{Add}(\kappa,\eta)$ for all $\eta$ while forcing the GCH to hold below $\kappa$. Nevertheless, I shall prove that weakly measurable v cardinals and measurable cardinals are equiconsistent.

A cardinal κ is nearly $\theta$-supercompact if for every $A\subset\theta$, there exists a transitive $M\models\text{ZFC}^-$ closed under ${<}\kappa$ sequences with $A,\kappa,\theta\in M$, a transitive $N$, and an elementary embedding $j : M \to  N$ with critical point $\kappa$ such that $j(\kappa) > \theta$ and $j”\theta\in N$. This concept strictly refines the $\theta$-supercompactness hierarchy as every $\theta$-supercompact cardinal is nearly $\theta$-supercompact, and every nearly $2^{\theta^{{<}\kappa}}$-supercompact cardinal $\kappa$ is $\theta$-supercompact. Moreover, if $\kappa$ is a $\theta$-supercompact cardinal for some $\theta$ such that $\theta^{{<}\kappa}=\theta$, we can move to a forcing extension preserving all cardinals below $\theta^{++}$ where $\kappa$ remains $\theta$-supercompact but is not nearly $\theta^+$-supercompact. I will also show that if $\kappa$ is nearly $\theta$-supercompact for some $\theta\geq 2^\kappa$ such that $\theta^{{<}\theta}=\theta$, then there exists a forcing extension preserving all cardinals at or above $\kappa$ where $\kappa$ is nearly $\theta$-supercompact but not measurable. These types of large cardinals also come equipped with a nontrivial indestructibility result, and I will prove that if $\kappa$ is nearly $\theta$-supercompact for some $\theta\geq\kappa$ such that $\theta^{{<}\theta}=\theta$, then there is a forcing extension where its near $\theta$-supercompactness is preserved and indestructible by any further ${<}\kappa$-directed closed $\theta$-c.c. forcing of size at most $\theta$. Finally, these cardinals have high consistency strength. Specifically, I will show that if $\kappa$ is nearly $\theta$-supercompact for some $\theta\geq\kappa^+$ for which $\theta^{{<}\theta}=\theta$, then AD holds in $L(\mathbb{R})$. In particular, if $\kappa$ is nearly $\kappa^+$-supercompact and $2^\kappa=\kappa^+$, then AD holds in $L(\mathbb{R})$.