Fragments of Arithmetic and true sentences

DOI10.1002/MALQ.200410034zbMATH Open1067.03064OpenAlexW1517203860MaRDI QIDQ4680381FDOQ4680381

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

Publication date: 1 June 2005

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

Full work available at URL: https://idus.us.es/handle//11441/87545

Recommendations

• On the quantifier complexity of \(\Delta_{n+1}(T)\)-induction
• On parameter free induction schemas
• scientific article; zbMATH DE number 4039892
• A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas

zbMATH Keywords

quantifier complexityfragments of arithmetic\(\Delta_{n+1}\)-formulasparameter-free schemestrue sentences

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Nonstandard models of arithmetic (03H15)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Title not available (Why is that?)
• Parameter free induction and provably total computable functions
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• Title not available (Why is that?)
• Induction rules, reflection principles, and provably recursive functions
• On the induction schema for decidable predicates
• On parameter free induction schemas
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• The optimality of induction as an axiomatization of arithmetic
• Title not available (Why is that?)
• Some result on \({\mathbf L}\Delta_{n+1}^-\)

Cited In (13)

• Semi-honest subrecursive degrees and the collection rule in arithmetic
• Fragments of arithmetic
• Theories of initial segments of standard models of arithmetics and their complete extensions
• Title not available (Why is that?)
• Hierarchical incompleteness results for arithmetically definable extensions of fragments of arithmetic
• Order types of models of fragments of Peano arithmetic
• Title not available (Why is that?)
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• A note on Σ₁-maximal models
• On collection schemes and Gaifman's splitting theorem
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
• Title not available (Why is that?)

This page was built for publication: Fragments of Arithmetic and true sentences

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