Building independence relations in abstract elementary classes

DOI10.1016/J.APAL.2016.04.005MaRDI QIDQ306573zbMATH OpenOpenAlexFDO

Publication date 31 August 2016

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1503.01366

abstract elementary classes categoricity independence relations

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52) Set-theoretic model theory (03C55)

Abstract: We study general methods to build forking-like notions in the framework of tame abstract elementary classes (AECs) with amalgamation. We show that whenever such classes are categorical in a high-enough cardinal, they admit a good frame: a forking-like notion for types of singleton elements.

m a t h b f T h e o r e m

(Superstability from categoricity) Let

K

be a

(< k a p p a)

-tame AEC with amalgamation. If

and

K

is categorical in a

l a m b d a > k a p p a

, then: *

K

is stable in all cardinals

g e k a p p a

. *

K

is categorical in

k a p p a

. * There is a type-full good

l a m b d a

-frame with underlying class

K_{l} a m b d a

. Under more locality conditions, we prove that the frame extends to a global independence notion (for types of arbitrary length).

m a t h b f T h e o r e m

(A global independence notion from categoricity) Let

K

be a densely type-local, fully tame and type short AEC with amalgamation. If

K

is categorical in unboundedly many cardinals, then there exists

l a m b d a g e e x t L S (K)

such that

K_{g e l a m b d a}

admits a global independence relation with the properties of forking in a superstable first-order theory. As an application, we deduce (modulo an unproven claim of Shelah) that Shelah's eventual categoricity conjecture for AECs (without assuming categoricity in a successor cardinal) follows from the weak generalized continuum hypothesis and a large cardinal axiom.

e x t b f C o r o l l a r y

Assume

2^{l a m b d a} < 2^{l a m b d a^{+}}

for all cardinals

l a m b d a

, as well as an unpublished claim of Shelah. If there exists a proper class of strongly compact cardinals, then any AEC categorical in some high-enough cardinal is categorical in all high-enough cardinals.

Review text

The framework of abstract elementary classes (AECs) provides a way of doing model theory without logic. In this area, attempts are made to recover standard model-theoretic results, often assuming extra assumptions on the class. A driving conjecture is Shelah's categoricity conjecture, which is more or less the statement that Morley's theorem holds for AECs. More precisely, it states that if an AEC has a unique model (up to isomorphism) in some uncountable cardinal, then this remains true for some tail of cardinals. In this paper, it is shown how a certain class of AECs possess a nice notion of independence that resembles forking independence from classical model theory and this notion of independence can be used to make progress on Shelah's eventual categoricity conjecture.

Recommendations

Cites work

Cited in

(37)

This page was built for publication: Building independence relations in abstract elementary classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q306573)