Browsing Artículos (Ciencias de la Computación e Inteligencia Artificial) by Subject "Bounded induction"
Now showing items 1-1 of 1
-
Article
Algebraic combinatorics in bounded induction
(Elsevier, 2021)In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...