On definable subsets of p-adic fields (1976)

by A J Macintyre
Venue:J. Symbolic Logic