
TL;DR
This paper introduces and classifies new large cardinal notions called Exact Structural Reflection (ESR), extending the understanding of structural reflection principles beyond known large cardinal axioms, and explores their consistency and strength.
Contribution
It defines ESR principles at high levels of the large cardinal hierarchy, introduces sequential forms inspired by Chang's Conjecture, and analyzes their consistency and implications.
Findings
ESR principles extend large cardinal hierarchy beyond Vopěnka's Principle.
Sequential ESR forms are very strong, related to I1-embeddings.
Some ESR principles are consistent, others remain open questions.
Abstract
We study Structural Reflection beyond Vop\v{e}nka's Principle, at the level of almost-huge cardinals and higher, up to rank-into-rank embeddings. We identify and classify new large cardinal notions in that region that correspond to some form of what we call Exact Structural Reflection (). Namely, given cardinals and a class of structures of the same type, the corresponding instance of asserts that for every structure in of rank , there is a structure in of rank and an elementary embedding of into . Inspired by the statement of Chang's Conjecture, we also introduce and study sequential forms of , which, in the case of sequences of length , turn out to be very strong. Indeed, when restricted to -definable classes of structures they follow…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Computability, Logic, AI Algorithms · Rings, Modules, and Algebras
