On $n$-finite companions


Milan Grulović




The main result of this paper is that for Peano arithmetic $(T_{PA})$ holds that for each $n$ there exists $k>n$ such that $T^{f_n}_{PA}\neq T^{f_k}_{PA}$ (3.3).