40 citations · 136 across the 24 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
math.LO2022★ 1 cited
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…
math.LO2022★ 1 cited
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…