Showing 1–9 of 9 results for author: VanDieren, M M

Shelah-Villaveces revisited

Authors: Will Boney, Monica M. VanDieren, Sebastien Vasey

Abstract: 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… ▽ More 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. △ Less

Submitted 5 March, 2017; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: Paper withdrawn due to a fatal mistake

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Superstability from categoricity in abstract elementary classes

Authors: Will Boney, Rami Grossberg, Monica M. VanDieren, Sebastien Vasey

Abstract: 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 satisfie… ▽ More 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. △ Less

Submitted 6 January, 2017; v1 submitted 22 September, 2016; originally announced September 2016.

Comments: 14 pages

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Annals of Pure and Applied Logic 168 (2017), no. 7, 1383-1395

Symmetry and the Union of Saturated Models in Superstable Abstract Elementary Classes

Authors: M. M VanDieren

Abstract: Our main result (Theorem 1) suggests a possible dividing line ($μ$-superstable $+$ $μ$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of such a dividing line. Theoerem 1: Let $\mathcal{K}$ be an abstract elementary class with no maximal models of cardinality $μ^+$ which satisfies the joint embeddi… ▽ More Our main result (Theorem 1) suggests a possible dividing line ($μ$-superstable $+$ $μ$-symmetric) for abstract elementary classes without using extra set-theoretic assumptions or tameness. This theorem illuminates the structural side of such a dividing line. Theoerem 1: Let $\mathcal{K}$ be an abstract elementary class with no maximal models of cardinality $μ^+$ which satisfies the joint embedding and amalgamation properties. Suppose $μ\geq LS(\mathcal{K})$. If $\mathcal{K}$ is $μ$- and $μ^+$-superstable and satisfies $μ^+$-symmetry, then for any increasing sequence $\langle M_i\in\mathcal{K}_{\geqμ^{+}}\mid i<θ<(\sup\|M_i\|)^+\rangle$ of $μ^+$-saturated models, $\bigcup_{i<θ}M_i$ is $μ^+$-saturated. We also apply results of VanDieren's Superstability and Symmetry paper and use towers to transfer symmetry from $μ^+$ down to $μ$ in abstract elementary classes which are both $μ$- and $μ^+$-superstable: Theorem 2: Suppose $\mathcal{K}$ is an abstract elementary class satisfying the amalgamation and joint embedding properties and that $\mathcal{K}$ is both $μ$- and $μ^+$-superstable. If $\mathcal{K}$ has symmetry for non-$μ^+$-splitting, then $\mathcal{K}$ has symmetry for non-$μ$-splitting. △ Less

Submitted 19 December, 2015; v1 submitted 6 December, 2015; originally announced December 2015.

Comments: This paper is a synthesis of arXiv:1507.01991 and arXiv:1507.01989

MSC Class: 03C48; 03C45; 03C50

Journal ref: Annals of Pure and Applied Logic. 167 (2016), pp 395-407

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

Authors: Monica M. VanDieren

Abstract: 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 u… ▽ More 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<ω$. △ Less

Submitted 1 December, 2016; v1 submitted 29 November, 2015; originally announced November 2015.

Comments: this article generalizes the results from arXiv:1507.01990, arXiv:1507.01991, arXiv:1507.01989 to a context in which the amalgamation property is not assumed

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

On the structure of categorical abstract elementary classes with amalgamation

Authors: Monica M. VanDieren, Sebastien Vasey

Abstract: 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:… ▽ More 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. △ Less

Submitted 17 February, 2016; v1 submitted 4 September, 2015; originally announced September 2015.

Comments: 19 pages. This has since been merged with arXiv:1508.03252

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Limit Models in Strictly Stable Abstract Elementary Classes

Authors: Will Boney, Monica M. VanDieren

Abstract: 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… ▽ More 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$. △ Less

Submitted 11 September, 2024; v1 submitted 19 August, 2015; originally announced August 2015.

Comments: This article generalizes some results from arXiv:1507.01990

Symmetry in abstract elementary classes with amalgamation

Authors: Monica M. VanDieren, Sebastien Vasey

Abstract: 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… ▽ More 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. △ Less

Submitted 1 March, 2017; v1 submitted 13 August, 2015; originally announced August 2015.

Comments: 37 pages. This merges with arXiv:1509.01488 . Was previously titled "Transferring symmetry downward and applications"

MSC Class: 03C48 (Primary); 03C45; 03C52; 03C55 (Secondary)

Journal ref: Archive for Mathematical Logic 56 (2017), no. 3, 423-452

Superstability and Symmetry

Authors: Monica M. VanDieren

Abstract: 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 t… ▽ More 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. △ Less

Submitted 23 May, 2016; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: Accepted for publication by Annals of Pure and Applied Logic

Union of Saturated Models in Superstable Abstract Elementary Classes

Authors: Monica M. VanDieren

Abstract: 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… ▽ More 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. △ Less

Submitted 30 December, 2015; v1 submitted 7 July, 2015; originally announced July 2015.

Comments: This paper has been combined with another paper. The content appears in arXiv:1512.01786

MSC Class: 03C48; 03C45; 03C50