Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie

DOI10.1007/BF02008530zbMath0257.02021MaRDI QIDQ5672874

Helmut Schwichtenberg

Publication date: 1972

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137875

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15) Hierarchies of computability and definability (03D55) Proof theory and constructive mathematics (03F99)

Related Items (2)

Theory of proofs (arithmetic and analysis) ⋮ P.R.-Regulated Systems of Notation and the Subrecursive Hierarchy Equivalence Property

Cites Work

• Nested recursion
• On provably recursive functions and ordinal recursive functions
• ÜBER DIE ELIMINIERBARKEIT VON DEFINITIONSSCHEMATA IN DER THEORIE DER REKURSIVEN FUNKTIONEN
• Eine Klassifikation der ε₀‐Rekursiven Funktionen
• On the interpretation of non-finitist proofs–Part II

This page was built for publication: Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie