Some result on L_n+1^-

DOI10.1002/1521-3870(200111)47:4%3C503::AID-MALQ503%3E3.0.CO;2-NMaRDI QIDQ2765573zbMATH OpenOpenAlexFDO

Authors Alejandro Fernández Margarit, F. Félix Lara Martin

Publication date 16 September 2002

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

Full work available at URL https://doi.org/10.1002/1521-3870(200111)47:4%3C503::aid-malq503%3E3.0.co;2-n

zbMATH Keywords

\(\Delta_{n+1}\)-formulasfragments of Peano arithmeticinductionleast number principleminimizationquantifier complexityrelative strength

Mathematics Subject Classification ID

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

Cited in

(2)

• scientific article; zbMATH DE number 3925486 (Why is no real title available?)
• Fragments of Arithmetic and true sentences

This page was built for publication: Some result on \({\mathbf L}\Delta_{n+1}^-\)

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