Scifaro

中文

正特征下带自由算子的域的模型论

逻辑 2019-05-16 v3

作者: Özlem Beyarslan , Daniel Max Hoffmann , Moshe Kamensky , Piotr Kowalski

在 arXiv 上查看 ↗ PDF ↗

摘要

我们给出了关于正特征完美域上的有限代数 $B$ 的代数条件，这些条件等价于带“ $B$ -算子”（即来自到与 $B$ 的张量积的同态的算子）的域理论的可伴性。我们表明，在最有趣的局部 $B$ 情形中，这些模型伴子在“最小可能”语言中承认量词消去且它们是严格稳定的。我们还描述了那里的分叉关系。

关键词

模型论域自由算子正特征可伴理论量词消去分叉

引用

@article{arxiv.1806.00464,
  title  = {Model theory of fields with free operators in positive characteristic},
  author = {Özlem Beyarslan and Daniel Max Hoffmann and Moshe Kamensky and Piotr Kowalski},
  journal= {arXiv preprint arXiv:1806.00464},
  year   = {2019}
}