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 -definable classes is equivalent to the existence of a strong cardinal. The main theorem shows, more generally, that WVP for -definable classes is equivalent to the existence of a -strong cardinal. Hence, WVP is equivalent to the existence of a -strong cardinal, all .
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}
}