Related papers: Gap Forcing
We consider the forced problem $-\Delta_p u - V(x)|u|^{p-2} u = f(x)$, where $\Delta_p$ is the $p$-Laplacian ($1<p<\infty$) in a domain $\Omega\subset \mathbb{R}^N$, $V\ge 0$ and $Q_V (u) := \int_\Omega |\nabla u|^p\, dx - \int_\Omega…
In the current review, we provide a summary of the recent progress made in the cosmological aspect of extra-dimensional Lovelock gravity. Our review covers a wide variety of particular model/matter source combinations:…
We study single-field slow-roll inflation embedded in Palatini $F(R)$ gravity where $F(R)$ grows faster than $R^2$. Surprisingly, the consistency of the theory requires the Jordan frame inflaton potential to be unbounded from below. Even…
We present collider tests of the recent proposal for weak-scale quantum gravity due to new large compact space dimensions in which only the graviton ($\G$) propagates. We show that the existing high precision LEP-I $Z$-pole data can impose…
In the presence of large extra dimensions, the fundamental Planck scale can be much lower than the apparent four-dimensional Planck scale. In this setup, the weak gravity conjecture implies a much more stringent constraint on the UV cutoff…
We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some…
Theories that attempt to explain cosmic acceleration by modifying gravity typically introduces a long-range scalar force that needs to be screened on small scales. One common screening mechanism is the chameleon, where the scalar force is…
Higher-dimensional theories provide a promising framework for unified extensions of the supersymmetric standard model. Compactifications to four dimensions often lead to U(1) symmetries beyond the standard model gauge group, whose breaking…
A new axiom is proposed, the Ground Axiom, asserting that the universe is not a nontrivial set-forcing extension of any inner model. The Ground Axiom is first-order expressible, and any model of ZFC has a class-forcing extension which…
We show that if \kappa\ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size \kappa\ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^\kappa\…
In a certain strong coupling limit, compactification of the $E_8\times E_8$ heterotic string on a Calabi-Yau manifold $X$ can be described by an eleven-dimensional theory compactified on $X\times \S^1/\Z_2$. In this limit, the usual…
In this note besides two abstract versions of the Vitali Covering Lemma an abstract Hardy-Littlewood Maximal Inequality, generalizing weak type (1,1) maximal function inequality, associated to any outer measure and a family of subsets on a…
Given a complete non-compact Riemannian manifold $(M,g)$ with certain curvature restrictions, we introduce an expansion condition concerning a group of isometries $G$ of $(M,g)$ that characterizes the coerciveness of $G$ in the sense of…
We prove a Poincar\'e, and a general Sobolev type inequalities for functions with compact support defined on a $k$-rectifiable varifold $V$ defined on a complete Riemannian manifold with positive injectivity radius and sectional curvature…
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 [Fri12], where he showed that $V$ is a class forcing extension of its stable core. We study…
In other work we have outlined how, building on ideas of Welch and Roberts, one can motivate believing in the existence of supercompact cardinals. After making this observation we strove to formulate a justification for large-cardinal…
Based on the work of Shelah, Kellner, and T\u{a}nasie (Fund. Math., 166(1-2):109-136, 2000 and Comment. Math. Univ. Carolin., 60(1):61-95, 2019), and the recent developments in the third author's master's thesis, we develop a general theory…
We develop methods for resummation of instanton lattice series. Using these tools, we investigate the consequences of the Weak Gravity Conjecture for large-field axion inflation. We find that the Sublattice Weak Gravity Conjecture implies a…
Superstrong cardinals are never Laver indestructible. Similarly, almost huge cardinals, huge cardinals, superhuge cardinals, rank-into-rank cardinals, extendible cardinals, 1-extendible cardinals, 0-extendible cardinals, weakly superstrong…
This paper presents the main results in my Ph.D. thesis. In what follows several proofs of SCH are presented introducing a family of covering properties which implies both SCH and the failure of various forms of square. These covering…