Related papers: Extender-based Magidor-Radin forcings without top …
We show that that a certain class of semi-proper iterations does not add omega-sequences. As a result, starting from suitable large cardinals one can obtain a model in which the Continuum Hypothesis holds and every function from omega_1 to…
The guiding-center reduction is studied using gyro-gauge-independent coordinates. The Lagrangian 1-form of charged particle dynamics is Lie transformed without introducing a gyro-gauge, but using directly the unit vector of the component of…
We construct a variety of inner models exhibiting features usually obtained by forcing over universes with large cardinals. For example, if there is a supercompact cardinal, then there is an inner model with a Laver indestructible…
We introduce combinatorial principles that characterize strong compactness and supercompactness for inaccessible cardinals but also make sense for successor cardinals. Their consistency is established from what is supposedly optimal.…
We develop a general framework for forcing with coherent adequate sets on $H(\lambda)$ as side conditions, where $\lambda \ge \omega_2$ is a cardinal of uncountable cofinality. We describe a class of forcing posets which we call coherent…
We consider the Schr\"odinger operator on a combinatorial graph consisting of a finite graph and a finite number of discrete half-lines, all jointed together, and compute an asymptotic expansion of its resolvent around the threshold $0$.…
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 is an overview about a method of constructing ccc forcings: Suppose first that a continuous, commutative system of complete embeddings between countable forcings indexed along $\omega_1$ is given. Then its direct limit satisfies ccc by…
In Part I of this series, we introduced a class of notions of forcing which we call Sigma-Prikry, and showed that many of the known Prikry-type notions of forcing that center around singular cardinals of countable cofinality are…
In this paper we propose a new proof of some non-existence results for the nonlinear Klein-Gordon-Maxwell system of equations. The proof is based on the scaling arguments, i.e. special variations of the fields, only. We also apply the…
We derive a lower bound on the location of global extrema of eigenfunctions for a large class of non-local Schr\"odinger operators in convex domains under Dirichlet exterior conditions, featuring the symbol of the kinetic term, the strength…
We use a reverse Easton forcing iteration to obtain a universe with a definable well-ordering, while preserving the GCH and proper classes of a variety of very large cardinals. This is achieved by coding using the principle diamond star at…
We construct explicit solutions for the linearized massive and massless spin-2, vector and scalar modes around the AdS spacetimes in diverse dimensions. These modes may arise in extended (super)gravities with higher curvature terms in…
We construct an expansion in generalized eigenfunctions for Schrodinger operators on metric graphs. We require rather minimal assumptions concerning the graph structure and the boundary conditions at the vertices.
Let $\Gamma$ be a weakly irreducible higher rank lattice. In this paper, we will prove various rigidity results for the $\Gamma$-action following a philosophy of the Zimmer program. We provide new rigidity results including local and global…
In this paper, we show that higher-order optimality conditions can be obtain for arbitrary nonsmooth function. We introduce a new higher-order directional derivative and higher-order subdifferential of Hadamard type of a given proper…
We will prove that there exists a model of ZFC+``c= omega_2'' in which every M subseteq R of cardinality less than continuum c is meager, and such that for every X subseteq R of cardinality c there exists a continuous function f:R-> R with…
We use forcing over admissible sets to show that, for every ordinal $\alpha$ in a club $C\subset\omega_1$, there are copies of $\alpha$ such that the isomorphism between them is not computable in the join of the complete $\Pi^1_1$ set…
In the first part of the manuscript, we establish several consistency results concerning Woodin's $\HOD$ hypothesis and large cardinals around the level of extendibility. First, we prove that the first extendible cardinal can be the first…
We construct an unfolded system for off-shell fields of arbitrary integer spin in 4d anti-de Sitter space. To this end we couple an on-shell system, encoding Fronsdal equations, to external Fronsdal currents for which we find an unfolded…