A consistency proof for some restrictions of Tait's reflection principles
From MaRDI portal
Publication:4915225
DOI10.1002/MALQ.201200015zbMath1270.03102arXiv1009.4242OpenAlexW2024502896MaRDI QIDQ4915225
Publication date: 9 April 2013
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1009.4242
Related Items (1)
Cites Work
This page was built for publication: A consistency proof for some restrictions of Tait's reflection principles