3 papers
math.LO2019
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…
math.LO2018
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?
Will Boney, Barbara F. Csima, Nancy A. Day +1
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, le…
math.LO2018
Categoricity in multiuniversal classes
Nathanael Ackerman, Will Boney, Sebastien Vasey
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 ch…