Results for ' 18A10'

Order:
  1.  11
    The Weak Vopěnka Principle for Definable Classes of Structures.Joan Bagaria & Trevor M. Wilson - 2023 - Journal of Symbolic Logic 88 (1):145-168.
    We give a level-by-level analysis of the Weak Vopěnka Principle for definable classes of relational structures ( $\mathrm {WVP}$ ), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level. Thus, in particular, we show that $\mathrm {WVP}$ for $\Sigma _2$ -definable classes is equivalent to the existence of a strong cardinal. The main theorem (Theorem 5.11) shows, more generally, that $\mathrm {WVP}$ for $\Sigma _n$ -definable classes is equivalent to the existence of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation