Computable fields and arithmetically definable ordered fields (1970)

by A H Lachlan, E W Madison
Venue:Proc. Amer. Math. Soc