Article
Fragments of Arithmetic and true sentences
Author/s | Cordón Franco, Andrés
Fernández Margarit, Alejandro Lara Martín, Francisco Félix |
Department | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Publication Date | 2005 |
Deposit Date | 2019-06-24 |
Published in |
|
Abstract | By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class
of the ¦n+1–sentences true in the standard model is the only (up to deductive
equivalence) consistent ¦n+1–theory which extends the scheme of induction ... By a theorem of R. Kaye, J. Paris and C. Dimitracopoulos, the class of the ¦n+1–sentences true in the standard model is the only (up to deductive equivalence) consistent ¦n+1–theory which extends the scheme of induction for parameter free ¦n+1–formulas. Motivated by this result, we present a systematic study of extensions of bounded quantifier complexity of fragments of first–order Peano Arithmetic. Here, we improve that result and show that this property describes a general phenomenon valid for parameter free schemes. As a consequence, we obtain results on the quantifier complexity, (non)finite axiomatizability and relative strength of schemes for ¢n+1–formulas. |
Project ID. | TIC-137 |
Citation | Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2005). Fragments of Arithmetic and true sentences. Mathematical Logic Quaterly, 51 (3), 313-328. |
Files | Size | Format | View | Description |
---|---|---|---|---|
mlq-2005.pdf | 253.7Kb | [PDF] | View/ | |