Related papers: Periodicity in the cumulative hierarchy
We will consider a number of new large-cardinal properties, the $\alpha$-tremendous cardinals for each limit ordinal $\alpha>0$, the hyper-tremendous cardinals, the $\alpha$-enormous cardinals for each limit ordinal $\alpha>0$, and the…
We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…
For $K$ an abstract elementary class with amalgamation and no maximal models, we show that categoricity in a high-enough cardinal implies structural properties such as the uniqueness of limit models and the existence of good frames. This…
For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…
We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…
Introducing unfoldable cardinals last year, Andres Villaveces ingeniously extended the notion of weak compactness to a larger context, thereby producing a large cardinal notion, unfoldability, with some of the feel and flavor of weak…
We study the {pair correlations between} prime numbers in an interval $M \leq p \leq M + L$ with $M \rightarrow \infty$, $L/M \rightarrow \beta > 0$. By analyzing the \emph{structure factor}, we prove, conditionally on the {Hardy-Littlewood…
Consider an a.e.c. (abstract elementary class), that is, a class K of models with a partial order refining inclusion (submodel) which satisfy the most basic properties of an elementary class. Our test question is trying to show that the…
We present MMbeddings, a probabilistic embedding approach that reinterprets categorical embeddings through the lens of nonlinear mixed models, effectively bridging classical statistical theory with modern deep learning. By treating…
We prove that every continuous function $f:E\to Y$ depends on countably many coordinates, if $E$ is an $(\aleph_1,\aleph_0)$-invariant pseudo-$\aleph_1$-compact subspace of a product of topological spaces and $Y$ is a space with a regular…
We introduce some notions of invariant elementary definability which extend the notions of first-order order-invariant definability, and, more generally, definability invariant with respect to arbitrary numerical relations. In particular,…
Given a rational map of the Riemann sphere and a subset $A$ of its Julia set, we study the $A$-exceptional set, that is, the set of points whose orbit does not accumulate at $A$. We prove that if the topological entropy of $A$ is less than…
The perturbation expansion for a general class of many-fermion systems with a non-nested, non-spherical Fermi surface is renormalized to all orders. In the limit as the infrared cutoff is removed, the counterterms converge to a finite limit…
Assume $\mathsf{ZF}+\mathsf{AD}+V=L(\mathbb{R})$ and let $\kappa<\Theta$ be an uncountable cardinal. We show that $\kappa$ is J\'onsson, and that if $\mathrm{cof}(\kappa)=\omega$ then $\kappa$ is Rowbottom. We also establish some other…
Let $G$ be a group hyperbolic relative to a collection of subgroups $\{H_\lambda ,\lambda \in \Lambda \} $. We say that a subgroup $Q\le G$ is hyperbolically embedded into $G$, if $G$ is hyperbolic relative to $\{H_\lambda ,\lambda \in…
Given an $\alpha > 1$ and a $\theta$ with unbounded continued fraction entries, we characterise new relations between Sturmian subshifts with slope $\theta$ with respect to (i) an $\alpha$-H\"oder regularity condition of a spectral metric,…
Assuming that $GCH$ holds and $\kappa$ is $\kappa^{+3}$-supercompact, we construct a generic extension $W$ of $V$ in which $\kappa$ remains strongly inaccessible and $(\alpha^+)^{HOD} < \alpha^+$ for every infinite cardinal $\alpha <…
This article explores the model-dependent nature of set cardinality, emphasizing that cardinality is not absolute but varies across different axiomatic frameworks. Although Cantor's diagonal argument shows the real numbers are…
This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's…
Let $\mathbb{D}$ denote the unit disk of $\mathbb{C}$ and let $\Lambda^\alpha(\mathbb{D})$ denote the scale of holomorphic Lipschitz spaces extended to all $\alpha\in\mathbb{R}$. For arbitrary $\alpha, \beta\in\mathbb{R}$, we characterize…