10 found
Order:
  1.  6
    Canonical Forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.
  2.  7
    Tameness From Large Cardinal Axioms.Will Boney - 2014 - Journal of Symbolic Logic 79 (4):1092-1119.
  3.  5
    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   7 citations  
  4.  4
    Tameness and Extending Frames.Will Boney - 2014 - Journal of Mathematical Logic 14 (2):1450007.
    We combine two notions in AECs, tameness and good λ-frames, and show that they together give a very well-behaved nonforking notion in all cardinalities. This helps to fill a longstanding gap in classification theory of tame AECs and increases the applicability of frames. Along the way, we prove a complete stability transfer theorem and uniqueness of limit models in these AECs.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  5.  10
    Advances in Classification Theory for Abstract Elementary Classes.Will Boney - 2018 - Bulletin of Symbolic Logic 24 (4):454-455.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  11
    Computing the Number of Types of Infinite Length.Will Boney - 2017 - Notre Dame Journal of Formal Logic 58 (1):133-154.
    We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if κ≤λ, then sup ‖M‖=λ|Sκ|=|)κ. We show that this holds for any abstract elementary class with λ-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  7.  5
    Forking in Short and Tame Abstract Elementary Classes.Will Boney & Rami Grossberg - 2017 - Annals of Pure and Applied Logic 168 (8):1517-1551.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  13
    A Presentation Theorem for Continuous Logic and Metric Abstract Elementary Classes.Will Boney - 2017 - Mathematical Logic Quarterly 63 (5):397-414.
    In recent years, model theory has widened its scope to include metric structures by considering real-valued models whose underlying set is a complete metric space. We show that it is possible to carry out this work by giving presentation theorems that translate the two main frameworks into discrete settings. We also translate various notions of classification theory.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  4
    Categoricity in Multiuniversal Classes.Nathanael Ackerman, Will Boney & Sebastien Vasey - forthcoming - Annals of Pure and Applied Logic.
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  5
    Good Frames in the Hart–Shelah Example.Will Boney & Sebastien Vasey - 2018 - Archive for Mathematical Logic 57 (5-6):687-712.
    For a fixed natural number \, the Hart–Shelah example is an abstract elementary class with amalgamation that is categorical exactly in the infinite cardinals less than or equal to \. We investigate recently-isolated properties of AECs in the setting of this example. We isolate the exact amount of type-shortness holding in the example and show that it has a type-full good \-frame which fails the existence property for uniqueness triples. This gives the first example of such a frame. Along the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark