English
Related papers

Related papers: Understanding Preservation Theorems, II

200 papers

The purpose of this paper is to show stability of order preserving/reversing transforms on the class of non-negative convex functions in ${\mathbb R}^n$, and its subclass, the class of non-negative convex functions attaining $0$ at the…

Functional Analysis · Mathematics 2015-10-15 D. I. Florentin , A. Segal

Properties of two classes of generally convex sets in the n-dimentional real Euclidean space, called m-semiconvex and weakly m-semiconvex, 1<=m<n, are investigated in the present work. In particular, it is established that an open set with…

Geometric Topology · Mathematics 2017-11-15 Tetiana Osipchuk

In this paper we construct consistent examples of subgroups of $2^\omega$ with Menger remainders which fail to have other stronger combinatorial covering properties. This answers several open questions asked by Bella, Tokgoz and Zdomskyy…

Logic · Mathematics 2023-12-12 Giovanni Molica Bisci , Dušan Repovš , Lyubomyr Zdomskyy

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

New version of my 1998 article. The method of proof of the main results follows the original, but there are many simplifications/streamlining of arguments, especially Lemma 3.6 (new Lemma 3.7). Fixed small error in proof of lower bound for…

Number Theory · Mathematics 2013-07-16 Kevin Ford

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 present the classical theory of preservation of $\sqsubset$-unbounded families in generic extensions by ccc posets, where $\sqsubset$ is a definable relation of certain type on spaces of real numbers, typically associated with some…

Logic · Mathematics 2015-01-16 Diego Alejandro Mejía

We examine the validity of the principle of mass conservation for solutions of some typical equations in the theory of nonlinear diffusion, including equations in standard differential form and also their fractional counterparts. In Part 1,…

Analysis of PDEs · Mathematics 2025-12-24 Juan Luis Vázquez

In this short note, we shall prove some observations regarding the connection between indestructible $\omega_1$-guessing models and the $\omega_1$-approximation property of forcing notions.

Logic · Mathematics 2022-02-18 Rahman Mohammadpour

Evolutionary forms, as well as exterior forms, are skew-symmetric differential forms. But in contrast to the exterior forms, the basis of evolutionary forms is deforming manifolds (with unclosed metric forms). Such forms possess a…

Differential Geometry · Mathematics 2007-05-23 L. I. Petrova

This paper continues the author's previous study \cite{Kura20}, showing that several weak principles inspired by non-normal modal logic suffice to derive various refined forms of the second incompleteness theorem. Among the main results of…

Logic · Mathematics 2025-08-12 Taishi Kurahashi

In this article, we prove some subsets of the set of natural numbers $\mathbb{N}$ and any non-zero ideals of an order of imaginary quadratic fields are fractionally dense in $\mathbb{R}_{>0}$ and $\mathbb{C}$ respectively.

Number Theory · Mathematics 2018-10-02 Jaitra Chattopadhyay , Bidisha Roy , Subha Sarkar

We introduce a formulation of the initial and boundary value problem for nonlinear hyperbolic conservation laws posed on a differential manifold endowed with a volume form, possibly with a boundary; in particular, this includes the…

Analysis of PDEs · Mathematics 2008-08-22 Philippe G. LeFloch , Baver Okutmustur

We define and investigate versions of Silver and Mathias forcing with respect to lower and upper density. We focus on properness, Axiom A, chain conditions, preservation of cardinals and adding Cohen reals. We find rough forcings that…

Logic · Mathematics 2021-02-12 Giorgio Laguzzi , Heike Mildenberger , Brendan Stuber-Rousselle

We investigate the question of how the knowledge of sufficiently many local conservation laws for a model can be utilized to solve the model. We show that for models where the conservation laws can be written in one-sided forms, like…

High Energy Physics - Theory · Physics 2016-08-15 Erling G. B. Hohler , Kåre Olaussen

The purpose of this paper is to deal with the issue of well-posedness for a class of non-Newtonian fluid dynamics equations. These sets of equations are commonly used to describe various complex models that appear in nature, industry, and…

Analysis of PDEs · Mathematics 2022-02-09 Bilal Al Taki

This paper extends, to a class of systems of semi-linear hyperbolic second order PDEs in three variables, the geometric study of a single nonlinear hyperbolic PDE in the plane as presented in [Anderson I.M., Kamran N., Duke Math. J. 87…

Differential Geometry · Mathematics 2018-09-11 Sara Froehlich

We investigate weak$^*$ derived sets, that is the sets of weak$^*$ limits of bounded nets, of convex subsets of duals of non-reflexive Banach spaces and their possible iterations. We prove that a dual space of any non-reflexive Banach space…

Functional Analysis · Mathematics 2021-11-29 Zdeněk Silber

We investigate a model-theoretic property that generalizes the classical notion of "preservation under substructures". We call this property \emph{preservation under substructures modulo bounded cores}, and present a syntactic…

Logic in Computer Science · Computer Science 2012-07-13 Abhisekh Sankaran , Bharat Adsul , Vivek Madan , Pritish Kamath , Supratik Chakraborty

We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…

Logic · Mathematics 2021-06-21 Ali Enayat