Related papers: Toward a stability theory of tame abstract element…

We prove, via transfinite recursion, the existence, inside any linearly ordered set of appropriate regular cardinality $\lambda$, of a particular kind of well-ordered subsets characterized by the property of $\lambda$-fullness. Let $H$ be a…

For $M$ $\omega$-categorical and stable, we investigate the growth rate of $M$, i.e. the number of orbits of $Aut(M)$ on $n$-sets, or equivalently the number of $n$-substructures of $M$ after performing quantifier elimination. We show that…

We construct examples of Tonelli Hamiltonians on $\T^n$ (for any $n\geq 2$) such that the hypersurfaces corresponding to the Ma\~n\'e critical value are stable (i.e. geodesible). We also provide a criterion for instability in terms of…

We give a necessary and sufficient condition for strong stability of low dimensional Hamiltonian systems, in terms of the iterates of a closed orbit and the Conley-Zehnder index. Applications to Mathieu equation and stable harmonic…

We study the stability of anyonic models on lattices to perturbations. We establish a cluster expansion for the energy of the perturbed models and use it to study the stability of the models to local perturbations. We show that the spectral…

We deal with the systematic development of stability for the context of approximate elementary submodels of a monster metric space, which is not far, but still very distinct from the first order case. In particular we prove the analogue of…

Classification theory of elementary classes deals with first order (elementary) classes of structures (i.e. fixing a set T of first order sentences, we investigate the class of models of T with the elementary submodel notion). It tries to…

We study the stable behaviour of discrete dynamical systems where the map is convex and monotone with respect to the standard positive cone. The notion of tangential stability for fixed points and periodic points is introduced, which is…

We study uniqueness of limit models in abstract elementary classes (AECs) with no maximal models. We prove (assuming instances of diamonds) that categoricity in a cardinal of the form $\mu^{+(n + 1)}$ implies the uniqueness of limit models…

In this paper we continue an earlier study of ends non-compact manifolds. The over-arching goal is to investigate and obtain generalizations of Siebenmann's famous collaring theorem that may be applied to manifolds having non-stable…

We obtain a characterization of left perfect rings via superstability of the class of flat left modules with pure embeddings. $\mathbf{Theorem.}$ For a ring $R$ the following are equivalent. - $R$ is left perfect. - The class of flat left…

We show that the following two theories are equiconsistent: (T) ZFC, CH and "There is a dense ideal on the first uncountable cardinal such that if j is the generic embedding associated with it then its restriction on ordinals is independent…

A class of graphs is structurally nowhere dense if it can be constructed from a nowhere dense class by a first-order transduction. Structurally nowhere dense classes vastly generalize nowhere dense classes and constitute important examples…

We consider an abstract system of Timoshenko type $$ \begin{cases} \rho_1{{\ddot \varphi}} + a A^{\frac12}(A^{\frac12}\varphi + \psi) =0\\ \rho_2{{\ddot \psi}} + b A \psi + a (A^{\frac12}\varphi + \psi) - \delta A^\gamma {\theta} = 0\\…

This paper is concerned with a class K of models and an abstract notion of submodel <=. Experience in first order model theory has shown the desirability of finding a `monster model' to serve as a universal domain for K. In the original…

For a complete, stable theory $T$ we construct, in a reasonably canonical way, a related stable theory $T^*$ which has higher independent amalgamation properties over the algebraic closure of the empty-set. The theory $T^*$ is an algebraic…

For an $\aleph_1$-categorical atomic class, we clarify the space of types over the unique model of size $\aleph_1$. Using these results, we prove that if such a class has a model of size $\beth_1^+$ then it is $\omega$-stable.

The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…

We study classes of right-angled Coxeter groups with respect to the strong submodel relation of parabolic subgroup. We show that the class of all right-angled Coxeter group is not smooth, and establish some general combinatorial criteria…

We provide here the first steps toward Classification Theory of Abstract Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some lambda greater than its Lowenheim-Skolem…