Theories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$)

TitleTheories of proof-theoretic strength $\psi$($\Gamma_{\Omega+1}$)
Publication TypeBook Chapter
Year of Publication2016
AuthorsBuchholtz, UTorben, Jäger, G, Strahm, T
EditorProbst, D, Schuster, P
Book TitleConcepts of Proof in Mathematics, Philosophy, and Computer Science
Series TitleOntos Mathematical Logic
Volume6
PublisherDe Gruyter
ISBN Number978-1-5015-0263-7
URLhttp://www.iam.unibe.ch/ltgpub/2015/bjs15.pdf