Can integers be defined in the first-order theory of the rationals with addition, multiplication, and order?

  • 1
    $\begingroup$ Order is unnecessary, it is definable from addition and multiplication. $\endgroup$ – André Nicolas Feb 10 '14 at 7:12
  • $\begingroup$ True, I and a friend had just worked this out. Somehow I found it simpler to state it this way. $\endgroup$ – Prateek Feb 10 '14 at 7:13

Yes. It's a much celebrated theorem of Julia Robinson.

Julia Robinson, Definability and Decision Problems in Arithmetic. The Journal of Symbolic Logic, Vol. 14, No. 2 (Jun., 1949) , pp. 98-114


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.