The Exact Complexity of the First- Order Logic Definibility Problem Marcelo Arenas PUC Chile Gonzalo Díaz University of Oxford.