Axiomatizing AECs and applications

DOI10.1016/J.APAL.2023.103248MaRDI QIDQ6375768arXivFDO

Authors Samson Leung

Publication date 22 August 2021

Mathematics Subject Classification ID

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

Abstract: For any abstract elementary class (AEC) $$ with $$, the following holds: 1. $K$ has an axiomatization in $L_{(2^{l}ambda{)}^{+},lambd{a}^{+}}$, allowing game quantification. If $$ has arbitrarily large models, the $lambda$-amalgamation property and is categorical both in $lambda$ and $lambd{a}^{+}$, then it has an axiomatization in $L_{lambd{a}^{+},lambd{a}^{+}}$ with game quantification. These extend Kueker's result which assumes finite character and $lambda=alep{h}_0$. 2. If $K$ is universal and categorical in $lambda$, then it is axiomatizable in $L_{lambd{a}^{+},lambd{a}^{+}}$. 3. Shelah's celebrated presentation theorem asserts that for any AEC $$ there is a first-order theory in an expansion of $$, and a set $Gamma$ of $2^{l}ambda$ many $T$-types such that $$. We provide a better bound on $|Gamma|$ in terms of $$. 4. We present additional applications which extend, simplify and generalize results of Shelah and Shelah-Vasey. Some of our main results generalize to $mu$-AECs.

This page was built for publication: Axiomatizing AECs and applications

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