Switch to: Citations

Add references

You must login to add references.
  1. Saturation and solvability in abstract elementary classes with amalgamation.Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (5-6):671-690.
    Theorem 0.1LetK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}be an abstract elementary class with amalgamation and no maximal models. Letλ>LS\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda > {LS}$$\end{document}. IfK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {K}$$\end{document}is categorical inλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}, then the model of cardinalityλ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\lambda $$\end{document}is Galois-saturated.This answers a question asked independently by Baldwin and (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Shelah's eventual categoricity conjecture in universal classes: Part I.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (9):1609-1642.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  • Forking and superstability in Tame aecs.Sebastien Vasey - 2016 - Journal of Symbolic Logic 81 (1):357-383.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  • Building independence relations in abstract elementary classes.Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (11):1029-1092.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Symmetry in abstract elementary classes with amalgamation.Monica M. VanDieren & Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (3-4):423-452.
    This paper is part of a program initiated by Saharon Shelah to extend the model theory of first order logic to the non-elementary setting of abstract elementary classes. An abstract elementary class is a semantic generalization of the class of models of a complete first order theory with the elementary substructure relation. We examine the symmetry property of splitting in AECs with amalgamation that satisfy a local definition of superstability. The key results are a downward transfer of symmetry and a (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Superstability and symmetry.Monica M. VanDieren - 2016 - Annals of Pure and Applied Logic 167 (12):1171-1183.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Categoricity in abstract elementary classes with no maximal models.Monica VanDieren - 2006 - Annals of Pure and Applied Logic 141 (1):108-147.
    The results in this paper are in a context of abstract elementary classes identified by Shelah and Villaveces in which the amalgamation property is not assumed. The long-term goal is to solve Shelah’s Categoricity Conjecture in this context. Here we tackle a problem of Shelah and Villaveces by proving that in their context, the uniqueness of limit models follows from categoricity under the assumption that the subclass of amalgamation bases is closed under unions of bounded, -increasing chains.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   33 citations  
  • 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.
    We provide here the first steps toward a Classification Theory ofElementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categorical in some λ greater than its Löwenheim-Skolem number. We study the degree to which amalgamation may be recovered, the behaviour of non μ-splitting types. Most importantly, the existence of saturated models in a strong enough sense is proved, as a first step toward a complete solution to the o Conjecture for these classes. Further (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   37 citations  
  • Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
    Let be an abstract elementary class with amalgamation, and Lowenheim Skolem number LS. We prove that for a suitable Hanf number gc0 if χ0 < λ0 λ1, and is categorical inλ1+ then it is categorical in λ0.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  • Uniqueness of limit models in classes with amalgamation.Rami Grossberg, Monica VanDieren & Andrés Villaveces - 2016 - Mathematical Logic Quarterly 62 (4-5):367-382.
    We prove the following main theorem: Let be an abstract elementary class satisfying the joint embedding and the amalgamation properties with no maximal models of cardinality μ. Let μ be a cardinal above the the Löwenheim‐Skolem number of the class. If is μ‐Galois‐stable, has no μ‐Vaughtian Pairs, does not have long splitting chains, and satisfies locality of splitting, then any two ‐limits over M, for, are isomorphic over M.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • Superstability from categoricity in abstract elementary classes.Will Boney, Rami Grossberg, Monica M. VanDieren & Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (7):1383-1395.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations