Mathematical proof theory in the light of ordinal analysis

DOI10.1023/A:1020892011851zbMath1041.03041OpenAlexW2047781465MaRDI QIDQ1868167

Reinhard Kahle

Publication date: 27 April 2003

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020892011851

zbMATH Keywords

surveyproof theoryordinal analysis

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Mathematical proof theory in the light of ordinal analysis