arXiv Analytics

Sign in

arXiv:1710.07173 [math.LO]AbstractReferencesReviewsResources

Fields with automorphism and valuation

Özlem Beyarslan, Daniel Max Hoffmann, Gönenç Onay, David Pierce

Published 2017-10-19Version 1

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.

Comments: 24 pages of size A5
Categories: math.LO
Subjects: 03C60, 12H10, 12J10, 12L12
Related articles: Most relevant | Search more
arXiv:1309.5751 [math.LO] (Published 2013-09-23)
Quantifier Elimination for Valued Fields Equipped with an Automorphism
arXiv:2104.10632 [math.LO] (Published 2021-04-21)
Groups definable in partial differential fields with an automorphism
arXiv:1502.06521 [math.LO] (Published 2015-02-23)
Model Theory of Compact Complex Manifolds with an Automorphism

Links

Toolbox