Fields with automorphism and valuation
Logic
2020-12-29 v1
Abstract
Abraham Robinson's method for finding model completions is refined and and generalized for model companions and is applied to the theory of fields equipped with both a valuation and an automorphism.
Keywords
Cite
@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}
}
Comments
24 pages of size A5