带自同构与赋值的域
逻辑
2020-12-29 v1
摘要
Abraham Robinson 寻找模型完备化的方法被精炼并推广至模型伴侣，并应用于同时配备一个赋值和一个自同构的域的理论。
关键词
引用
@article{arxiv.1710.07173,
title = {Fields with automorphism and valuation},
author = {Özlem Beyarslan and Daniel Max Hoffmann and Gönenç Onay and David Pierce},
journal= {arXiv preprint arXiv:1710.07173},
year = {2020}
}
备注
24 pages of size A5