Related papers: Martin's maximum revisited
Viewing gravitational energy-momentum $p_G^\mu$ as equal by observation, but different in essence from inertial energy-momentum $p_I^\mu$ naturally leads to the gauge theory of volume-preserving diffeormorphisms of an inner Minkowski space…
Based on Pontryagin Maximum Principle (PMP), this paper establishes a generalized PMP aiming at control system with with extra input/output terms. The paper details the adaptive target and gives a proof of the generalized theorem.…
We study the relationship between Amoeba forcing (the partial order which generically adds a measure one set of random reals) and projective measurability. Given a universe V of set theory and a forcing notion P in V we say that V is…
I prove preservation theorems for countable support iteration of proper forcing concerning certain classes of capacities and submeasures. New examples of forcing notions and connections with measure theory are included.
In this paper, following an idea of Christophe Chalons, I propose a new kind of forcing axiom, the Maximality Principle, which asserts that any sentence phi holding in some forcing extension V^P and all subsequent extensions V^P*Q holds…
We establish an exponential stabilization result for linear port-Hamiltonian systems of first order with quite general, not necessarily continuous, energy densities. In fact, we have only to require the energy density of the system to be of…
The ``Fundamental Theorem" given by Arnold in [2] asserts the persistence of full dimensional invariant tori for 2-scale Hamiltonian systems. However, persistence in multi-scale systems is much more complicated and difficult. In this paper,…
Let $T^*$ be an almost Suslin tree, that is, an Aronszajn tree with no stationary antichains. Krueger introduced a forcing axiom, $\mathrm{PFA}(T^*)$, for the class of proper forcings that preserve that $T^*$ is almost Suslin. He showed…
We show that it is provable in PA that there is an arithmetically definable sequence $\{\phi_{n}:n \in \omega\}$ of $\Pi^{0}_{2}$-sentences, such that - PRA+$\{\phi_{n}:n \in \omega\}$ is $\Pi^{0}_{2}$-sound and $\Pi^{0}_{1}$-complete - the…
Our proof is based on a generalization of action-angle variables, a convergent Lie transformation, and Moser's invariant curve theorem. As an overall outline we give a quick proof of Morris' original theorem. Then the full theorem is…
The Furstenberg-Zimmer structure theorem for $\mathbb{Z}^d$ actions says that every measure-preserving system can be decomposed into a tower of primitive extensions. Furstenberg and Katznelson used this analysis to prove the…
The general expression for the magnetoresistance (MR) due to the Lorentz force is derived by using the Fermi liquid transport theory based on the Kubo formula. The obtained gauge-invariant expression is exact for any strength of the…
We show that the equational theory of the structure $\langle \omega^{\omega}: (x,y)\mapsto x+y, x\mapsto \omega x \rangle $ is finitely axiomatizable and give a simple axiom schema when the domain is the set of transfinite ordinals. We give…
We prove that for a subring $R\subseteq \mathbb Q$ and a free group $F$ of rank at least $2$ the length of the Bousfield's $HR$-localization tower for $F$ is at least $\omega+\omega$. The key ingredient of the proof is the theory of…
This paper integrates two strands of the literature on stability of general state Markov chains: conventional, total variation based results and more recent order-theoretic results. First we introduce a complete metric over Borel…
In this paper, by using monotonicity formulas for vector bundle-valued $p$-forms satisfying the conservation law, we first obtain general $L^2$ global rigidity theorems for locally conformally flat (LCF) manifolds with constant scalar…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
We extend previous work concerning rest-frame partial-wave mixing in Hamiltonian effective field theory to both elongated and moving systems, where two particles are in a periodic elongated cube or have nonzero total momentum, respectively.…
In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. The maximum principle is the property of forcing: p ||- exists x theta(x) iff for some name tau p ||- theta(tau). We also look at three…
We give another bit of evidence that forcing axioms provide proper framework for rigidity of quotient structures, by improving the OCA lifting theorem proved by the author in late 20th century and greatly simplifying its proof. In the…