A Consistency Proof for Some Restrictions of Tait's Reflection Principles
arXiv:1009.4242 · doi:10.1002/malq201200015
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".