Borrego Díaz, Joaquín2021-03-262021-03-262021Borrego Díaz, J. (2021). Algebraic combinatorics in bounded induction. Annals of Pure and Applied Logic, 172 (2)0168-0072https://hdl.handle.net/11441/106660In 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.application/pdf29engAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Bounded inductionStone-Čech compactificationRamsey theoremPeano Arithmeticinfo:eu-repo/semantics/articleinfo:eu-repo/semantics/openAccesshttps://doi.org/10.1016/j.apal.2020.102885