15 found
Order:
Disambiguations
Will Boney [13]William Jerry Boney [4]
  1.  10
    Canonical Forking in AECs.Will Boney, Rami Grossberg, Alexei Kolesnikov & Sebastien Vasey - 2016 - Annals of Pure and Applied Logic 167 (7):590-613.
  2.  11
    Tameness From Large Cardinal Axioms.Will Boney - 2014 - Journal of Symbolic Logic 79 (4):1092-1119.
    We show that Shelah’s Eventual Categoricity Conjecture for successors follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC withLS below a strongly compact cardinalκis <κ-tame and applying the categoricity transfer of Grossberg and VanDieren [11]. These techniques also apply to measurable and weakly compact cardinals and we prove similar tameness results under those hypotheses. We isolate a dual property (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  3.  8
    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.  7
    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   14 citations  
  5.  14
    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  
  6.  7
    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   3 citations  
  7.  18
    Categoricity in Multiuniversal Classes.Nathanael Ackerman, Will Boney & Sebastien Vasey - 2019 - Annals of Pure and Applied Logic 170 (11):102712.
    The third author has shown that Shelah's eventual categoricity conjecture holds in universal classes: class of structures closed under isomorphisms, substructures, and unions of chains. We extend this result to the framework of multiuniversal classes. Roughly speaking, these are classes with a closure operator that is essentially algebraic closure (instead of, in the universal case, being essentially definable closure). Along the way, we prove in particular that Galois (orbital) types in multiuniversal classes are determined by their finite restrictions, generalizing a (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  17
    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  
  9.  19
    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  
  10.  4
    Tameness, Powerful Images, and Large Cardinals.Will Boney & Michael Lieberman - forthcoming - Journal of Mathematical Logic:2050024.
    We provide comprehensive, level-by-level characterizations of large cardinals, in the range from weakly compact to strongly compact, by closure properties of powerful images of accessible functors. In the process, we show that these properties are also equivalent to various forms of tameness for abstract elementary classes. This systematizes and extends results of [W. Boney and S. Unger, Large cardinal axioms from tameness in AECs, Proc. Amer. Math. Soc.145(10) (2017) 4517–4532; A. Brooke-Taylor and J. Rosický, Accessible images revisited, Proc. AMS145(3) (2016) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  7
    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  
  12. Book Review: Christian Reunion: Historic Divisions Reconsidered. [REVIEW]William Jerry Boney - 1972 - Interpretation: A Journal of Bible and Theology 26 (3):373-374.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Book Review: Christian Unity and Christian Diversity. [REVIEW]William Jerry Boney - 1977 - Interpretation: A Journal of Bible and Theology 31 (2):210-211.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Book Review: Christian Hope, by John Macquarrie. The Seabury Press, New York, 1978. 131 Pp. $7.95; The Humility of God, by John Macquarrie. The Westminster Press, Philadelphia, 1978. 87 Pp. $4.65. [REVIEW]William Jerry Boney - 1981 - Interpretation: A Journal of Bible and Theology 35 (1):100-100.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Book Review: The Message of Liberation in Our Age. [REVIEW]William Jerry Boney - 1973 - Interpretation: A Journal of Bible and Theology 27 (2):247-248.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark