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

DOI10.1007/S00153-010-0199-2zbMATH Open1201.03054OpenAlexW2093589140WikidataQ120640954 ScholiaQ120640954MaRDI QIDQ711565FDOQ711565

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

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

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)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Title not available (Why is that?)
• Title not available (Why is that?)
• Notes on polynomially bounded arithmetic
• Title not available (Why is that?)
• Existence and feasibility in arithmetic
• Proof-theoretic analysis by iterated reflection
• Proof theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Grundlagen der Mathematik I
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Title not available (Why is that?)
• On n-quantifier induction
• Induction rules, reflection principles, and provably recursive functions
• Saturated models of universal theories
• Quantifier-free and one-quantifier systems
• Herbrand analyses

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)