On definable subsets of p-adic fields, (1976)

by A Macintyre
Venue:Journal of Symbolic Logic