Uniform Definability and Undecidability in Classes of Structures

Hector Pasten, Thanases Pheidas, Xavier Vidaux

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for…