Finite Combinatorics and Fragments of Arithmetic

Wei Wang

In fragments of first order arithmetic, definable maps on finite domains could behave very differently from finite maps. Here combinatorial properties of $\hat{I}{\pounds }_{n+1}$-definable maps…