Grzegorcyk's hierarchy and IepΣ1

DOI10.2307/2275705zbMath0816.03028OpenAlexW2014596272MaRDI QIDQ4323042

Gaisi Takeuti

Publication date: 20 July 1995

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

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

zbMATH Keywords

Grzegorczyk classesprimitive recursive functionsprovably recursive functionsinduction nesting

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

On axiom schemes for \(T\)-provably \(\Delta_1\) formulas

Cites Work

• Existence and feasibility in arithmetic
• Proof theory

This page was built for publication: Grzegorcyk's hierarchy and IepΣ₁