-arithmetic and transfinite induction

DOI10.2307/2272541zbMath0262.02043OpenAlexW2573579685MaRDI QIDQ5677476

H. E. Rose

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272541

Mathematics Subject Classification ID

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

Related Items

Built-up systems of fundamental sequences and hierarchies of number-theoretic functions

Cites Work

• A Note on Reducible Induction Schemata
• Ternary Recursive Arithmetic.