Finite combinatorics and computability theory

Damir D. Dzhafarov, Jun le Goh

We prove that the existence of finite combinatorial objects such as affine planes, mutually orthogonal Latin squares, and resolvable balanced incomplete block designs can be reform…