Gunnar_Zarncke comments on Local truth

[Gunnar_Zarncke]

First order reals [...] are “interesting” systems (in the sense that we study them and there are open problems that can be phrased in terms of them) and are consistent and complete.

I wasn’t aware of that. Can you give some link?

[JoshuaZ]

See here.

[Gunnar_Zarncke]

Thanks.

I know quantifier elimination from CS and it makes for some useful practical algorithms but it seems not to be very powerful.