1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
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…