Fields with automorphism and valuation
arXiv:1710.07173 · doi:10.1007/s00153-020-00728-5
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.
24 pages of size A5