4 ms·
The first order theories of the real numbers using addition and multiplication are decidable [0], while FO theories of the integers under the same operations ar
by jpt4 2y ago
The first order theories of the real numbers using addition and multiplication are decidable [0], while FO theories of the integers under the same operations are not.
[0] https://en.wikipedia.org/wiki/Decidability_of_first-order_theories_of_the_real_numbers https://en.wikipedia.org/wiki/Decidability_of_first-order_th...
- vinnyvichy 2y agoWikipedia can be confusing.. https://mathoverflow.net/questions/134259/is-the-first-order-theory-with-of-real-numbers-with-addition-and-multiplicat https://mathoverflow.net/questions/134259/is-the-first-order...