English
Related papers

Related papers: Understanding Preservation Theorems, Chapter VI of…

200 papers

Conservation of current and conservation of charge are nearly the same thing: when enough is known about charge movement, conservation of current can be derived from conservation of charge, in ideal dielectrics, for example. Conservation of…

Other Quantitative Biology · Quantitative Biology 2016-10-20 Bob Eisenberg

The Conservation of Energy plays a pivotal part in the development of the physical sciences. With the growth of computation and the study of other discrete token based systems such as the genome, it is useful to ask if there are…

Information Theory · Computer Science 2012-09-25 Les Hatton

In this paper, a novel sixth order energy-conserved method is proposed for solving the three-dimensional time-domain Maxwell's equations. The new scheme preserves five discrete energy conservation laws, three momentum conservation laws,…

Numerical Analysis · Mathematics 2018-02-06 Chaolong Jiang , Wenjun Cai , Yushun Wang , Haochen Li

We prove some iteration theorems for a certain class of $\kappa^+$-cc forcing posets.

Logic · Mathematics 2018-11-14 James Cummings , Mirna Džamonja , Itay Neeman

In this paper we make a detailed analysis of conservation principles in the context of a family of fourth-order gravitational theories generated via a quadratic Lagrangian. In particular, we focus on the associated notion of energy and…

Differential Geometry · Mathematics 2024-05-20 Rodrigo Avalos , Jorge H. Lira , Nicolas Marque

We discuss the (first) Sylow theorem for certain classes of finite skew braces, proving it to hold true when the skew brace is two-sided, bi-skew, right nilpotent, $\lambda$-homomorphic or supersoluble. We also show it to hold true for…

Rings and Algebras · Mathematics 2026-04-22 A. Caranti , I. Del Corso , M. Di Matteo , M. Ferrara , M. Trombetti

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

Logic · Mathematics 2010-12-10 Matteo Viale , Christoph Weiß

We show that the Proper Forcing Axiom for forcing notions of size $\aleph_1$ is consistent with the continuum being arbitrarily large. In fact, assuming $GCH$ holds and $\kappa\geq\omega_2$ is a regular cardinal, we prove that there is a…

Logic · Mathematics 2025-08-26 David Asperó , Mohammad Golshani

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…

Logic · Mathematics 2024-03-19 David Asperó , Sean Cox , Asaf Karagila , Christoph Weiss

In a recent paper, PNAS, 118, e1921529118 (2021), it was argued that while the standard definition of conservation laws in quantum mechanics, which is of a statistical character, is perfectly valid, it misses essential features of nature…

Quantum Physics · Physics 2024-01-26 Yakir Aharonov , Sandu Popescu , Daniel Rohrlich

In the paper the role of conservation laws in evolutionary processes, which proceed in material systems (in material media) and lead to generation of physical fields, is shown using skew-symmetric differential forms. In present paper the…

Mathematical Physics · Physics 2007-05-23 L. I. Petrova

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…

Logic in Computer Science · Computer Science 2024-04-17 Aliaume Lopez

This was supposed to be an appendix to the book "Non-structure", and probably will be if it materializes. It presents relevant material, sometimes new, which was used in works which were supposed to be part of that book. In section 1 we…

Logic · Mathematics 2015-12-16 Saharon Shelah

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…

solv-int · Physics 2009-10-31 Jongbae Kim , Q-Han Park , H. J. Shin

Since being isolated by Viale and Weiss in 2009, the Guessing Model Property has emerged as a particularly prominent and powerful consequence of the Proper Forcing Axiom. In this paper, we investigate connections between variations of the…

Logic · Mathematics 2023-03-03 Chris Lambie-Hanson , Šárka Stejskalová

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…

Logic · Mathematics 2022-03-14 Rahman Mohammadpour

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…

High Energy Physics - Theory · Physics 2009-10-31 N. S. Manton , S. M. Nasir

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…

Logic · Mathematics 2013-10-08 Justin Tatch Moore

We present a version with non-definable forcing notions of Shelah's theory of iterated forcing along a template. Our main result, as an application, is that, if $\kappa$ is a measurable cardinal and $\theta<\kappa<\mu<\lambda$ are…

Logic · Mathematics 2015-06-23 Diego Alejandro Mejía

These notes are extracted from the lectures on forcing axioms and applications held by professor Matteo Viale at the University of Turin in the academic year 2011-2012. Our purpose is to give a brief account on forcing axioms with a special…

Logic · Mathematics 2014-12-25 Giorgio Audrito , Gemma Carotenuto