[FOM] query about complexity of the theory of [R,+, < ]

Martin Davis martin at eipye.com
Mon Nov 3 14:01:41 EST 2003

A former colleague has asked me about the complexity of this theory:
a) when R is the reals,
b) when R is the rationals
and has also asked whether the two are elementarily equivalent.

Information about the most recent results along these lines would be 


More information about the FOM mailing list