40 citations · 136 across the 24 of their papers we have counts for
33 papers
Model-theoretic characterizations of large cardinals (Re)visited
Will Boney, Jonathan Osinski
We characterize several large cardinal notions by model-theoretic properties of extensions of first-order logic. We show that -strong cardinals, and, as a corollary, ``Ord is…
A Module-theoretic Introduction to Abstract Elementary Classes
Will Boney
The first-order model theory of modules has been studied for decades. More recently, the model theoretic study of nonelementary classes of modules--especially Abstract Elementary C…
-Stationary logic as an -Abstract Elementary Class
Will Boney
-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by . We show that the framework…
Cofinality quantifiers in Abstract Elementary Classes and beyond
Will Boney
The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quant…
Model Theoretic Characterizations of Large Cardinals Revisited
Will Boney, Stamatis Dimopoulos, Victoria Gitman +1
In [Bon20], model theoretic characterizations of several established large cardinal notions were given. We continue this work, by establishing such characterizations for Woodin car…
Tameness, powerful images, and large cardinals
Will Boney, Michael Lieberman
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 acc…