Much of the theory of large cardinals beyond a measurable cardinal concerns the structure of elementary embeddings of the universe of sets into inner models. This paper seeks to answer the question of whether the inner model uniquely determines the elementary embedding.

This thesis is divided into three parts, the first and second ones focused on combinatorics and classification problems on discrete and geometrical objects in the context of descriptive set theory, and the third one on generalized descriptive set theory at singular cardinals of countable cofinality.

Descriptive Set Theory (briefly: DST) is the study of definable subsets of Polish spaces, i.e., separable completely metrizable spaces. One of the major branches of DST is Borel reducibility, successfully used in the last 30 years to solve and compare many classification problems. One of our goals is the classification of knots, very familiar and tangible objects in everyday life, which also play an important role in modern mathematics. The study of knots and their properties is known as knot theory. Our plan is to gain insight into knots using discrete objects, such as linear and circular orders. This approach was already exploited in [6]. The first part of this work is therefore devoted to countable linear orders and the study of the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results. We also expand our research to the case of circular orders.

Another objective of this first part is to extend the notion of convex embeddability on countable linear orders. We provide a family of quasi-orders of which embeddability is a particular case as well. We study these quasi-orders from a combinatorial point of view and analyse their complexity with respect to Borel reducibility. Furthermore, we extend the analysis of these quasi-orders to the set of uncountable linear orders.

The second part of the project deals with classification problems on knots and $3$-manifolds. The goal here is to apply the results obtained in the first part to the study of proper arcs and knots, establishing lower bounds for the complexity of some natural relations between these geometrical objects. We also obtain some combinatorial results which are particularly interesting when we restrict to the set of wild proper arcs and wild knots, classes which haven’t received much attention so far. These parts are included in the two preprints [4, 5] in collaboration with my supervisor Alberto Marcone, Luca Motto Ros (University of Torino), and Vadim Weinstein (University of Oulu).

The second part of this work also includes the classification of non-compact $3$-manifolds up to homeomorphism (the case of compact $3$-manifolds has already been solved: indeed, there are only countably many $3$-manifolds up to homeomorphism; see [7]), and that of Cantor sets of $\mathbb {R}^3$ up to conjugation (answering to Question 5.5 of [3]). Here we resort to algebraic tools. Stone duality gives a neat way to go back-and-forth between totally disconnected Polish spaces and countable Boolean algebras (see [1]). The main ingredient is the Stone space of all ultrafilters on a Boolean algebra. In this work we introduce a weaker concept which we call “blurry filter”. Using blurry filters instead of ultrafilters enables one to extend the class of spaces under consideration beyond totally disconnected. As an application of this method, we show that both homeomorphism on non-compact $3$-manifolds and conjugation of Cantor sets in $\mathbb {R}^3$ are completely classifiable by countable structures. These results are part of an upcoming paper in collaboration with Vadim Weinstein.

The last part of this thesis concerns the natural generalization of descriptive set theory that occurs when countable is replaced by uncountable, called Generalized Descriptive Set Theory (briefly: GDST). In particular, we focus on the case of GDST for a singular cardinal $\kappa $ of countable cofinality. The goal here is to study the generalizations of the Perfect Set Property and the Baire Property to subsets of spaces of higher cardinalities, like the power set $\mathcal {P}(\kappa )$. We consider the question under which large cardinal hypotheses classes of definable subsets of these spaces possess such regularity properties, focusing on rank-into-rank axioms, like I2, and classes of sets definable by $\Sigma _1$-formulas with parameters from various collections of sets. The obtained results are included in [2], a joint work with my co-supervisor Vincenzo Dimonte and Philipp Lücke (University of Hamburg).

Abstract prepared by Martina Iannella

E-mail: martina.iannella@tuwien.ac.at.

URL: https://air.uniud.it/handle/11390/1262824.

We continue the study of the Galvin property from Benhamou, Garti, and Shelah (2023, Proceedings of the American Mathematical Society 151, 1301–1309) and Benhamou (2023, Saturation properties in canonical inner models, submitted). In particular, we deepen the connection between certain diamond-like principles and non-Galvin ultrafilters. We also show that any Dodd sound non p-point ultrafilter is non-Galvin. We use these ideas to formulate what appears to be the optimal large cardinal hypothesis implying the existence of a non-Galvin ultrafilter, improving on a result from Benhamou and Dobrinen (2023, Journal of Symbolic Logic, 1–34). Finally, we use a strengthening of the Ultrapower Axiom to prove that in all the known canonical inner models, a $\kappa $-complete ultrafilter has the Galvin property if and only if it is an iterated sum of p-points.

Let M be a short extender mouse. We prove that if $E\in M$ and $M\models $“E is a countably complete short extender whose support is a cardinal $\theta $ and $\mathcal {H}_\theta \subseteq \mathrm {Ult}(V,E)$”, then E is in the extender sequence $\mathbb {E}^M$ of M. We also prove other related facts, and use them to establish that if $\kappa $ is an uncountable cardinal of M and $\kappa ^{+M}$ exists in M then $(\mathcal {H}_{\kappa ^+})^M$ satisfies the Axiom of Global Choice. We prove that if M satisfies the Power Set Axiom then $\mathbb {E}^M$ is definable over the universe of M from the parameter $X=\mathbb {E}^M\!\upharpoonright \!\aleph _1^M$, and M satisfies “Every set is $\mathrm {OD}_{\{X\}}$”. We also prove various local versions of this fact in which M has a largest cardinal, and a version for generic extensions of M. As a consequence, for example, the minimal proper class mouse with a Woodin limit of Woodin cardinals models “$V=\mathrm {HOD}$”. This adapts to many other similar examples. We also describe a simplified approach to Mitchell–Steel fine structure, which does away with the parameters $u_n$.

A short core model induction proof of $\mathsf {AD}^{L(\mathbb {R})}$ from $\mathsf {TD} + \mathsf {DC}_{\mathbb {R}}$.

We construct divergent models of $\mathsf {AD}^+$ along with the failure of the Continuum Hypothesis ($\mathsf {CH}$) under various assumptions. Divergent models of $\mathsf {AD}^+$ play an important role in descriptive inner model theory; all known analyses of HOD in $\mathsf {AD}^+$ models (without extra iterability assumptions) are carried out in the region below the existence of divergent models of $\mathsf {AD}^+$. Our results are the first step toward resolving various open questions concerning the length of definable prewellorderings of the reals and principles implying $\neg \mathsf {CH}$, like $\mathsf {MM}$, that divergent models shed light on, see Question 5.1.

There is a balance between the amount of (weak) indestructibility one can have and the amount of strong cardinals. It’s consistent relative to large cardinals to have lots of strong cardinals and all of their degrees of strength are weakly indestructible. But this necessitates the destructibility of the partially strong cardinals. Guaranteeing the indestructibility of the partially strong cardinals is shown to be harder. In particular, this work establishes an equiconsistency between:

1. 1. a proper class of cardinals that are strong reflecting strongs; and

2. 2. weak indestructibility for (κ+2)-strength for all cardinals κ in the presence of a proper class of strong cardinals.

1. 3. weak indestructibility for all degrees of strength for a proper class of strong cardinals.

One direction of the equiconsistency of (1) and (2) is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed, and similar results are derived for supercompacts and supercompacts reflecting supercompacts.

Abstract prepared by James Holland.

E-mail: jch258@scarletmail.rutgers.edu

URL: https://sites.math.rutgers.edu/~jch258/assets/dis.pdf

