Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2015
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/1508.04717 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909311441043456 |
|---|---|
| author | Boney, Will VanDieren, Monica M. |
| author_facet | Boney, Will VanDieren, Monica M. |
| contents | 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$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1508_04717 |
| institution | arXiv |
| publishDate | 2015 |
| record_format | arxiv |
| spellingShingle | Limit Models in Strictly Stable Abstract Elementary Classes Boney, Will VanDieren, Monica M. Logic 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$. |
| title | Limit Models in Strictly Stable Abstract Elementary Classes |
| topic | Logic |
| url | https://arxiv.org/abs/1508.04717 |