On provably recursive functions and ordinal recursive functions

DOI10.2969/jmsj/02030456zbMath0195.30101OpenAlexW2059232045MaRDI QIDQ2539216

Akiko Kino

Publication date: 1968

Published in: Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2969/jmsj/02030456

zbMATH Keywords

algebraic logic

Related Items (7)

A classification of the ordinal recursive functions ⋮ Gentzen reduction revisited ⋮ Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie ⋮ Well-Partial Orderings and their Maximal Order Types ⋮ Eine Funktionalinterpretation der prädikativen Analysis ⋮ Ordinals connected with formal theories for transfinitely iterated inductive definitions ⋮ A note on inverses of elementary permutations

This page was built for publication: On provably recursive functions and ordinal recursive functions