3 papers
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 logic…
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 particu…
math.LO2025
A model of the Axiom of Determinacy in which every set of reals is universally Baire
Paul B. Larson, Grigor Sargsyan, Trevor Wilson
The consistency of the theory ``every set of reals is universally Baire'' is proved relative to ``there is a cardina…