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

DOI10.1017/jsl.2022.42arXiv2012.11202WikidataQ114117977 ScholiaQ114117977MaRDI QIDQ6356589

Joan Bagaria, Trevor M. Wilson

Publication date: 21 December 2020

Mathematics Subject Classification ID

03E55: Large cardinals

18A10: Graphs, diagram schemes, precategories

03E65: Other set-theoretic hypotheses and axioms

18A15: Foundations, relations to logic and deductive systems