A proof-theoretic analysis of theories for stratified inductive definitions

TitleA proof-theoretic analysis of theories for stratified inductive definitions
Publication TypeBook Chapter
Year of Publication2015
AuthorsJäger, G, Probst, D
EditorKahle, R, Rathjen, M
Book TitleGentzen's Centenary: The Quest for Consistency
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2013/jp13.pdf
DOI10.1007/978-3-319-10103-3