Elementary theory of valued fields with a valuation-preserving automorphism

Abstract We consider valued fields with a value-preserving automorphism and improve on model-theoretic results by Bélair, Macintyre and Scanlon on these objects by dropping assumptions on the residue difference field. In the equicharacteristic 0 case we describe the induced structure on the value group and the residue difference field.