Consistency statements and iterations of computable functions in I₁ and PRA

DOI10.1007/S00153-010-0199-2MaRDI QIDQ711565zbMATH OpenOpenAlexWikidataFDO

Authors Joost J. Joosten

Publication date 27 October 2010

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-010-0199-2

zbMATH Keywords

conservativitycomputable functionsarithmetical theoriesconsistency statementsdefinable cuts

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Models of arithmetic and set theory (03C62)

Recommendations

• A simple proof of Parsons' theorem
• Fragments of HA based on \(\Sigma_ 1\)-induction
• Fragments of arithmetic
• On some generalizations of the primitive recursive arithmetic
• Things that can and things that cannot be done in PRA

Cites work

• scientific article; zbMATH DE number 4004177 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1215494 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• Existence and feasibility in arithmetic
• Grundlagen der Mathematik I
• Herbrand analyses
• Induction rules, reflection principles, and provably recursive functions
• Notes on polynomially bounded arithmetic
• On n-quantifier induction
• On the scheme of induction for bounded arithmetic formulas
• Proof theory
• Proof-theoretic analysis by iterated reflection
• Quantifier-free and one-quantifier systems
• Saturated models of universal theories
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)

Cited in

(3)

• A simple proof of Parsons' theorem
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Things that can and things that cannot be done in PRA

This page was built for publication: Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA

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