$omega_{1}$ under $Pi_{1}$-Collection
Logic
2015-08-10 v1
Abstract
We describe a proof-theoretic bound on -definable countable ordinals in Kripke-Platek set theory with -Collection and the existence of .
Keywords
Cite
@article{arxiv.1508.01547,
title = {$omega_{1}$ under $Pi_{1}$-Collection},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1508.01547},
year = {2015}
}
Comments
arXiv admin note: substantial text overlap with arXiv:1101.5660