1 citations · 3 across the 12 of their papers we have counts for
Showing 2020Show all
2 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.LO2020
Steel's Programme: Evidential Framework, the Core and Ultimate-L
Joan Bagaria, Claudio Ternullo
We address Steel's Programme to identify a 'preferred' universe of set theory and the best axioms extending ZFC by using his multiverse axioms MV and the 'core hypothesis'. In the…