Search
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 the study of algebro-combinatoric properties of certain definable cuts. Their relationship with ...