Pillay and Charles Steinhorn, Definable sets in ordered structures (1986)

by Anand
Venue:I, Transactions of the American Mathematical Society