A note on parameter free Π1 -induction and restricted exponentiation

DOI10.1002/malq.201010013zbMath1238.03048OpenAlexW1541395187MaRDI QIDQ3096079

A. Fernández-Margarit, F. F. Lara-Martín, Andrés Cordón-Franco

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)

Related Items (4)

On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving

Cites Work

• Unnamed Item
• Unnamed Item
• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• On the scheme of induction for bounded arithmetic formulas
• Parameter free induction and provably total computable functions
• On parameter free induction schemas
• On Σ₁‐definable Functions Provably Total in I ∏
• Fragments of Arithmetic and true sentences
• On n-quantifier induction

This page was built for publication: A note on parameter free Π₁ -induction and restricted exponentiation