Some Results on LΔn+1

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200111)47:4<503::AID-MALQ503>3.0.CO;2-N" /><503::AID-MALQ503>3.0.CO;2-N 10.1002/1521-3870(200111)47:4<503::AID-MALQ503>3.0.CO;2-NzbMath0994.03050OpenAlexW1581717600MaRDI QIDQ2765573

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

Publication date: 16 September 2002

Full work available at URL: https://doi.org/10.1002/1521-3870(200111)47:4<503::aid-malq503>3.0.co;2-n

zbMATH Keywords

minimizationinductionfragments of Peano arithmeticquantifier complexity\(\Delta_{n+1}\)-formulasleast number principlerelative strength

Mathematics Subject Classification ID

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

Related Items (2)

Unnamed Item ⋮ Fragments of Arithmetic and true sentences

This page was built for publication: Some Results on LΔn+1