A Consistency Proof for Some Restrictions of Tait's Reflection Principles
Rupert McCallum
TL;DR
This paper introduces a new large-cardinal property to establish the relative consistency of certain restricted reflection principles discussed by Tait, advancing understanding of foundational set theory.
Contribution
It presents a novel large-cardinal property that facilitates consistency proofs for specific restricted reflection principles in set theory.
Findings
Introduces a new large-cardinal property
Provides a relative consistency proof for Tait's restricted reflection principles
Enhances understanding of the foundations of set theory
Abstract
A new large-cardinal property is introduced which enables one to give a relative consistency proof of restricted versions of the reflection principles discussed by Tait in his essay "Constructing Cardinals from Below".
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 · History and Theory of Mathematics · Philosophy and Theoretical Science