Introducing the hardline in proof theory
arXiv:1104.1842
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.
arXiv:1104.1842
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.