Cut-elimination for $ω_{1}$
Toshiyasu Arai · arXiv (Cornell University) · 2018
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and Π_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.