Reflective Cardinals

2012/03/10 by Dmytro Taranovsky, Taranovsky, Dmytro
Computer Science · Mathematics · #03E99 #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.1203.2270

openalex publication_date 2012/03/10 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related

• Which axioms of set theory are intrinsically justified?
• Large cardinals as principles of Structural Reflection
• Intrinsic Justification for Large Cardinals and Structural Reflection
• Consistency Strength of the Axiom of Full Reflection at Large Cardinals
• Intrinsic justifications for large-cardinal axioms