English
Related papers

Related papers: A stability transfer theorem in d-tame Metric Abst…

200 papers

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular,…

Logic · Mathematics 2013-06-25 Andrés Villaveces , Pedro Zambrano

We introduce tame abstract elementary classes as a generalization of all cases of abstract elementary classes that are known to permit development of stability-like theory. In this paper we explore stability results in this context. We…

Logic · Mathematics 2007-05-23 Rami Grossberg , Monica VanDieren

This paper continues the study of superstability in abstract elementary classes (AECs) satisfying the amalgamation property. In particular, we consider the definition of $\mu$-superstability which is based on the local character…

Logic · Mathematics 2016-05-25 Monica M. VanDieren

Grossberg and VanDieren have started a program to develop a stability theory for tame classes. We prove, for instance, that for tame abstract elementary classes satisfying the amlagamation property and for large enough cardinals kappa,…

Logic · Mathematics 2007-05-23 John Baldwin , David Kueker , Monica VanDieren

We study abstract elementary classes (AECs) that, in $\aleph_0$, have amalgamation, joint embedding, no maximal models and are stable (in terms of the number of orbital types). Assuming a locality property for types, we prove that such…

Logic · Mathematics 2018-05-31 Saharon Shelah , Sebastien Vasey

In this paper, we apply results of \cite{Va3} and use towers to transfer symmetry from $\mu^+$ down to $\mu$ in superstable abstract elementary classes without using extra set-theoretic assumptions or tameness. Theorem. Suppose…

Logic · Mathematics 2015-12-14 Monica VanDieren

We prove that any tame abstract elementary class categorical in a suitable cardinal has an eventually global good frame: a forking-like notion defined on all types of single elements. This gives the first known general construction of a…

Logic · Mathematics 2016-03-11 Sebastien Vasey

We initiate a systematic investigation of the abstract elementary classes that have amalgamation, satisfy tameness (a locality property for orbital types), and are stable (in terms of the number of orbital types) in some cardinal. Assuming…

Logic · Mathematics 2018-11-22 Sebastien Vasey

We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).

Logic · Mathematics 2007-08-15 Saharon Shelah

We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory…

Logic · Mathematics 2022-08-31 Michael Lieberman , Jiri Rosicky , Sebastien Vasey

We define and study a metric independence notion in a homogeneous metric abstract elementary class with perturbations that is $d^p$-superstable (superstable wrt. the perturbation topology), weakly simple and has complete type spaces and we…

Logic · Mathematics 2016-02-22 Åsa Hirvonen , Tapani Hyttinen

In this work, we first prove a stability theorem for traveling waves in a class of non-cooperative reaction-diffusion systems with nonlocal dispersal of equal diffusivities. Our stability criterion is in the sense that the initial…

Analysis of PDEs · Mathematics 2024-05-08 Jong-Shenq Guo , Masahiko Shimojo

We introduce a family of rank functions and related notions of total transcendence for Galois types in abstract elementary classes. We focus, in particular, on abstract elementary classes satisfying the condition know as tameness (currently…

Logic · Mathematics 2016-02-10 Michael Lieberman

Tame abstract elementary classes are a broad nonelementary framework for model theory that encompasses several examples of interest. In recent years, progress toward developing a classification theory for them have been made. Abstract…

Logic · Mathematics 2017-10-27 Will Boney , Sebastien Vasey

Our main result (Theorem 1) suggests a possible dividing line ($\mu$-superstable $+$ $\mu$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of…

Logic · Mathematics 2016-04-29 M. M VanDieren

We study versions of limit models adapted to the context of *metric abstract elementary classes*. Under categoricity and superstability-like assumptions, we generalize some theorems from [GrVaVi]. We prove criteria for existence and…

Logic · Mathematics 2015-04-14 Andrés Villaveces , Pedro Zambrano

Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$,…

Logic · Mathematics 2025-03-25 Omar Leon Sanchez , Shezad Mohamed

In this paper, we examine the locality condition for non-splitting and determine the level of uniqueness of limit models that can be recovered in some stable, but not superstable, abstract elementary classes. In particular we prove (note…

Logic · Mathematics 2024-09-12 Will Boney , Monica M. VanDieren

This paper studies a set-theoretic generalization of Lyapunov and Lagrange stability for abstract systems described by set-valued maps. Lyapunov stability is characterized as the property of inversely mapping filters to filters, Lagrange…

Systems and Control · Electrical Eng. & Systems 2025-07-22 Michelangelo Bin , David Angeli

Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(\mu,\lambda,\kappa)$-frames as candidates for being (in the context of AECs) the…

Logic · Mathematics 2023-05-04 Saharon Shelah
‹ Prev 1 2 3 10 Next ›