dc.creator | Cordón Franco, Andrés | es |
dc.creator | Fernández Margarit, Alejandro | es |
dc.creator | Lara Martín, Francisco Félix | es |
dc.date.accessioned | 2019-06-24T08:00:04Z | |
dc.date.available | 2019-06-24T08:00:04Z | |
dc.date.issued | 2005 | |
dc.identifier.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. | |
dc.identifier.issn | 0942-5616 | es |
dc.identifier.uri | https://hdl.handle.net/11441/87545 | |
dc.description.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 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. | es |
dc.description.sponsorship | Junta de Andalucía TIC-137 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Wiley | es |
dc.relation.ispartof | Mathematical Logic Quaterly, 51 (3), 313-328. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Fragments of Arithmetic and true sentences | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIC-137 | es |
dc.relation.publisherversion | https://onlinelibrary.wiley.com/doi/abs/10.1002/malq.200410034 | es |
dc.identifier.doi | 10.1002/malq.200410034 | es |
idus.format.extent | 23 | es |
dc.journaltitle | Mathematical Logic Quaterly | es |
dc.publication.volumen | 51 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 313 | es |
dc.publication.endPage | 328 | es |
dc.identifier.sisius | 6634559 | es |