[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 
appreciated.

Martin





More information about the FOM mailing list