Pith. sign in

REVIEW 1 cited by

Limit Models in Strictly Stable Abstract Elementary Classes

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1508.04717 v6 pith:UWY5M2K5 submitted 2015-08-19 math.LO

classification math.LO
keywords limitmathcalabstractalphadeltaelementarymodelsclasses
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
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 maximal model of cardinality $\mu$. 2. stability in $\mu$. 3. $\kappa^*_\mu(\mathcal{K})<\mu^+$. 4. continuity for non-$\mu$-splitting (i.e. if $p\in\text{ga-S}(M)$ and $M$ is a limit model witnessed by $\langle M_i\mid i<\alpha\rangle$ for some limit ordinal $\alpha<\mu^+$ and there exists $N \prec M_0$ so that $p\restriction M_i$ does not $\mu$-split over $N$ for all $i<\alpha$, then $p$ does not $\mu$-split over $N$). For $\theta$ and $\delta$ limit ordinals $<\mu^+$ both with cofinality $\geq\kappa^*_\mu(\mathcal{K})$, if $\mathcal{K}$ satisfies symmetry for non-$\mu$-splitting (or just $(\mu,\delta)$-symmetry), then, for any $M_1$ and $M_2$ that are $(\mu,\theta)$ and $(\mu,\delta)$-limit models over $M_0$, respectively, we have that $M_1$ and $M_2$ are isomorphic over $M_0$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Superstability, noetherian rings and pure-semisimple rings

    math.LO 2019-08 conditional novelty 6.0 of 10

    Left noetherian rings are exactly those whose modules form a superstable class with embeddings, and left pure-semisimple rings are exactly those whose modules form a superstable class with pure embeddings.

Pith tools