4 citations · 9 across the 14 of their papers we have counts for
Showing 2026 · math.LOShow all
2 papers · 2 filters
math.LO2026
Model theory of class-sized logics
Jonathan Osinski, Trevor Wilson
We study compactness and Löwenheim-Skolem properties of fragments of the class-sized logic and of class-sized versions of second-order and sort logics…
math.LO2026
More Derived Models in PFA
Derek Levinson, Nam Trang, Trevor Wilson
This paper makes significant progress towards resolving a conjecture relating strong forcing axioms like and the derived model at a limit of Woodin cardinals . In particul…