scientific article; zbMATH DE number 510775
From MaRDI portal
Publication:4281248
zbMath0801.03036MaRDI QIDQ4281248
Publication date: 1 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Structure of proofs (03F07) Recursive ordinals and ordinal notations (03F15) Complexity of proofs (03F20)
Related Items (4)
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM ⋮ Proof theory for theories of ordinals. I: Recursively Mahlo ordinals ⋮ Induction-recursion and initial algebras. ⋮ Zur Beweistheorie Von KPM
This page was built for publication: