Functions provably total in $I^{-}Σ_{n}$

DOI10.4064/fm-133-1-81-95zbMath0703.03018OpenAlexW880726538MaRDI QIDQ5899843

Zygmunt Ratajczyk

Publication date: 1989

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

provably total recursive functions\(\Sigma _ n\)-inductionHardy's hierarchy

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items (3)

The contribution of Zygmunt Ratajczyk to the foundations of arithmetic ⋮ Parameter free induction and provably total computable functions ⋮ Local induction and provably total computable functions

This page was built for publication: Functions provably total in $I^{-}Σ_{n}$