A note on valued fields with finite group actions
Piotr B{\l}aszkiewicz, Jakub Gogolok
TL;DR
This paper proves that the theory of valued fields with a finite group action admits a model companion, advancing understanding of their logical structure.
Contribution
It establishes the existence of a model companion for valued fields with finite group actions, a new result in model theory.
Findings
Existence of a model companion for valued fields with finite group actions
Advancement in the model theory of valued fields
Foundation for further logical analysis of such fields
Abstract
In this preliminary note we prove that the theory of valued fields equipped with an action of a given finite group has a model companion.
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.
Taxonomy
TopicsAdvanced Topology and Set Theory · Computability, Logic, AI Algorithms · Mathematical Dynamics and Fractals