Building prime models in fully good abstract elementary classes

Mathematical Logic Quarterly 63 (3-4):193-201 (2017)
  Copy   BIBTEX

Abstract

We show how to build prime models in classes of saturated models of abstract elementary classes (AECs) having a well‐behaved independence relation: Let be an almost fully good AEC that is categorical in and has the ‐existence property for domination triples. For any, the class of Galois saturated models of of size λ has prime models over every set of the form. This generalizes an argument of Shelah, who proved the result when λ is a successor cardinal.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201600025

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,168

External links

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

Through your library

My notes

Similar books and articles

Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Symmetry in abstract elementary classes with amalgamation.Monica M. VanDieren & Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (3-4):423-452.
Upward Categoricity from a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
Erratum to “Categoricity in abstract elementary classes with no maximal models” [Ann. Pure Appl. Logic 141 (2006) 108–147].Monica M. VanDieren - 2013 - Annals of Pure and Applied Logic 164 (2):131-133.
Shelah's Categoricity Conjecture from a Successor for Tame Abstract Elementary Classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Symbolic Logic 71 (2):553 - 568.
Uncountable categoricity of local abstract elementary classes with amalgamation.John T. Baldwin & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 143 (1-3):29-42.
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models.Andrés Villaveces & Pedro Zambrano - 2014 - Mathematical Logic Quarterly 60 (3):211-227.
Quasiminimal abstract elementary classes.Sebastien Vasey - 2018 - Archive for Mathematical Logic 57 (3-4):299-315.
Toward categoricity for classes with no maximal models.Saharon Shelah & Andrés Villaveces - 1999 - Annals of Pure and Applied Logic 97 (1-3):1-25.
On the existence of universal models.Mirna Džamonja & Saharon Shelah - 2004 - Archive for Mathematical Logic 43 (7):901-936.

Analytics

Added to PP
2017-10-25

Downloads
32 (#786,773)

6 months
5 (#853,286)

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.

Add more citations

References found in this work

Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
Forking and superstability in Tame aecs.Sebastien Vasey - 2016 - Journal of Symbolic Logic 81 (1):357-383.
Canonical forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.

View all 17 references / Add more references