Some arithmetical problems that are obtained by analyzing proofs and infinite graphs

Lorenzo Sauras-Altuzarra

Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, suffici…