Related papers: Stable formulas in ordered structures
Formulas for the solutions of initial value problems for ordinary differential equations with singular $\delta^{(n)}$-like driving terms are derived in the framework of an algebra of generalized functions (of Colombeau type) over a field of…
We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological…
The paper deals with two issues: the existence of universal models of a theory T and related properties when cardinal arithmetic does not give this existence offhand. In the first section we prove that simple theories (e.g., theories…
A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…
We study first-order concatenation theory with bounded quantifiers. We give axiomatizations with interesting properties, and we prove some normal-form results. Finally, we prove a number of decidability and undecidability results.
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…
In this work we investigate the existence of solutions, their uniqueness and finally dependence on parameters for solutions of second order neutral nonlinear difference equations. The main tool which we apply is Darbo fixed point theorem.
We consider constrained Horn clause solving from the more general point of view of solving formula equations. Constrained Horn clauses correspond to the subclass of Horn formula equations. We state and prove a fixed-point theorem for Horn…
Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought…
We find classically stable solitons (instantons) in odd (even) dimensional scalar noncommutative field theories whose scalar potential, $V(\ph)$, has at least two minima. These solutions are bubbles of the false vacuum whose size is set by…
We consider several classes of degenerate hyperbolic equations involving delay terms and suitable nonlinearities. The idea is to rewrite the problems in an abstract way and, using semigroup theory and energy method, we study well posedness…
Given a base point free linear system on an algebraic variety, many classes of singularities are stable under taking suitable members after enlarging the base field. We establish analogous results when the base ring is an excellent ring.
Definitions of dense linear orders (with/without endpoints), separable linear orders, complete linear orders, the countable chain condition for linear orders, a Suslin line/Suslin tree and Suslin's problem Statement and proof of Cantor's…
We provide a uniform approach to obtain sufficient criteria for a (higher order) fixed point of a given bracket structure on a manifold to be stable under deformations. Examples of bracket structures include Lie algebroids, Lie…
These expository notes, addressed to non-experts, are intended to present some of Hironaka's ideas on his theorem of resolution of singularities. We focus particularly on those aspects which have played a central role in the constructive…
We derive monotonicity formulae for solutions of the fractional H\'{e}non-Lane-Emden equation \begin{equation*} (-\Delta)^{s} u=|x|^a |u|^{p-1} u \ \ \ \text{in } \ \ \mathbb{R}^n, \end{equation*} when $0<s<2$, $a>0$ and $p>1$. Then, we…
We show that in a stable first-order theory, the failure of higher-dimensional type amalgamation can always be witnessed by algebraic structures which we call n-ary polygroupoids. This generalizes a result of Hrushovski that failures of…
We give a new purely algebraic approach to odd unitary groups using odd form rings. Using these objects, we prove the stability theorems for odd unitary $K_1$-functor without using the corresponding result from linear $K$-theory under the…
A general system of several ordinary differential equations coupled with a reaction-diffusion equation in a bounded domain with zero-flux boundary condition is studied in the context of pattern formation. These initial-boundary value…
The development of a nonlinear structural theory (model) for isotropic linear-elastic finite continua is the main objective of the study. To derive the theory, we used Taylor's multivariable expansion and Bubnov-Galerkin's weak formulation.…