40 citations · 136 across the 24 of their papers we have counts for
4 papers · 1 filter
Computing the Number of Types of Infinite Length
Will Boney
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 ,…
Tameness and Extending Frames
Will Boney
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 long…
Forking in Short and Tame Abstract Elementary Classes
Will Boney, Rami Grossberg
We develop a notion of forking for Galois-types in the context of Abstract Elementary Classes (AECs). Under the hypotheses that an AEC is tame, type-short, and failure of an or…
Tameness from Large Cardinal Axioms
Will Boney
We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjectur…