TY  - RPRT
TI  - A Consistency Proof for Some Restrictions of Tait's Reflection Principles
AU  - Rupert McCallum
PY  - 2012
DO  - 10.1002/malq201200015
UR  - https://arxiv.org/abs/1009.4242
ID  - 1009.4242
ER  -