Publication:3895466

zbMath0449.03056MaRDI QIDQ3895466

Gerhard Jäger, Kurt Schütte

Publication date: 1980

zbMATH Keywords

proof theory; subsystems of classical analysis

Mathematics Subject Classification ID

03F35: Second- and higher-order arithmetic and fragments

03F15: Recursive ordinals and ordinal notations