Given an uncountable cardinal $\kappa $, we consider the question of whether subsets of the power set of $\kappa $ that are usually constructed with the help of the axiom of choice are definable by $\Sigma _1$-formulas that only use the cardinal $\kappa $ and sets of hereditary cardinality less than $\kappa $ as parameters. For limits of measurable cardinals, we prove a perfect set theorem for sets definable in this way and use it to generalize two classical nondefinability results to higher cardinals. First, we show that a classical result of Mathias on the complexity of maximal almost disjoint families of sets of natural numbers can be generalized to measurable limits of measurables. Second, we prove that for a limit of countably many measurable cardinals, the existence of a simply definable well-ordering of subsets of $\kappa $ of length at least $\kappa ^+$ implies the existence of a projective well-ordering of the reals. In addition, we determine the exact consistency strength of the nonexistence of $\Sigma _1$-definitions of certain objects at singular strong limit cardinals. Finally, we show that both large cardinal assumptions and forcing axioms cause analogs of these statements to hold at the first uncountable cardinal $\omega _1$.

We establish an equiconsistency between (1) weak indestructibility for all $\kappa +2$-degrees of strength for cardinals $\kappa $ in the presence of a proper class of strong cardinals, and (2) a proper class of cardinals that are strong reflecting strongs. We in fact get weak indestructibility for degrees of strength far beyond $\kappa +2$, well beyond the next inaccessible limit of measurables (of the ground model). One direction is proven using forcing and the other using core model techniques from inner model theory. Additionally, connections between weak indestructibility and the reflection properties associated with Woodin cardinals are discussed. This work is a part of my upcoming thesis [7].

We show that under $\mathsf {BMM}$ and “there exists a Woodin cardinal,$"$ the nonstationary ideal on $\omega _1$ cannot be defined by a $\Pi _1$ formula with parameter $A \subset \omega _1$. We show that the same conclusion holds under the assumption of Woodin’s $(\ast )$-axiom. We further show that there are universes where $\mathsf {BPFA}$ holds and $\text {NS}_{\omega _1}$ is $\Pi _1(\{\omega _1\})$-definable. Lastly we show that if the canonical inner model with one Woodin cardinal $M_1$ exists, there is a generic extension of $M_1$ in which $\text {NS}_{\omega _1}$ is saturated and $\Pi _1(\{ \omega _1\} )$-definable, and $\mathsf {MA_{\omega _1}}$ holds.

The stable core, an inner model of the form $\langle L[S],\in , S\rangle $ for a simply definable predicate S, was introduced by the first author in [8], where he showed that V is a class forcing extension of its stable core. We study the structural properties of the stable core and its interactions with large cardinals. We show that the $\operatorname {GCH} $ can fail at all regular cardinals in the stable core, that the stable core can have a discrete proper class of measurable cardinals, but that measurable cardinals need not be downward absolute to the stable core. Moreover, we show that, if large cardinals exist in V, then the stable core has inner models with a proper class of measurable limits of measurables, with a proper class of measurable limits of measurable limits of measurables, and so forth. We show this by providing a characterization of natural inner models $L[C_1, \dots , C_n]$ for specially nested class clubs $C_1, \dots , C_n$, like those arising in the stable core, generalizing recent results of Welch [29].

We prove several consistency results concerning the notion of $\omega $ -strongly measurable cardinal in $\operatorname {\mathrm {HOD}}$ . In particular, we show that is it consistent, relative to a large cardinal hypothesis weaker than $o(\kappa ) = \kappa $ , that every successor of a regular cardinal is $\omega $ -strongly measurable in $\operatorname {\mathrm {HOD}}$ .

We put in print a classical result that states that for most purposes, there is no harm in assuming the existence of saturated models in model theory. The presentation is aimed for model theorists with only basic knowledge of axiomatic set theory.

We investigate iterating the construction of $C^{*}$, the L-like inner model constructed using first order logic augmented with the “cofinality $\omega $” quantifier. We first show that $\left (C^{*}\right )^{C^{*}}=C^{*}\ne L$ is equiconsistent with $\mathrm {ZFC}$, as well as having finite strictly decreasing sequences of iterated $C^{*}$s. We then show that in models of the form $L[U]$ we get infinite decreasing sequences of length $\omega $, and that an inner model with a measurable cardinal is required for that.

We show that in many extender models, e.g., the minimal one with infinitely many Woodin cardinals or the minimal with a Woodin cardinal that is a limit of Woodin cardinals, there are no generic embeddings with critical point $\omega _1$ that resemble the stationary tower at the second Woodin cardinal. The meaning of “resemble” is made precise in the paper (see Definition 0.3).

