Related papers: Martin's maximum revisited
In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms…
Let $\lambda$ be a limit of Woodin cardinals. It was shown by the second author that the pointclass of ${<\lambda}$-homogeneously Suslin sets has the scale property. We give a new proof of this fact, which avoids the use of stationary tower…
The purpose of this article is to prove that the forcing axiom for completely proper forcings is inconsistent with the Continuum Hypothesis. This answers a longstanding problem of Shelah. The corresponding completely proper forcing which…
We consider two stationary versions of the Eden model, on the upper half planar lattice, resulting in an infinite forest covering the half plane. Under weak assumptions on the weight distribution and by relying on ergodic theorems, we prove…
Extending Mart\'in Escard\'o's effectful forcing technique, we give a new proof of a well-known result: Brouwer's monotone bar theorem holds for any bar that can be realized by a functional of type $(\mathbb{N} \to \mathbb{N}) \to…
We discuss two expressions for the conserved quantities (energy momentum and angular momentum) of the Poincar\'e Gauge Theory. We show, that the variations of the Hamiltonians, of which the expressions are the respective boundary terms, are…
We study methods to obtain the consistency of forcing axioms, and particularly higher forcing axioms. We first force over a model with a supercompact cardinal $\theta>\kappa$ to get the consistency of the forcing axiom for $\kappa$-strongly…
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…
We analyze the extendability of the solutions to a certain second order differential equation on a Riemannian manifold $(M,g)$, which is defined by a general class of forces (both prescribed on $M$ or depending on the velocity). The results…
We prove an iteration theorem which guarantees for a wide class of nice iterations of $\omega_1$-preserving forcings that $\omega_1$ is not collapse, at the price of needing large cardinals to burn as fuel. More precisely, we show that a…
We determine to leading order the maximum of the characteristic polynomial for Wigner matrices and $\beta$-ensembles. In the special case of Gaussian-divisible Wigner matrices, our method provides universality of the maximum up to…
We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and…
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…
In the lecture notes it is shown that an ordinal $\psi_{\Omega}(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\omega+(M\prec_{\Sigma_{1}}V)$. In this note we show that ${\sf…
We find, in close analogy to abelian dominance in maximal abelian gauge, the phenomenon of center dominance in maximal center gauge for $SU(2)$ lattice gauge theory. Maximal center gauge is a gauge-fixing condition that preserves a residual…
The Maximality Principle MP is a scheme which states that if a sentence of the language of ZFC is true in some forcing extension V^P, and remains true in any further forcing extension of V^P, then it is true in all forcing extensions of V.…
Let GCH hold and let $j:V\longrightarrow M$ be a definable elementary embedding such that $crit(j)=\kappa$, $^{\kappa}M\subseteq M$ and $\kappa^{++}=\kappa_{M}^{++}$. H. Woodin proved that there is a cofinality preserving generic extension…
We generalize R. P. Stanley's celebrated theorem that the $h^\ast$-polynomial of the Ehrhart series of a rational polytope has nonnegative coefficients and is monotone under containment of polytopes. We show that these results continue to…
We consider the Hartree equation for infinitely many electrons with a constant external magnetic field. For the system, we show a local well-posedness result when the initial data is the pertubation of a Fermi sea, which is a non-trace…
In the paper we have developed a theory of stability preserving structural transformations of systems of second-order ordinary differential equations (ODEs), i.e., the transformations which preserve the property of Lyapunov stability. The…