在所有特征的有限生成域中定义子环

我们给出一种构造，用于在任何特征的有限生成域 $K$ 中构造一个一阶可定义的大子环族。我们推得，对于任意这样的 $K$，存在一阶句子 $\varphi_K$ 在有限生成域类中刻画 $K$，即对于任意有限生成域 $L$，有 $L \models \varphi_K$ 当且仅当 $L \cong K$。这回答了 Pop 及其他人考虑的一个问题。在特征二的情形，我们的结果依赖于奇点消解，而在所有其他特征中则是无条件的。