Fields with automorphism and valuation (Q2204379)

In this short paper, the authors study problems around companionability of the theories involving a valuation and an automorphism on a field. They obtain two results which clarify the situation under the assumption of ``freeness'', that is the authors assume that there is no interaction between the valuation and the automorphism in question. These results are as follows. 1. The model companion of the theory of the aforementioned fields with valuation and automorphism exists. 2. A natural candidate, which is the theory of models of ACFA equipped with a valuation, is NOT this model companion.