The Weak Vop\v{e}nka Principle for definable classes of structures
From MaRDI portal
Publication:6356589
DOI10.1017/JSL.2022.42arXiv2012.11202WikidataQ114117977 ScholiaQ114117977MaRDI QIDQ6356589
Joan Bagaria, Trevor M. Wilson
Publication date: 21 December 2020
Large cardinals (03E55) Graphs, diagram schemes, precategories (18A10) Other set-theoretic hypotheses and axioms (03E65) Foundations, relations to logic and deductive systems (18A15)
This page was built for publication: The Weak Vop\v{e}nka Principle for definable classes of structures