On Σ1‐definable Functions Provably Total in I ∏

DOI10.1002/malq.19950410111zbMath0817.03020OpenAlexW1987377250MaRDI QIDQ4323837

Teresa Bigorajska

Publication date: 27 July 1995

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19950410111

zbMATH Keywords

\(\Pi_ 1\)- induction\(\Sigma_ 1\)-definable functiondiscretely ordered commutative rings with unitprovably total function

Mathematics Subject Classification ID

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

Related Items (4)

Parameter free induction and provably total computable functions ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Induction rules in bounded arithmetic ⋮ A note on parameter free Π₁ -induction and restricted exponentiation

This page was built for publication: On Σ₁‐definable Functions Provably Total in I ∏