A Consistency Proof for Some Restrictions of Tait's Reflection Principles
classification
🧮 math.LO
keywords
consistencyprinciplesproofreflectiontaitbelowcardinalsconstructing
read the original 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".
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.