Related papers: Separating Maximality Principles

There is a well-known global equivalence between \Sigma^1_2 sets having the Universal Baire property, two-step \Sigma^1_3 generic absoluteness, and the closure of the universe under the sharp operation. In this note, we determine the exact…

Forcing axioms are generalizations of Baire category principles that allow one to intersect more dense open sets and to do so in a wider variety of circumstances. In this paper we introduce two new forcing axioms related to posets which…

Let $(M^n,g)$ be a complete Riemannian manifold which is not isometric to $\mathbb{R}^n$, has nonnegative Ricci curvature, Euclidean volume growth, and quadratic Riemann curvature decay. We prove that there exists a set $\mathcal{G}\subset…

This paper is about the influence of Geometry on the qualitative behaviour of solutions of quasilinear PDEs on Riemannian manifolds. Motivated by examples arising, among others, from the theory of submanifolds, in particular by the study of…

Let $X_1,\ldots,X_n$ be an i.i.d. sample from symmetric stable distribution with stability parameter $\alpha$ and scale parameter $\gamma$. Let $\varphi_n$ be the empirical characteristic function. We prove an uniform large deviation…

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…

We prove several results giving lower bounds for the large cardinal strength of a failure of the singular cardinal hypothesis. The main result is the following theorem: Theorem: Suppose $\kappa$ is a singular strong limit cardinal and…

We investigate properties of trees of height $\omega_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $\omega_1$-tree. We introduce fragments of subcompleteness which are…

We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the…

We prove the validity of maximum principles for a class of fully nonlinear operators on unbounded subdomains $\Omega \subset \mathbb R^n$ of cylindrical type. The main structural assumption is the uniform ellipticity of the operator along…

Consider the matrix $\Sigma_n = n^{-1/2} X_n D_n^{1/2} + P_n$ where the matrix $X_n \in \C^{N\times n}$ has Gaussian standard independent elements, $D_n$ is a deterministic diagonal nonnegative matrix, and $P_n$ is a deterministic matrix…

Given a Woodin cardinal $\delta$, I show that if $F$ is any Easton function with $F"\delta\subseteq\delta$ and $\GCH$ holds, then there is a cofinality-preserving forcing extension in which $2^\gamma= F(\gamma)$ for each regular cardinal…

We present a rigidity scenario for complete Riemannian manifolds supporting the Heisenberg-Pauli-Weyl uncertainty principle with the sharp constant in $\mathbb R^n$ (shortly, sharp HPW principle). Our results deeply depend on the curvature…

Several variants of the Halpern-L\"auchli Theorem for trees of uncountable height are investigated. For $\kappa$ weakly compact, we prove that the various statements are all equivalent. We show that the strong tree version holds for one…

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…

Starting with two supercompact cardinals we produce a generic extension of the universe in which a principle that we call ${\rm GM}^+(\omega_3,\omega_1)$ holds. This principle implies ${\rm ISP}(\omega_2)$ and ${\rm ISP}(\omega_3)$, and…

We study the possible number of normal measures on a measurable cardinal in settings where inner model techniques are unavailable. Instead, we exploit consequences of the Ultrapower Axiom to obtain our theorems. We show that the classical…

We continue the development of the theory of construction schemes over $\omega_1$ as introduced by the third author by studying their relation with forcing axioms. Formally, we introduce the cardinals $\mathfrak{m}^n_{\mathcal{F}}$ and use…

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at $\aleph_{\omega_1}$, answering a question of Ben-Neria, Hayut, and Unger: We…

Simultaneous measurements of position and momentum are considered in $n$ dimensions. We find, that for a particle whose position is strictly localized in a compact domain $D\subset \mathbb{R}^n$ (spatial uncertainty) with non-empty…