Related papers: Understanding preservation theorems: Chapter VI of…
We address a class of schemes for the Euler equations with the following features: the space discretization is staggered, possible upwinding is performed with respect to the material velocity only and the internal energy balance is solved,…
In this paper, exponential energy-preserving methods are formulated and analysed for solving charged-particle dynamics in a strong and constant magnetic field. The resulting method can exactly preserve the energy of the dynamics. Moreover,…
We investigate preservation of the Lindel\"of property of topological spaces under forcing extensions. We give sufficient conditions for a forcing notion to preserve several strengthenings of the Lindel\"of property, such as indestructible…
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…
Assuming $\rm PFA$, we shall use internally club $\omega_1$-guessing models as side conditions to show that for every tree $T$ of height $\omega_2$ without cofinal branches, there is a proper and $\aleph_2$-preserving forcing notion with…
We introduce a property of posets which strengthens (\omega_1+1)-strategic closedness. This property is defined using a variation of the Banach-Mazur game on posets, where the first player chooses a countable set of conditions instead of a…
We prove that potential conservation laws have characteristics depending only on local variables if and only if they are induced by local conservation laws. Therefore, characteristics of pure potential conservation laws have to essentially…
We deal with the 3D inviscid Leray-{\alpha} model. The well posedness for this problem is not known; by adding a random perturbation we prove that there exists a unique (in law) global solution. The random forcing term formally preserves…
We explore the implications of the conservation law(s) and the corresponding "continuity equation(s)", resulting from the coupling between the positional and the orientational order in main-chain polymer nematics, by showing that the…
We prove that a wide class of strongly proper forcing posets have quotients with strong properties. Specifically, we prove that quotients of forcing posets which have simple universal strongly generic conditions on a stationary set of…
Gauge invariant conservation laws for the linear and angular momenta are studied in a certain 2+1 dimensional first order dynamical model of vortices in superconductivity. In analogy with fluid vortices it is possible to express the linear…
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…
In this article we focus our attention on the principle of energy conservation within the context of systems of fluid dynamics. We give an overview of results concerning the resolution of the famous Onsager conjecture - which states…
First and second order corrections for the scattering of different types of particles by a weak gravitational field, treated as an external field, are calculated. These computations indicate a violation of the Equivalence Principle: to…
This work focuses on the bearing rigidity theory, namely the branch of knowledge investigating the structural properties necessary for multi-element systems to preserve the inter-units bearings when exposed to deformations. The original…
1 - Introduction 2 - Small-Angle Bhabha Scattering and the Luminosity Measurement 3 - Z^0 Physics 4 - Fits to Precision Data 5 - Physics at LEP2 6 - Conclusions
We investigate the effects of various forcings on several forms of the Halpern-L\"auchli Theorem. For inaccessible $\kappa$, we show they are preserved by forcings of size less than $\kappa$. Combining this with work of Zhang in…
This work extends the Ibragimov's conservation theorem for partial differential equations [{\it J. Math. Anal. Appl. 333 (2007 311-328}] to under determined systems of differential equations. The concepts of adjoint equation and formal…
We consider a class of finite element approximations for fourth-order parabolic equations that can be written as a system of second-order equations by introducing an auxiliary variable. In our approach, we first solve a variational problem…
This paper investigates the expressiveness of a fragment of first-order sentences in Gaifman normal form, namely the positive Boolean combinations of basic local sentences. We show that they match exactly the first-order sentences preserved…