dc.creator | Borrego Díaz, Joaquín | es |
dc.date.accessioned | 2021-03-26T10:47:26Z | |
dc.date.available | 2021-03-26T10:47:26Z | |
dc.date.issued | 2021 | |
dc.identifier.citation | Borrego Díaz, J. (2021). Algebraic combinatorics in bounded induction. Annals of Pure and Applied Logic, 172 (2) | |
dc.identifier.issn | 0168-0072 | es |
dc.identifier.uri | https://hdl.handle.net/11441/106660 | |
dc.description.abstract | In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on the study of algebro-combinatoric properties of certain definable cuts. Their relationship with segments that satisfy more induction, with those limited by the standard powers/roots of an element, and also with definable sets in Bounded Induction is studied. As a consequence, some considerations on the Π1-interpretability of IΔ0 in weak theories, as well as some alternative axiomatizations, are reviewed. Some of the results of the paper are obtained by immersing Bounded Induction models in its Stone-Cech Compactification, once it is endowed with a topology. | es |
dc.description.sponsorship | Ministerio de Ciencia, Innovación y Universidades PID2019-109152GB-I00 | es |
dc.format | application/pdf | es |
dc.format.extent | 29 | es |
dc.language.iso | eng | es |
dc.publisher | Elsevier | es |
dc.relation.ispartof | Annals of Pure and Applied Logic, 172 (2) | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Bounded induction | es |
dc.subject | Stone-Čech compactification | es |
dc.subject | Ramsey theorem | es |
dc.subject | Peano Arithmetic | es |
dc.title | Algebraic combinatorics in bounded induction | 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 | PID2019-109152GB-I00 | es |
dc.relation.publisherversion | https://www.sciencedirect.com/science/article/pii/S0168007220301093 | es |
dc.identifier.doi | 10.1016/j.apal.2020.102885 | es |
dc.journaltitle | Annals of Pure and Applied Logic | es |
dc.publication.volumen | 172 | es |
dc.publication.issue | 2 | es |
dc.contributor.funder | Ministerio de Ciencia, Innovación y Universidades (MICINN). España | es |