activity
20162026
most citedWeak Vopěnka's Principle does not imply Vopěnka's Principle

4 citations · 9 across the 14 of their papers we have counts for

collaborators
Showing 2026Show all

2 papers · 1 filter

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…