Strongly minimal reducts of valued fields

Abstract

We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.