Reflective Cardinals
Dmytro Taranovsky

TL;DR
This paper introduces the concept of reflective cardinals, providing axioms and semantics for higher order set theory, and investigates their relationship with large cardinal axioms.
Contribution
It formalizes reflective cardinals, offering a new framework for understanding higher order set theory and its connection to large cardinal axioms.
Findings
Defined and axiomatized reflective cardinals
Provided semantics for higher order set theory
Explored links between reflective cardinals and large cardinals
Abstract
We introduce and axiomatize the notion of a reflective cardinal, use it to give semantics to higher order set theory, and explore connections between the notion of reflective cardinals and large cardinal axioms.
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 · Advanced Algebra and Logic · Rings, Modules, and Algebras
