Fragments of Arithmetic and true sentences
type: Item
instance of: scholarly article
title: Fragments of Arithmetic and true sentences
zbMATH Open document ID: 1067.03064
author: Andrés Cordón-Franco
author: Alejandro Fernández Margarit
author: F. Félix Lara Martin
published in: Mathematical Logic Quarterly
publication date: 2005-06-01T00:00:00Z
full work available at URL: https://idus.us.es/handle//11441/87545
Mathematics Subject Classification ID: 03F30
Mathematics Subject Classification ID: 03C62
Mathematics Subject Classification ID: 03H15
zbMATH DE Number: 2173125
zbMATH Keywords: fragments of arithmetic
zbMATH Keywords: parameter-free schemes
zbMATH Keywords: quantifier complexity
zbMATH Keywords: \(\Delta_{n+1}\)-formulas
zbMATH Keywords: true sentences
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1517203860
cites work: Induction rules, reflection principles, and provably recursive functions
cites work: Parameter free induction and provably total computable functions
cites work: On the induction schema for decidable predicates
cites work: Some result on \({\mathbf L}\Delta_{n+1}^-\)
cites work: Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
cites work: Q3778748
cites work: Q4001935
cites work: On parameter free induction schemas
cites work: The optimality of induction as an axiomatization of arithmetic
cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction
cites work: Q3895478
cites work: On the scheme of induction for bounded arithmetic formulas
DOI: 10.1002/MALQ.200410034
description: scientific article; zbMATH DE number 2173125