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

DOI10.1017/JSL.2022.42MaRDI QIDQ6356589arXivWikidataFDO

Authors Joan Bagaria, Trevor M. Wilson

Publication date 21 December 2020

Published in arXiv

Full work available at URL https://doi.org/10.1017/JSL.2022.42

Mathematics Subject Classification ID

Large cardinals (03E55) Other set-theoretic hypotheses and axioms (03E65) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

arXiv classification

math.LO

Abstract: We give a level-by-level analysis of the Weak Vopv{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 $Sigm{a}_2$-definable classes is equivalent to the existence of a strong cardinal. The main theorem shows, more generally, that WVP for $Sigm{a}_n$-definable classes is equivalent to the existence of a $Sigm{a}_n$-strong cardinal. Hence, WVP is equivalent to the existence of a $Sigm{a}_n$-strong cardinal, all $n<omega$.

This page was built for publication: The Weak Vop\v{e}nka Principle for definable classes of structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6356589)