A Consistency Proof for Some Restrictions of Tait's Reflection Principles
Rupert McCallum
所有作者
Rupert McCallum
文献摘要
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”.