Re: Construction of a real closure

Yes, that seems exactly the sort of thing I was asking about. Michael On Thu, 4 May 2006, Phil Scott wrote:

Dear Mike: One reference is the work of M-F Coste-Roy and H. Lombardi in Real Algebraic Geometry; a quick Google search yielded:

http://hlombardi.free.fr/publis/AMega90-1.html

Also they have some papers in the J.ACM, apparently.

In fact, it seems to be a huge area of model theory: see http://name.math.univ-rennes1.fr/michel.coste/Borel/w1abs.html

Cheers, Phil