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

DOI10.1017/JSL.2022.42arXiv2012.11202WikidataQ114117977 ScholiaQ114117977MaRDI QIDQ6356589FDOQ6356589

Authors: Joan Bagaria, Trevor M. Wilson 

Publication date: 21 December 2020

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$.

Mathematics Subject Classification ID

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

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)