Majorizing provably recursive functions in fragments of PA

DOI10.1007/BF02007552MaRDI QIDQ3720596zbMATH OpenFDO

Authors Andrea Cantini

Publication date 1985

Published in Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

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

zbMATH Keywords

majorizationfragments of Peano arithmeticprimitive recursive functionsfast growing hierarchy

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Provably recursive functions in fragments of Peano arithmetic
• scientific article; zbMATH DE number 4039893
• scientific article; zbMATH DE number 1215495
• A modified sentence unprovable in PA
• scientific article; zbMATH DE number 4033742

Cites work

• scientific article; zbMATH DE number 3531352 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• Eine Klassifikation der ε₀‐Rekursiven Funktionen
• Fragments of arithmetic
• Iterated reflection principles and the ω-rule
• On n-quantifier induction
• On Weak Theories of Sets and Classes which are Based on Strict ∏‐REFLECTION
• Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy

Cited in

(11)

• Subrecursive degrees and fragments of Peano arithmetic
• Provably recursive functions in fragments of Peano arithmetic
• Recursion theory on weak fragments of Peano arithmetic: A study of definable cuts
• scientific article; zbMATH DE number 440480 (Why is no real title available?)
• Fragments of arithmetic and pairing functions
• Pa-Beweisbare ∀∃-Formeln
• A slow growing analogue to Buchholz' proof
• A uniform characterization of \(\Sigma_1\)-reflection over the fragments of Peano arithmetic
• On Grzegorczyk induction
• scientific article; zbMATH DE number 4039893 (Why is no real title available?)
• scientific article; zbMATH DE number 733384 (Why is no real title available?)

This page was built for publication: Majorizing provably recursive functions in fragments of PA

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3720596)