{ "id": "1710.07173", "version": "v1", "published": "2017-10-19T15:09:30.000Z", "updated": "2017-10-19T15:09:30.000Z", "title": "Fields with automorphism and valuation", "authors": [ "Özlem Beyarslan", "Daniel Max Hoffmann", "Gönenç Onay", "David Pierce" ], "comment": "24 pages of size A5", "categories": [ "math.LO" ], "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.", "revisions": [ { "version": "v1", "updated": "2017-10-19T15:09:30.000Z" } ], "analyses": { "subjects": [ "03C60", "12H10", "12J10", "12L12" ], "keywords": [ "automorphism", "abraham robinsons method", "finding model completions", "model companions" ], "note": { "typesetting": "TeX", "pages": 24, "language": "en", "license": "arXiv", "status": "editable" } } }