JOURNAL OF SYMBOLIC LOGIC, vol.81, no.2, pp.510-523, 2016 (Journal Indexed in SCI)
Article / Article
Title of Journal :
JOURNAL OF SYMBOLIC LOGIC
We prove that if a strongly minimal nonlocally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.