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-21T10:18:55Z | |
dc.date.available | 2019-06-21T10:18:55Z | |
dc.date.issued | 2009 | |
dc.identifier.citation | Cordón Franco, A., Fernández Margarit, A. y Lara Martín, F.F. (2009). Existentially Closed Models and Conservation Results in Bounded Arithmetic. Journal of Logic and Computation, 19 (1), 123-143. | |
dc.identifier.issn | 0955-792X | es |
dc.identifier.uri | https://hdl.handle.net/11441/87544 | |
dc.description.abstract | We develop model-theoretic techniques to obtain conservation results for first order Bounded Arithmetic theories, based on a hierarchical version of the well-known notion of an existentially closed model. We focus on the classical Buss' theories Si2 and Ti2 and prove that they are ∀Σbi conservative over their inference rule counterparts, and ∃∀Σbi conservative over their parameter-free versions. A similar analysis of the Σbi-replacement scheme is also developed. The proof method is essentially the same for all the schemes we deal with and shows that these conservation results between schemes and inference rules do not depend on the specific combinatorial or arithmetical content of those schemes. We show that similar conservation results can be derived, in a very general setting, for every scheme enjoying some syntactical (or logical) properties common to both the induction and replacement schemes. Hence, previous conservation results for induction and replacement can be also obtained as corollaries of these more general results. | es |
dc.description.sponsorship | Ministerio de Educación y Ciencia MTM2005-08658 | es |
dc.description.sponsorship | Junta de Andalucía TIC-137 | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Oxford Academic | es |
dc.relation.ispartof | Journal of Logic and Computation, 19 (1), 123-143. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Bounded arithmetic | es |
dc.subject | Existentially closed models | es |
dc.subject | Conservation results | es |
dc.subject | Parameter-free schemes | es |
dc.title | Existentially Closed Models and Conservation Results in Bounded Arithmetic | 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 | MTM2005-08658 | es |
dc.relation.projectID | TIC-137 | es |
dc.relation.publisherversion | https://academic.oup.com/logcom/article/19/1/123/940428 | es |
dc.identifier.doi | 10.1093/logcom/exn030 | es |
idus.format.extent | 21 p. | es |
dc.journaltitle | Journal of Logic and Computation | es |
dc.publication.volumen | 19 | es |
dc.publication.issue | 1 | es |
dc.publication.initialPage | 123 | es |
dc.publication.endPage | 143 | es |
dc.identifier.sisius | 6632801 | es |