Decidability of Configuration Theorems in Projective Planes and Other Incidence Structures

Abstract

The problem of recognizing if a configuration theorem is valid in a given class $\mathcal{C}$ of incidence structures is equivalent to the problem of deciding, for an arbitrary finite incidence structure $I$, whether $I$ is embeddable in some incidence structure in $\mathcal{C}$.