Angus Macintyre. On Definable Subsets of p-Adic Fields. Journal of Symbolic Logic, 41(3):605-610, 1976.
@article{MacIntyre76, title = {On Definable Subsets of p-Adic Fields}, author = {Angus Macintyre}, year = {1976}, researchr = {https://researchr.org/publication/MacIntyre76}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {41}, number = {3}, pages = {605-610}, }