- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Building prime models in fully good abstract elementary classes
Mathematical Logic Quarterly 63 (3-4):193-201 (2017)
Abstract
We show how to build prime models in classes of saturated models of abstract elementary classes having a well-behaved independence relation: Let math formula be an almost fully good AEC that is categorical in math formula and has the math formula-existence property for domination triples. For any math formula, the class of Galois saturated models of math formula of size λ has prime models over every set of the form math formula. This generalizes an argument of Shelah, who proved the result when λ is a successor cardinal.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
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.
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.
A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
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.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.Tapani Hyttinen - 2006 - Archive for Mathematical Logic 45 (1):63-73.
A stability transfer theorem in d -tame metric abstract elementary classes.Pedro Zambrano - 2012 - Mathematical Logic Quarterly 58 (4-5):333-341.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Categoricity in abstract elementary classes with no maximal models.Monica VanDieren - 2006 - Annals of Pure and Applied Logic 141 (1):108-147.
Saturation and solvability in abstract elementary classes with amalgamation.Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (5-6):671-690.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Analytics
Added to PP
2017-10-25
Downloads
4 (#1,265,090)
6 months
2 (#319,848)
2017-10-25
Downloads
4 (#1,265,090)
6 months
2 (#319,848)
Historical graph of 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.
References found in this work
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.
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b5888c749-fsgz8 N