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-21T08:18:13Z | |
dc.date.available | 2019-06-21T08:18:13Z | |
dc.date.issued | 2011 | |
dc.identifier.citation | Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2011). A note on parameter free Π1-induction and restricted exponentiation. Mathematical Logic Quaterly, 57 (5), 444-455. | |
dc.identifier.issn | 0942-5616 | es |
dc.identifier.uri | https://hdl.handle.net/11441/87541 | |
dc.description.abstract | We characterize the sets of all Π2 and all $\mathcal {B}(\Sigma _{1})$equation image (= Boolean combinations of Σ1) theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to $\mathcal {B}(\Sigma _{n+1})$equation image sentences cannot be extended to Πn + 2 sentences. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia MTM2005-08658 | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia MTM2008-06435 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Wiley | es |
dc.relation.ispartof | Mathematical Logic Quaterly, 57 (5), 444-455. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | First order arithmetic | es |
dc.subject | Parameter free induction | es |
dc.subject | Exponentiation | es |
dc.title | A note on parameter free Π1-induction and restricted exponentiation | es |
dc.type | info:eu-repo/semantics/article | es |
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 | MTM2005-08658 | es |
dc.relation.projectID | MTM2008-06435 | es |
dc.relation.publisherversion | https://onlinelibrary.wiley.com/doi/full/10.1002/malq.201010013 | es |
dc.identifier.doi | 10.1002/malq.201010013 | es |
idus.format.extent | 12 | es |
dc.journaltitle | Mathematical Logic Quaterly | es |
dc.publication.volumen | 57 | es |
dc.publication.issue | 5 | es |
dc.publication.initialPage | 444 | es |
dc.publication.endPage | 455 | es |