A note on parameter free _1-induction and restricted exponentiation

DOI10.1002/MALQ.201010013MaRDI QIDQ3096079zbMATH OpenOpenAlexFDO

Authors Andrés Cordón-Franco, Alejandro Fernández Margarit, F. Félix Lara Martin

Publication date 7 November 2011

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

Full work available at URL https://doi.org/10.1002/malq.201010013

zbMATH Keywords

exponentiationfirst-order arithmeticparameter-free induction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15)

Recommendations

• Conservation results for parameter-free _n-induction
• scientific article; zbMATH DE number 1088194
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• Fragments of Arithmetic and true sentences
• scientific article; zbMATH DE number 4035826

Cites work

• Fragments of Arithmetic and true sentences
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• On n-quantifier induction
• On parameter free induction schemas
• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
• On the scheme of induction for bounded arithmetic formulas
• On Σ₁‐definable Functions Provably Total in I ∏
• Parameter free induction and provably total computable functions

Cited in

(8)

• Unprovability results for clause set cycles
• Induction and Skolemization in saturation theorem proving
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• Conservation results for parameter-free _n-induction
• scientific article; zbMATH DE number 4075046 (Why is no real title available?)
• On A Problem Concerning Parameter Free Induction
• Fragments of Arithmetic and true sentences
• Peano Corto and Peano Basso: a study of local induction in the context of weak theories

This page was built for publication: A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation

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