Cut-elimination for $\omega_{1}$
Logic
2018-01-31 v1
Abstract
In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and \Pi_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.
Keywords
Cite
@article{arxiv.1801.10025,
title = {Cut-elimination for $\omega_{1}$},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1801.10025},
year = {2018}
}
Comments
arXiv admin note: text overlap with arXiv:1508.01548