English
Related papers

Related papers: Understanding preservation theorems: omega-omega b…

200 papers

The paper is a complement to the survey: M.I.Ostrovskii "To\-po\-lo\-gies on the set of all subspaces of a Banach space and related questions of Banach space geometry", Quaestiones Math. (to appear). It contains proofs of some results on…

Functional Analysis · Mathematics 2010-09-07 Mikhail I. Ostrovskii

We show that many countable support iterations of proper forcings preserve Souslin trees. We establish sufficient conditions in terms of games and we draw connections to other preservation properties. We present a proof of preservation…

Logic · Mathematics 2013-09-03 Heike Mildenberger , Saharon Shelah

In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain…

Logic · Mathematics 2015-02-03 Claudia Mureşan

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…

Systems and Control · Computer Science 2021-03-24 Giulia Michieletto , Angelo Cenedese , Daniel Zelazo

We prove that the recently introduced spin Benjamin--Ono equation admits a Lax pair, and we deduce a family of conservation laws which allow to prove global wellposedness in all Sobolev spaces $H^k$ for every integer $k\geq 2$. We also…

Analysis of PDEs · Mathematics 2022-02-17 Patrick Gérard

We prove a theorem on iterated forcing that can be used for preservation of $\aleph_2$ and $\aleph_1$ in iterations with supports of size $\aleph_1$ of forcings that have amalgamation properties similar to those present in the perfect set…

Logic · Mathematics 2026-03-24 Mirna Džamonja

We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…

Logic · Mathematics 2024-01-30 Saharon Shelah

In the classical Lagrangian approach to conservation laws of gauge-natural field theories a suitable (vector) density is known to generate the so--called {\em conserved Noether currents}. It turns out that along any section of the relevant…

Mathematical Physics · Physics 2010-12-03 L. Fatibene , M. Francaviglia , M. Palese

This paper aims to establish the theoretical foundation for shift inclusion in mathematical morphology. In this paper, we prove that the morphological opening and closing concerning structuring elements of shift inclusion property would…

Discrete Mathematics · Computer Science 2020-12-25 Chuan-Shen Hu , Yu-Min Chung

We provide a general preservation theorem for preserving selective independent families along countable support iterations. The theorem gives a general framework for a number of results in the literature concerning models in which the…

Logic · Mathematics 2022-08-23 Vera Fischer , Corey Bacal Switzer

We show a stability-type theorem for foliations on projective spaces which arise as pullbacks of foliations with a split tangent sheaf on weighted projective spaces. As a consequence, we will be able to construct many irreducible components…

Algebraic Geometry · Mathematics 2025-01-14 Javier Gargiulo Acea , Ariel Molinuevo , Federico Quallbrunn , Sebastián Lucas Velazquez

We develop the theory of Schur covers of finite skew braces. We prove the existence of at least one Schur cover. We also compute several examples. We prove that different Schur covers are isoclinic. Finally, we prove that Schur covers have…

Group Theory · Mathematics 2024-02-01 T. Letourmy , L. Vendramin

The purpose of the present paper is to analyze several variants of Solovay's theorem on the existence of doubly partially conservative sentences. First, we investigate $\Theta$ sentences that are doubly $(\Gamma, \Lambda)$-conservative over…

Logic · Mathematics 2025-03-18 Haruka Kogure , Taishi Kurahashi

Content of the lectures is the following. Properties of transformations equivalent to ergodicity. Birkhoff's Theorem. Properties equivalent to weak mixing. On typical properties of transformations. Lego to construct transformations. Typical…

Dynamical Systems · Mathematics 2024-07-31 Valery V. Ryzhikov

There is a gap in the proof of Lemma VII.4 in [Ann. of Math. (2) 145 (1997), 81--137]. We present an alternative proof of Theorem B (C^1 Omega-stable vector fields satisfy Axiom A). The novel and essential part in the proof of the stability…

Dynamical Systems · Mathematics 2016-09-07 Shuhei Hayashi

Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the Levy-Collapse. These show in particular that certain applications of forcing axioms require to add…

Logic · Mathematics 2007-05-23 Bernhard Koenig

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

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á

We give a self-contained proof of the preservation theorem for proper countable support iterations known as "tools-preservation," "Case A" or "first preservation theorem" in the literature. We do not assume that the forcings add reals.

Logic · Mathematics 2015-09-07 Martin Goldstern , Jakob Kellner

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…

General Relativity and Quantum Cosmology · Physics 2017-03-09 Andronikos Paliathanasis , P. G. L. Leach