Tiered arithmetics

DOI10.1007/978-3-319-63334-3_6MaRDI QIDQ5214784zbMATH OpenOpenAlexFDO

Authors Helmut Schwichtenberg, Stanley S. Wainer

Publication date 5 February 2020

Published in Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-63334-3_6

zbMATH Keywords

fast and slow-growing hierarchieslinear two-sorted arithmeticpointwise transfinite inductionpolynomial timeprogram extractiontiered arithmetic

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30)

Recommendations

• A hierarchy of ramified theories below PRA
• scientific article; zbMATH DE number 65743
• scientific article; zbMATH DE number 432705
• scientific article; zbMATH DE number 2110622
• Pointwise transfinite induction and a miniaturized predicativity

Cites work

• A new recursion-theoretic characterization of the polytime functions
• An independence result for \((\Pi^ 1_ 1-CA)+BI\)
• Finite investigations of transfinite derivations
• scientific article; zbMATH DE number 432705 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 3797742 (Why is no real title available?)
• scientific article; zbMATH DE number 806752 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Pointwise transfinite induction and a miniaturized predicativity
• Polytime, combinatory logic and positive safe induction
• Proofs and computations
• The proof theory of classical and constructive inductive definitions. A forty year saga, 1968--2008
• The realm of primitive recursion
• Zur Deutung der intuitionistischen Logik

Cited in

(2)

• A hierarchy of ramified theories below PRA
• Verified program extraction in number theory: the fundamental theorem of arithmetic and relatives

This page was built for publication: Tiered arithmetics

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