Fields with automorphism and valuation
\"Ozlem Beyarslan, Daniel Max Hoffmann, G\"onen\c{c} Onay, and David, Pierce
TL;DR
This paper refines Robinson's method to find model companions and applies it to the theory of fields with both a valuation and an automorphism, advancing the understanding of their model-theoretic properties.
Contribution
It introduces a generalized approach for model companions and applies it specifically to fields with automorphisms and valuations, expanding existing theoretical frameworks.
Findings
Established a refined method for model companions.
Applied the method to fields with automorphisms and valuations.
Enhanced understanding of the model theory of valued fields with automorphisms.
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.