English

The Weak Vop\v{e}nka Principle for definable classes of structures

Logic 2020-12-22 v1

Abstract

We give a level-by-level analysis of the Weak Vop\v{e}nka Principle for definable classes of relational structures (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 WVP for Σ2\Sigma_2-definable classes is equivalent to the existence of a strong cardinal. The main theorem shows, more generally, that WVP for Σn\Sigma_n-definable classes is equivalent to the existence of a Σn\Sigma_n-strong cardinal. Hence, WVP is equivalent to the existence of a Σn\Sigma_n-strong cardinal, all n<ωn <\omega.

Keywords

Cite

@article{arxiv.2012.11202,
  title  = {The Weak Vop\v{e}nka Principle for definable classes of structures},
  author = {Joan Bagaria and Trevor Wilson},
  journal= {arXiv preprint arXiv:2012.11202},
  year   = {2020}
}
R2 v1 2026-06-23T21:07:12.261Z