Categoricity transfer in simple finitary abstract elementary classes

Journal of Symbolic Logic 76 (3):759 - 806 (2011)
  Copy   BIBTEX

Abstract

We continue our study of finitary abstract elementary classes, defined in [7]. In this paper, we prove a categoricity transfer theorem for a case of simple finitary AECs. We introduce the concepts of weak κ-categoricity and f-primary models to the framework of א₀-stable simple finitary AECs with the extension property, whereby we gain the following theorem: Let (������, ≼ ������ ) be a simple finitary AEC, weakly categorical in some uncountable κ. Then (������, ≼ ������ ) is weakly categorical in each λ ≥ min { \group{ \{\kappa,\beth_{ \group{ (2^{ \aleph_{ 0 _} ^});^{ + ^} \group} _}\}; \group} . If the class (������, ≼ ������ ) is also LS(������)-tame, weak κ-categoricity is equivalent with κ-categoricity in the usual sense. We also discuss the relation between finitary AECs and some other non-elementary frameworks and give several examples

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On a hitherto unexploited extension of the finitary standpoint.Kurt Gödel - 1980 - Journal of Philosophical Logic 9 (2):133 - 142.
Partial isomorphisms and intuitionistic logic.Bernd I. Dahn - 1981 - Studia Logica 40 (4):405 - 413.
Notes on quasiminimality and excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
The categoricity spectrum of pseudo-elementary classes.Michael Chris Laskowski - 1992 - Notre Dame Journal of Formal Logic 33 (3):332-347.

Analytics

Added to PP
2013-09-30

Downloads
41 (#369,691)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Shelah's eventual categoricity conjecture in universal classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
Forking in short and tame abstract elementary classes.Will Boney & Rami Grossberg - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.
Quasiminimal structures, groups and Zariski-like geometries.Tapani Hyttinen & Kaisa Kangas - 2016 - Annals of Pure and Applied Logic 167 (6):457-505.
Building prime models in fully good abstract elementary classes.Sebastien Vasey - 2017 - Mathematical Logic Quarterly 63 (3-4):193-201.
Finding a field in a Zariski-like structure.Kaisa Kangas - 2017 - Annals of Pure and Applied Logic 168 (10):1837-1865.

View all 7 citations / Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.

View all 11 references / Add more references