Provably recursive functions in fragments of Peano arithmetic

DOI10.2969/JMSJ/03840721zbMath0589.03037OpenAlexW2023421580MaRDI QIDQ1073791

Hiroakira Ono, Noriya Kadota

Publication date: 1986

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/03840721

zbMATH Keywords

rapidly growing functionsParis-Harrington theoremordinal recursive functions

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (1)

Paris-Harrington principles, reflection principles and transfinite induction up to \(\epsilon _ 0\)

This page was built for publication: Provably recursive functions in fragments of Peano arithmetic