A Consistency Proof for Some Restrictions of Tait's Reflection Principles
Logic
2013-01-08 v9
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".
Cite
@article{arxiv.1009.4242,
title = {A Consistency Proof for Some Restrictions of Tait's Reflection Principles},
author = {Rupert McCallum},
journal= {arXiv preprint arXiv:1009.4242},
year = {2013}
}