arXiv subjects

Monica M. VanDieren

Publications and source records attributed to Monica M. VanDieren.

8 recordsLinked to original sources

arXiv2024

Limit Models in Strictly Stable Abstract Elementary Classes

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 that no tameness is assumed): Suppose that $\mathcal{K}$ is an abstract elementary class satisfying 1. the joint embedding and amalgamation properties with no maximal model of cardinality $μ$. 2. stability in $μ$. 3. $κ^*_μ(\mathcal{K})<μ^+$. 4. continuity for non-$μ$-splitting (i.e. if $p\in\text{ga-S}(M)$ and $M$ is a limit model witnessed by $\langle M_i\mid i<α\rangle$ for some limit ordinal $α<μ^+$ and there exists $N \prec M_0$ so that $p\restriction M_i$ does not $μ$-split over $N$ for all $i<α$, then $p$ does not $μ$-split over $N$). For $θ$ and $δ$ limit ordinals $<μ^+$ both with cofinality $\geqκ^*_μ(\mathcal{K})$, if $\mathcal{K}$ satisfies symmetry for non-$μ$-splitting (or just $(μ,δ)$-symmetry), then, for any $M_1$ and $M_2$ that are $(μ,θ)$ and $(μ,δ)$-limit models over $M_0$, respectively, we have that $M_1$ and $M_2$ are isomorphic over $M_0$.

math.LO↗

arXiv2017

Shelah-Villaveces revisited

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 $μ^{+(n + 1)}$ implies the uniqueness of limit models of cardinality $μ^{+}, μ^{++}, \ldots, μ^{+n}$. This sheds light on a paper of Shelah and Villaveces, who were the first to consider uniqueness of limit models in this context. We also prove that (again assuming instances of diamonds) in an AEC with no maximal models, tameness (a locality property for types) together with categoricity in a proper class of cardinals imply categoricity on a tail of cardinals. This is the first categoricity transfer theorem in that setup and answers a question of Baldwin.

math.LO↗

arXiv2017

Symmetry in abstract elementary classes with amalgamation

This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes (AECs). An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting (previously isolated by the first author) in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a deduction of symmetry from failure of the order property. These results are then used to prove several structural properties in categorical AECs, improving classical results of Shelah who focused on the special case of categoricity in a successor cardinal. We also study the interaction of symmetry with tameness, a locality property for Galois (orbital) types. We show that superstability and tameness together imply symmetry. This sharpens previous work of Boney and the second author.

math.LO↗

arXiv2017

Superstability from categoricity in abstract elementary classes

Starting from an abstract elementary class with no maximal models, Shelah and Villaveces have shown (assuming instances of diamond) that categoricity implies a superstability-like property for a certain independence relation called nonsplitting. We generalize their result as follows: given an abstract notion of independence for Galois (orbital) types over models, we derive that the notion satisfies a superstability property provided that the class is categorical and satisfies a weakening of amalgamation. This extends the Shelah-Villaveces result (the independence notion there was splitting) as well as a result of the first and second author where the independence notion was coheir. The argument is in ZFC and fills a gap in the Shelah-Villaveces proof.

math.LO↗

arXiv2016

A Characterization of Uniqueness of Limit Models in Categorical Abstract Elementary Classes

In this paper we examine the task set forth by Shelah and Villaveces in \cite{ShVi} of proving the uniqueness of limit models of cardinality $μ$ in $λ$-categorical abstract elementary classes with no maximal models, where $λ$ is some cardinal larger than $μ$. In \cite{Va} and \cite{Va-errata} we identified several gaps in the approach outlined in \cite{ShVi}, and we added the assumption that the union of an increasing chain of limit models is a limit model. Here we replace this assumption with the seemingly weaker statement that the union of an increasing and continuous chain of limit models is an amalgamation base. Moreover, we prove that this assumption is not only sufficient but is necessary to settle the uniqueness of limit models problem attempted in \cite{ShVi} for $λ=μ^{+n}$ when $0<n<ω$.

math.LO↗

arXiv2016

Superstability and Symmetry

This paper continues the study of superstability in abstract elementary classes (AECs) satisfying the amalgamation property. In particular, we consider the definition of $μ$-superstability which is based on the local character characterization of superstability from first order logic. Not only is $μ$-superstability a potential dividing line in the classification theory for AECs, but it is also a tool in proving instances of Shelah's Categoricity Conjecture. In this paper, we introduce a formulation, involving towers, of symmetry over limit models for $μ$-superstable abstract elementary classes. We use this formulation to gain insight into the problem of the uniqueness of limit models for categorical AECs.

math.LO↗

arXiv2016

On the structure of categorical abstract elementary classes with amalgamation

For $K$ an abstract elementary class with amalgamation and no maximal models, we show that categoricity in a high-enough cardinal implies structural properties such as the uniqueness of limit models and the existence of good frames. This improves several classical results of Shelah. $\mathbf{Theorem}$ Let $μ\ge \text{LS} (K)$. If $K$ is categorical in a $λ\ge \beth_{\left(2^μ\right)^+}$, then: 1) Whenever $M_0, M_1, M_2 \in K_μ$ are such that $M_1$ and $M_2$ are limit over $M_0$, we have $M_1 \cong_{M_0} M_2$. 2) If $μ> \text{LS} (K)$, the model of size $λ$ is $μ$-saturated. 3) If $μ\ge \beth_{(2^{\text{LS} (K)})^+}$ and $λ\ge \beth_{\left(2^{μ^+}\right)^+}$, then there exists a type-full good $μ$-frame with underlying class the saturated models in $K_μ$. Our main tool is the symmetry property of splitting (previously isolated by the first author). The key lemma deduces symmetry from failure of the order property.

math.LO↗

arXiv2015

Union of Saturated Models in Superstable Abstract Elementary Classes

In this paper we prove: Theorem 1. Let $\mathcal{K}$ be an abstract elementary class which satisfies the joint embedding and amalgamation properties. Suppose $λ>μ\geq LS(\mathcal{K})$ and $θ$ is a limit ordinal $<λ^+$. If $\mathcal{K}$ is $μ$ superstable and $μ^+$-superstable and satisfies $μ^+$-symmetry, then for any increasing sequence $\langle M_i\mid i<θ\rangle$ of $μ^+$-saturated models of cardinality $λ$, the model $\bigcup_{i<θ}M_i$ is $μ^+$-saturated.

math.LO↗