Independence in finitary abstract elementary classes

Annals of Pure and Applied Logic 143 (1-3):103-138 (2006)
  Copy   BIBTEX

Abstract

In this paper we study a specific subclass of abstract elementary classes. We construct a notion of independence for these AEC’s and show that under simplicity the notion has all the usual properties of first order non-forking over complete types. Our approach generalizes the context of 0-stable homogeneous classes and excellent classes. Our set of assumptions follow from disjoint amalgamation, existence of a prime model over 0/, Löwenheim–Skolem number being ω, -tameness and a property we call finite character. We also start the studies of these classes from the 0-stable case. Stability in 0 and -tameness can be replaced by categoricity above the Hanf number. Finite character is the main novelty of this paper. Almost all examples of AEC’s have this property and it allows us to use weak types, as we call them, in place of Galois types

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Interpreting groups and fields in simple, finitary AECs.Tapani Hyttinen & Meeri Kesälä - 2012 - Annals of Pure and Applied Logic 163 (9):1141-1162.
A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Elementary Prepositions, Independence, and Pictures.Rod Bertolet - 1991 - Journal of Philosophical Research 16:53-61.
The Karp complexity of unstable classes.M. C. Laskowski & S. Shelah - 2001 - Archive for Mathematical Logic 40 (2):69-88.

Analytics

Added to PP
2013-12-31

Downloads
11 (#975,863)

6 months
2 (#668,348)

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.
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
Categoricity in multiuniversal classes.Nathanael Ackerman, Will Boney & Sebastien Vasey - 2019 - Annals of Pure and Applied Logic 170 (11):102712.
Universal classes near ${\aleph _1}$.Marcos Mazari-Armida & Sebastien Vasey - 2018 - Journal of Symbolic Logic 83 (4):1633-1643.

View all 28 citations / Add more citations