Related papers: Generic Absoluteness Revisited
We consider the higher-order gravity theory derived from the quadratic lagrangian $R+\epsilon R^2$ in vacuum as a first-order (ADM-type) system with constraints, and build time developments of solutions of an initial value formulation of…
Let $M$ be a closed manifold and $L$ an exact magnetic Lagrangian. In this paper we proved that there exists a residual $\mathcal{G}$ of $H^{1}\left( M;\mathbb{R}\right)$ such that the property: \begin{equation*}…
The Gap Forcing Theorem, a key contribution of this paper, implies essentially that after any reverse Easton iteration of closed forcing, such as the Laver preparation, every supercompactness measure on a supercompact cardinal extends a…
It is known that the assumption that ``GCH first fails at \aleph_{\omega}'' leads to large cardinals in ZFC. Gitik and Koepke have demonstrated that this is not so in ZF: namely there is a generic cardinal-preserving extension of L (or any…
We recently formulated a new large-cardinal axiom of strength intermediate between a totally indescribable cardinal and an $\omega$-Erd\H{o}s cardinal, positing the existence of what we called an "extremely reflective cardinal", and we…
We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$. This answers a question from the 1990's and amalgamates two prominent axioms of set theory which were both known to imply that there are $\aleph_2$…
In this paper we study the existence of ground state solution and concentration of maxima for a class of strongly indefinite problem like $$ \left\{\begin{array}{l} -\Delta u+V(x)u=A(\epsilon x)f(u) \quad \mbox{in} \quad \R^{N}, \\ u\in…
We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular…
We establish multiple recurrence results for pretentious measure-preserving multiplicative actions along generalized Pythagorean triples, that is, solutions to the equation $ax^2 + b y^2 = c z^2$. This confirms the ergodic-theoretic form of…
Recently we found that canonical gauge-natural superpotentials are obtained as global sections of the {\em reduced} $(n-2)$-degree and $(2s-1)$-order quotient sheaf on the fibered manifold $\bY_{\zet} \times_{\bX} \mathfrak{K}$, where…
We give a game-theoretic characterization of when a model of an infinitary propositional formula can be added by a proper, semiproper, and stationary-set-preserving poset. In the latter case, we also give a general sufficient condition for…
This paper explores several topics related to Woodin's HOD conjecture. We improve the large cardinal hypothesis of Woodin's HOD dichotomy theorem from an extendible cardinal to a strongly compact cardinal. We show that assuming there is a…
Let S1(Gamma,Gamma) be the statement: For each sequence of point-cofinite open covers, one can pick one element from each cover and obtain a point-cofinite cover. b is the minimal cardinality of a set of reals not satisfying…
Let $M$ be a short extender mouse. We prove that if $E\in M$ and $M$ satisfies "$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…
We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that $\Pi_n$-strong cardinals, and, as a corollary, ``Ord is Woodin" and weak Vop\v{e}nka's Principle, are…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model…
Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…
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…
A well-defined variational principle for gravitational actions typically requires to cancel boundary terms produced by the variation of the bulk action with a suitable set of boundary counterterms. This can be achieved by carefully…