Local induction and provably total computable functions

DOI10.1016/J.APAL.2014.04.012zbMATH Open1316.03037OpenAlexW1999275823MaRDI QIDQ2453069FDOQ2453069

Authors: F. Félix Lara Martin, Andrés Cordón-Franco 

Publication date: 6 June 2014

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2014.04.012

Recommendations

• Local induction and provably total computable functions: a case study
• Parameter free induction and provably total computable functions
• Induction rules, reflection principles, and provably recursive functions
• Computer Science Logic
• Functions provably total in $I^{-}Σ_{n}$

zbMATH Keywords

primitive recursive functionsfirst-order arithmeticconservation resultsparameter-free induction

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

• Title not available (Why is that?)
• Notes on polynomially bounded arithmetic
• Title not available (Why is that?)
• Parameter free induction and provably total computable functions
• Induction rules, reflection principles, and provably recursive functions
• Saturated models of universal theories
• Herbrand analyses
• On parameter free induction schemas
• Title not available (Why is that?)
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• A proof-theoretic analysis of collection
• Functions provably total in $I^{-}Σ_{n}$
• Conservation results for parameter-free \(\Pi_n\)-induction

Cited In (14)

• Functions provably total in $I^{-}Σ_{n}$
• A simple proof of Parsons' theorem
• ON THE LOCAL-INDICABILITY COHEN–LYNDON THEOREM
• On Σ₁‐definable Functions Provably Total in I ∏
• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE
• Computer Science Logic
• An interpretation of Shenoy and Shafer's axioms for local computation
• On the induction schema for decidable predicates
• Provably total functions of Basic Arithmetic
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• On the optimality of conservation results for local reflection in arithmetic
• Parameter free induction and provably total computable functions
• Local induction and provably total computable functions: a case study
• Induction rules in bounded arithmetic

This page was built for publication: Local induction and provably total computable functions

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