Introducing the hardline in proof theory
Logic
2011-04-12 v1
Abstract
In this paper we expound some basic ideas of proof theory for theories of ordinals such that there are many stable ordinals below the ordinals.
Cite
@article{arxiv.1104.1842,
title = {Introducing the hardline in proof theory},
author = {Toshiyasu Arai},
journal= {arXiv preprint arXiv:1104.1842},
year = {2011}
}