Introducing the hardline in proof theory
From MaRDI portal
Publication:4252644
zbMATH Open0925.03206arXiv1104.1842MaRDI QIDQ4252644
Publication date: 8 November 1999
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.
Full work available at URL: https://arxiv.org/abs/1104.1842
Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)
This page was built for publication: Introducing the hardline in proof theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252644)