We show that after forcing with a countable support iteration or a finite product of Sacks or splitting forcing over L, every analytic hypergraph on a Polish space admits a $\mathbf {\Delta }^1_2$ maximal independent set. This extends an earlier result by Schrittesser (see [25]). As a main application we get the consistency of $\mathfrak {r} = \mathfrak {u} = \mathfrak {i} = \omega _2$ together with the existence of a $\Delta ^1_2$ ultrafilter, a $\Pi ^1_1$ maximal independent family, and a $\Delta ^1_2$ Hamel basis. This solves open problems of Brendle, Fischer, and Khomskii [5] and the author [23]. We also show in ZFC that $\mathfrak {d} \leq \mathfrak {i}_{cl}$ , addressing another question from [5].

In providing a good foundation for mathematics, set theorists often aim to develop the strongest theories possible and avoid those theories that place undue restrictions on the capacity to possess strength. For example, adding a measurable cardinal to $ZFC$ is thought to give a stronger theory than adding $V=L$ and the latter is thought to be more restrictive than the former. The two main proponents of this style of account are Penelope Maddy and John Steel. In this paper, I’ll offer a third account that is intended to provide a simple analysis of restrictiveness based on the algebraic concept of retraction in the category of theories. I will also deliver some results and arguments that suggest some plausible alternative approaches to analyzing restrictiveness do not live up to their intuitive motivation.

Let P be a forcing notion and $G\subseteq P$ its generic subset. Suppose that we have in $V[G]$ a $\kappa{-}$ complete ultrafilter1 , 2 W over $\kappa $ . Set $U=W\cap V$ .

We investigate the mathematics of a model of the human mind which has been proposed by the psychologist Jens Mammen. Mathematical realizations of this model consists of what the first author (A.T.) has called Mammen spaces, where a Mammen space is a triple $(U,\mathcal S,\mathcal C)$, where U is a non-empty set (“the universe”), $\mathcal S$ is a perfect Hausdorff topology on U, and $\mathcal C\subseteq \mathcal P(U)$ together with $\mathcal S$ satisfy certain axioms.

We refute a conjecture put forward by Hoffmann-Jørgensen, who conjectured that the existence of a “complete” Mammen space implies the Axiom of Choice, by showing that in the first Cohen model, in which ZF holds but AC fails, there is a complete Mammen space. We obtain this by proving that in the first Cohen model, every perfect topology can be extended to a maximal perfect topology.

On the other hand, we also show that if all sets are Lebesgue measurable, or all sets are Baire measurable, then there are no complete Mammen spaces with a countable universe.

Further, we investigate two new cardinal invariants $\mathfrak u_{M}$ and $\mathfrak u_{T}$ associated with complete Mammen spaces and maximal perfect topologies, and establish some basic inequalities that are provable in ZFC. Then we show $\mathfrak u_{M}=\mathfrak u_{T}=2^{\aleph _{0}}$ follows from Martin’s Axiom, and, contrastingly, we show that $\aleph _{1}=\mathfrak u_{M}=\mathfrak u_{T}<2^{\aleph _{0}}=\aleph _{2}$ in the Baumgartner–Laver model.

Finally, consequences for psychology are discussed.

In this paper, we give an axiomatization of the ordinal number system, in the style of Dedekind’s axiomatization of the natural number system. The latter is based on a structure $(N,0,s)$ consisting of a set N, a distinguished element $0\in N$ and a function $s\colon N\to N$ . The structure in our axiomatization is a triple $(O,L,s)$ , where O is a class, L is a class function defined on all s-closed ‘subsets’ of O, and s is a class function $s\colon O\to O$ . In fact, we develop the theory relative to a Grothendieck-style universe (minus the power set axiom), as a way of bringing the natural and the ordinal cases under one framework. We also establish a universal property for the ordinal number system, analogous to the well-known universal property for the natural number system.