activity
20182020
collaborators
Showing math.LOShow all

7 papers · 1 filter

math.LO2020

The Weak Vopěnka Principle for definable classes of structures

Joan Bagaria, Trevor Wilson

We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures (WVP), in accordance with the complexity of their definition, and we…

math.LO2019

A game-theoretic proof of Shelah's theorem on labeled trees

Trevor M. Wilson

We give a new proof of a theorem of Shelah which states that for every family of labeled trees, if the cardinality of the family is much larger (in the sense of large cardinals…

math.LO2019

The large cardinal strength of Weak Vopěnka's Principle

Trevor M. Wilson

We show that Weak Vopěnka's Principle, which is the statement that the opposite category of ordinals cannot be fully embedded into the category of graphs, is equivalent to the larg…

math.LO2018

The consistency strength of the perfect set property for universally Baire sets of reals

Ralf Schindler, Trevor M. Wilson

We show that the statement "every universally Baire set of reals has the perfect set property" is equiconsistent modulo ZFC with the existence of a cardinal that we call a virtuall…

math.LO2018

Generic Vopěnka cardinals and models of ZF with few -Suslin sets

Trevor M. Wilson

We define a generic Vopěnka cardinal to be an inaccessible cardinal such that for every first-order language of cardinality less than and every set $\mathscr{…

math.LO2018

Weakly remarkable cardinals, Erdős cardinals, and the generic Vopěnka principle

Trevor M. Wilson

We consider a weak version of Schindler's remarkable cardinals that may fail to be -reflecting. We show that the -reflecting weakly remarkable cardinals are exactly the r…