English
Related papers

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

200 papers

We prove that every MAD family can be destroyed by a proper forcing that preserves $P$-points. With this result, we prove that it is consistent that $\omega_{1}=\mathfrak{u}<\mathfrak{a,}$ solving a nearly 20 year old problem of Shelah and…

Logic · Mathematics 2021-06-08 Osvaldo Guzman , Damjan Kalajdzievski

We introduce a notion of weak definability of first order structures, show that various classification-theoretic properties are or are not preserved under it, and that the properties which are preserved can also be characterized in terms of…

Logic · Mathematics 2026-05-13 Erik Walsberg

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…

Fluid Dynamics · Physics 2021-10-22 Christian E. Buckingham

We prove several extensions of the Erdos-Fuchs theorem.

Number Theory · Mathematics 2016-08-31 Li-Xia Dai , Hao Pan

Sheaves of structures are useful to give constructions in universal algebra and model theory. We can describe their logical behavior in terms of Heyting-valued structures. In this paper, we first provide a systematic treatment of sheaves of…

Logic · Mathematics 2021-12-15 Hisashi Aratake

We consider the scalar conservation law with stochastic forcing $$ \partial_t u +\mathrm{div}_g {\mathfrak f}(\mx,u)= \Phi(\mx,u) dW, \ \ {\bf x} \in M, \ \ t\geq 0 $$ on a smooth compact Riemannian manifold $(M,g)$ where $W$ is the Wiener…

Analysis of PDEs · Mathematics 2018-12-11 Nikola Konatar , Darko Mitrovic , Eduard Nigsch

We show that it is consistent with MA + the negation of CH, that the Forcing Axiom fails for all forcing notions in the class of omega^omega-bounding forcing notions with norms of "Norms on possibilities I: forcing with trees and…

Logic · Mathematics 2013-01-04 Tomek Bartoszynski , Andrzej Roslanowski

We present extensions of rigidity estimates and of Korn's inequality to the setting of (mixed) variable exponents growth. The proof techniques, based on a classical covering argument, rely on the log-H\"older continuity of the exponent to…

Analysis of PDEs · Mathematics 2025-10-06 Stefano Almi , Maicol Caponi , Manuel Friedrich , Francesco Solombrino

In this paper, we investigate the conservation laws of different type of particles in theories with a universal gravity/matter coupling. The result brings new insights about previous studies on universal gravity/matter theories. Especially,…

General Relativity and Quantum Cosmology · Physics 2013-09-03 Olivier Minazzoli

We investigate properties of trees of height $\omega_1$ and their preservation under subcomplete forcing. We show that subcomplete forcing cannot add a new branch to an $\omega_1$-tree. We introduce fragments of subcompleteness which are…

Logic · Mathematics 2018-02-06 Gunter Fuchs , Kaethe Minden

In this talk, we describe the effects of extended fermion sectors, respecting custodial symmetry, on Higgs production and decay. The resulting protection for the Z->b_L b_L and Z->\tau_R \tau_R decays allows for potentially interesting…

High Energy Physics - Phenomenology · Physics 2013-10-16 Adrian Carmona , Florian Goertz

This is a survey paper of Shelah's pcf theory. In this part the theory is developed up to the pcf theorem.

Logic · Mathematics 2016-09-06 Menachem Kojman

I give a pedagogical introduction to the physics of electroweak symmetry breaking and the uses of effective field theory in the context of Higgs physics. Higgs boson production and decay at the LHC and the consistency of the Higgs…

High Energy Physics - Phenomenology · Physics 2018-01-03 S. Dawson

The first version of this paper gave another proof of the Kropholler Conjecture, which gives a relative version of Stallings Ends Theorem, following an earlier incorrect proof. It has been pointed out by Sam Shepherd that the the second…

Group Theory · Mathematics 2023-11-27 M. J. Dunwoody

We investigate a generalization of the {\L}o\'s-Tarski preservation theorem via the semantic notion of \emph{preservation under substructures modulo $k$-sized cores}. It was shown earlier that over arbitrary structures, this semantic notion…

Logic in Computer Science · Computer Science 2014-01-24 Abhisekh Sankaran , Bharat Adsul , Supratik Chakraborty

This article discusses what can be proved about the foundations of mathematics using the notions of algorithm and information. The first part is retrospective, and presents a beautiful antique, Godel's proof, the first modern incompleteness…

History and Overview · Mathematics 2007-05-23 G. J. Chaitin

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…

Analysis of PDEs · Mathematics 2017-08-01 Tomasz Dębiec , Piotr Gwiazda , Agnieszka Świerczewska-Gwiazda

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…

Logic · Mathematics 2019-05-21 Natasha Dobrinen , Dan Hathaway

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…

Soft Condensed Matter · Physics 2017-05-11 D. Svenšek , R. Podgornik

In this paper we continue the analytical study of the sabra shell model of energy turbulent cascade initiated in \cite{CLT05}. We prove the global existence of weak solutions of the inviscid sabra shell model, and show that these solutions…

Fluid Dynamics · Physics 2013-05-29 Peter Constantin , Boris Levant , Edriss S. Titi