当前位置:
X-MOL 学术
›
Arch. Math. Logic
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Fields with automorphism and valuation
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2020-03-31 , DOI: 10.1007/s00153-020-00728-5 Özlem Beyarslan , Daniel Max Hoffmann , Gönenç Onay , David Pierce
中文翻译:
具有自同构和赋值的字段
更新日期:2020-03-31
Archive For Mathematical Logic ( IF 0.3 ) Pub Date : 2020-03-31 , DOI: 10.1007/s00153-020-00728-5 Özlem Beyarslan , Daniel Max Hoffmann , Gönenç Onay , David Pierce
The model companion of the theory of fields with valuation and automorphism (of the pure field structure) exists. A counterexample shows that the theory of models of ACFA equipped with valuation is not this model companion.
中文翻译:
具有自同构和赋值的字段
存在具有(纯字段结构的)估值和自同构的字段理论的模型伴侣。一个反例表明,配备有估值的ACFA模型理论不是该模型的伴侣。