Related papers: Understanding preservation theorems: Chapter VI of…
Conservation laws of the nonlinear Schr\"{o}dinger equation are studied in the presence of higher-order nonlinear optical effects including the third-order dispersion and the self-steepening. In a context of group theory, we derive a…
We obtain a relatively simple criterion for when a forcing has the ${<}\,\delta$-approximation property, generalizing a result of Unger. Afterwards we apply this criterion to construct variants of Mitchell Forcing in order to answer…
In this paper, we study the problem of energy conservation for the solutions to the incompressible viscoelastic flows. First, we consider Leray-Hopf weak solutions in the bounded Lipschitz domain $\Omega$ in $\mathbb{R}^d\,\, (d\geq 2)$. We…
The separation between two theorems in reverse mathematics is usually done by constructing a Turing ideal satisfying a theorem P and avoiding the solutions to a fixed instance of a theorem Q. Lerman, Solomon and Towsner introduced a forcing…
Notes for the upcoming Workshop on Symplectic Field Theory IX, Polyfolds for SFT. These notes are essentially the first few chapters of a forthcoming book entitled "Polyfold Constructions: Tools, Techniques, and Functors"
Some early chapters of the upcoming book "Polyfold Constructions: Tools, Techniques, and Functors"
A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal…
Predicting when a chaotic trajectory will switch between the lobes of the Lorenz attractor is a long-standing challenge in nonlinear dynamics. This work shows that algebraic conservation laws, constructed by augmenting phase space with…
Generalizing the proof for Sacks forcing, we show that the $h$-perfect tree forcing notions introduced by Goldstern, Judah and Shelah preserve selective independent families even when iterated. As a result we obtain new proofs of the…
Ertel's potential vorticity theorem is essentially a clever combination of two conservation principles. The result is a conserved scalar $q$ that accurately reflects possible vorticity values that fluid parcels can possess and acts as a…
This is an expository paper about several sophisticated forcing techniques closely related to standard finite support iterations of ccc partial orders. We focus on the four topics of ultrapowers of forcing notions, iterations along…
By use of a natural map introduced recently by the first and third authors from the space of pure-type complex differential forms on a complex manifold to the corresponding one on the small differentiable deformation of this manifold, we…
The purpose of this paper is to present some results which suggest that the Singular Cardinals Hypothesis follows from the Proper Forcing Axiom. What will be proved is that a form of simultaneous reflection follows from the Set Mapping…
We systematically study conservation theorems on theories of semi-classical arithmetic, which lie in-between classical arithmetic $\mathsf{PA}$ and intuitionistic arithmetic $\mathsf{HA}$. Using a generalized negative translation, we first…
The objective of this paper is, in the main, twofold: Firstly, to develop an algebraic setting for dealing with Bell polynomials and related extensions. Secondly, based on the author's previous work on multivariate Stirling polynomials…
Using the theory of almost conserved energies and the ``I-method'' developed by Colliander, Keel, Staffilani, Takaoka and Tao, we prove that the initial value problem for a higher order Schr\"odinger equation is globally well-posed in…
The Szekeres system is studied with two methods for the determination of conservation laws. Specifically we apply the theory of group invariant transformations and the method of singularity analysis. We show that the Szekeres system admits…
We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.
Preservation theorems provide a direct correspondence between the syntactic structure of first-order sentences and the closure properties of their respective classes of models. A line of work has explored preservation theorems relativised…
In this paper, we introduce a family of topological spaces that captures the existence of preservation theorems. The structure of those spaces allows us to study the relativisation of preservation theorems under suitable definitions of…