English
Related papers

Related papers: Stable formulas in ordered structures

200 papers

We show some basic facts about dp-minimal ordered structures. The main results are : dp-minimal groups are abelian-by-finite-exponent, in a divisible ordered dp-minimal group, any infinite set has non-empty interior, and any theory of pure…

Logic · Mathematics 2009-09-24 P. Simon

In this paper, we present formula solutions of a family of difference equations of higher order. We discuss the periodic nature of the solutions and we investigate the stability character of the equilibrium points. We utilize Lie symmetry…

Dynamical Systems · Mathematics 2023-03-28 Mensah Folly-Gbetoula

In this paper we expound some basic ideas of proof theory for theories of ordinals such that there are many stable ordinals below the ordinals.

Logic · Mathematics 2011-04-12 Toshiyasu Arai

We prove some new results regarding the boundedness, stability and attractivity of the solutions of a class of initial-boundary-value problems characterized by a quasi-linear third order equation which may contain time-dependent…

Mathematical Physics · Physics 2012-09-28 Armando D'Anna , Gaetano Fiore

In this paper, we prove several fixed point theorems on both of normal partially ordered Banach spaces and regular partially ordered Banach spaces by using the normality, regularity, full regularity, and chain -complete property. Then, by…

Functional Analysis · Mathematics 2017-06-22 Jinlu Li

We study delay-independent stability in nonlinear models with a distributed delay which have a positive equilibrium. Such models frequently occur in population dynamics and other applications. In particular, we construct a relevant…

Dynamical Systems · Mathematics 2009-01-12 Elena Braverman , Sergey Zhukovskiy

In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable…

Logic · Mathematics 2015-08-19 M. Malliaris , S. Shelah

We consider strong expansions of the theory of ordered abelian groups. We show that the assumption of strength has a multitude of desirable consequences for the structure of definable sets in such theories, in particular as relates to…

Logic · Mathematics 2016-05-12 Alfred Dolich , John Goodrick

We study closed, connected, spin 4-manifolds up to stabilisation by connected sums with copies of $S^2 \times S^2$. For a fixed fundamental group, there are primary, secondary and tertiary obstructions, which together with the signature…

Geometric Topology · Mathematics 2024-06-07 Daniel Kasprowski , Mark Powell , Peter Teichner

We prove fixed point theorems in a space with a distance function that takes values in a partially ordered monoid. On the one hand, such an approach allows one to generalize some fixed point theorems in a broad class of spaces, including…

Functional Analysis · Mathematics 2026-03-24 Vladyslav Babenko , Vira Babenko , Oleg Kovalenko

For simple theories with a strong version of amalgamation we obtain the canonical hyperdefinable group from the group configuration. This provides a generalization to simple theories of the group configuration theorem for stable theories.

Logic · Mathematics 2007-05-23 Tristram De Piro , Byunghan Kim , Jessica Millar

Flexibility and rigidity properties of steady (time-independent) solutions of the Euler, Boussinesq and Magnetohydrostatic equations are investigated. Specifically, certain Liouville-type theorems are established which show that suitable…

Analysis of PDEs · Mathematics 2021-03-31 Peter Constantin , Theodore D. Drivas , Daniel Ginsberg

We introduce ordered and unordered configuration spaces of 'clusters' of points in an Euclidean space $\mathbb{R}^d$, where points in each cluster satisfy a 'verticality' condition, depending on a decomposition $d=p+q$. We compute the…

Algebraic Topology · Mathematics 2022-05-03 Andrea Bianchi , Florian Kranhold

We consider here operators which are sum of (possibly) fractional derivatives, with (possibly different) order. The main constructive assumption is that the operator is of order~$2$ in one variable. By constructing an explicit barrier, we…

Analysis of PDEs · Mathematics 2016-09-22 Alberto Farina , Enrico Valdinoci

The paper deals with $\Sigma-$composition and $\Sigma$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids…

Rings and Algebras · Mathematics 2014-11-04 Sl. Shtrakov , J. Koppitz

We describe the notion of stability of coherent systems as a framework to deal with redundancy. We define stable coherent systems and show how this notion can help the design of reliable systems. We demonstrate that the reliability of…

Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard…

Logic · Mathematics 2025-10-27 Silvia Barbina , Riccardo Camerlo , Domenico Zambella

In this article we aim to develop from first principles a theory of sum sets and partial sum sets, which are defined analogously to difference sets and partial difference sets. We obtain non-existence results and characterisations. In…

Combinatorics · Mathematics 2012-06-26 Robert S. Coulter , Todd Gutekunst

Fixed points represent equilibrium states, stability, and solutions to a range of problems. It has been an active field of research. In this paper, we provide an overview of the main branches of fixed point theory. We discuss the key…

History and Overview · Mathematics 2023-09-08 Firuz Kamalov , Ho Hon Leung

Nonlinear field theories produce unstable but long-lived configurations known as oscillons. These structures have been studied with asymmetric and symmetric double-well potentials and extended to other forms of potentials. In the present…

General Relativity and Quantum Cosmology · Physics 2022-07-13 T. S. Mendonça , H. P. de Oliveira