结构类的一致可定义性与不可判定性
Uniform Definability and Undecidability in Classes of Structures
摘要：
我们提出了一个统一的理论编码的概念，并开发与此概念相关的工具。作为一个应用，我们得到了一般的不可判定性的结果是一致的大家庭的结构。在此基础上，我们在函数域的大类和多项式环中统一定义了等价关系“$x\sim y$当且仅当$x$是$y$在Frobenius映射上的一个环，反之亦然”.
英文摘要：
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 structures. In the way, we define uniformly in the characteristic the equivalence relation "$x\sim y$ if and only if $x$ is an iterate of $y$ throuh the Frobenius map, or vice versa" in large classes of function fields and in polynomial rings.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
