Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas

DOI10.1007/S00153-003-0197-8zbMath1061.03066OpenAlexW2041820615MaRDI QIDQ701746

F. F. Lara-Martín, A. Fernández-Margarit

Publication date: 16 December 2004

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

Full work available at URL: https://doi.org/10.1007/s00153-003-0197-8

zbMATH Keywords

collectioninduction\(\Delta_{n+1}\)-formulasleast number principle

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 ⋮ Local induction and provably total computable functions ⋮ Fragments of Arithmetic and true sentences ⋮ A note on parameter free Π₁ -induction and restricted exponentiation

This page was built for publication: Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas