English
Related papers

Related papers: Understanding Preservation Theorems, Chapter VI of…

200 papers

In this paper, we improve the original Lagrange multiplier approach \cite{ChSh22,ChSh_II22} and introduce a new energy correction approach to construct a class of robust, positivity/bound-preserving, mass conserving and energy dissipative…

Numerical Analysis · Mathematics 2024-11-21 Zexiong Fang , Qing Cheng

Chemotaxis plays a significant role in numerous physiological processes. The Keller-Segel equation serves as a mathematical model for simulating the phenomenon of cell population aggregation under chemotaxis, possessing physical properties…

Numerical Analysis · Mathematics 2025-02-24 Mingmei Chen , Kun Wang , Cong Xie

This paper introduces a novel second-order splitting scheme for charged-particle dynamics in strong magnetic fields characterized by the maximal ordering. The proposed scheme is explicit and symmetric, which respectively ensure the…

Numerical Analysis · Mathematics 2026-04-14 Mengting Hu , Jiyong Li , Bin Wang

We show that the forcing axiom for countably compact, $\omega_2$-Knaster, well-met posets is inconsistent. This is supplemental to an inconsistency result of Shelah and sets a new limit to the generalization of Martin's Axiom to the stage…

Logic · Mathematics 2020-08-05 Stevo Todorčević , Shihao Xiong

We prove a variation of Easton's lemma for strongly proper forcings, and use it to prove that, unlike the stronger principle $\textsf{IGMP}$, $\textsf{GMP}$ together with $2^\omega \le \omega_2$ is consistent with the existence of an…

Logic · Mathematics 2019-02-20 Sean Cox , John Krueger

We extend Noether's theorem to dynamical optimal control systems being under the action of nonconservative forces. A systematic way of calculating conservation laws for nonconservative optimal control problems is given. As a corollary, the…

Optimization and Control · Mathematics 2007-05-23 Gastao S. F. Frederico , Delfim F. M. Torres

An important methodological problem of theoretical mechanics related to inertia is discussed. Analysis Inertia is performed in four-dimensional Minkowski space-time based on the law of conservation of energy-momentum. This approach allows…

General Physics · Physics 2022-04-19 Yurii A. Spirichev

In the heavy quark effective theory, hadronic matrix elements of currents between two hadrons containing a heavy quark are expanded in inverse powers of the heavy quark masses, with coefficients that are functions of the kinematic variable…

High Energy Physics - Phenomenology · Physics 2009-10-22 Adam F. Falk , Matthias Neubert

I discuss recent progress in low-energy tests of symmetries and conservation laws, including parity nonconservation in atoms and nuclei, electric dipole moment tests of time-reversal invariance, beta-decay correlation studies, and decays…

Nuclear Theory · Physics 2010-02-25 W. C. Haxton

We consider some of the various formulations of the Revised GCH Theorem presented in Shelah's original paper \cite{SheRGCH}. We compare them and discuss their meaning.

Logic · Mathematics 2023-08-29 Pierre Matet

We present a critical analysis of the classical approaches to energy subjects, based on the work-energy theorem and the conservation of mechanical energy proposed in the courses of the first years of tertiary education. We show how these…

Physics Education · Physics 2025-10-06 Alvaro Suarez , Daniel Baccino , Arturo C. Marti , Martin Monteiro

Shelah introduced the revised countable support (RCS) iteration to iterate semiproperness. This was an endpoint in the search for an iteration of a weak condition, still implying that aleph1 is preserved. Dieter Donder found a better…

Logic · Mathematics 2009-09-25 Ulrich Fuchs

The present paper has three themes. First, we continue the investigations started in Judah, Roslanowski and Shelah \math.LO/9310224 and Roslanowski and Shelah math.LO/9807172, math.LO/9703222, and we investigate the method of norms on…

Logic · Mathematics 2013-01-04 Andrzej Roslanowski , Saharon Shelah

Was paper 839 in the author's list until winter 2023 when it was divided into three. Part I: We would like to generalize imaginary elements, weight of ortp$(a,M,N), {\mathbf P}$-weight, ${\mathbf P}$-simple types, etc. from [She90, Ch.…

Logic · Mathematics 2023-04-11 Saharon Shelah

We give a new characterization of $SOP$ (the strict order property) in terms of the behaviour of formulas in any model of the theory as opposed to having to look at the behaviour of indiscernible sequences inside saturated ones. We refine a…

Logic · Mathematics 2022-03-23 Karim Khanaki

We give arguments for and prove the consistency of some internal forcing axioms.

Logic · Mathematics 2009-09-25 Garvin Melles

We prove two general results about the preservation of extendible and $C^{(n)}$-extendible cardinals under a wide class of forcing iterations (Theorems 5.4 and 7.5). As applications we give new proofs of the preservation of Vop\v{e}nka's…

Logic · Mathematics 2021-07-16 Bagaria Joan , Poveda Alejandro

Some remarks on the jump condition appearing in Theorems 1.1 and 1.2 in the article [1] and their implications are given.

Analysis of PDEs · Mathematics 2023-07-04 Masaru Ikehata

We investigate forcing properties of perfect tree forcings defined by Prikry to answer a question of Solovay in the late 1960's regarding first failures of distributivity. Given a strictly increasing sequence of regular cardinals $\langle…

Logic · Mathematics 2020-07-16 Natasha Dobrinen , Dan Hathaway , Karel Prikry

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"

Symplectic Geometry · Mathematics 2018-08-16 Joel W. Fish , Helmut Hofer