搜索结果: 1-1 共查到“理学 Classes of Structures”相关记录1条 . 查询时间(0.062 秒)
Uniform Definability and Undecidability in Classes of Structures
Uniform Definability Undecidability Classes of Structures
2011/1/18
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 large families of s...