-3
$\begingroup$

I am wondering what other decidable theorem or results that is not weaker or stronger than Tarski's theorem.

Could any one give reference or a simple introduction about such result known in their domain?

$\endgroup$
5
  • 3
    $\begingroup$ Which Tarski's theorem do you have in mind? I think he had few... $\endgroup$
    – Wojowu
    Nov 25, 2014 at 11:26
  • $\begingroup$ @Wojowu, thank you for your comments, which one of his theorems is about decidability? $\endgroup$ Nov 25, 2014 at 11:40
  • 2
    $\begingroup$ One theorem of his shows that theory of real ordered fields is decidable, another says so about his axiomatization of Euclidean geometry. Tarski's undefinability theorem can also be thought as concerning decidability (there is no predicate which "decides" truth of statements). $\endgroup$
    – Wojowu
    Nov 25, 2014 at 11:46
  • 4
    $\begingroup$ Tarski has many results on decidability. The whole Tarski-Mostowski-Robinson monograph is devoted to undecidability of theories. $\endgroup$ Nov 25, 2014 at 12:12
  • $\begingroup$ @EmilJeřábek, you are so severe on any questions, like an excellent judge in supremcourt. But let us list the decidable result near or above any theorems relating Tarski. $\endgroup$ Nov 26, 2014 at 1:29

1 Answer 1

1
$\begingroup$

Ax and Kochen proved decidability for the ring of $p$-adic numbers, and many rings like it. That certainly doesn't follow from Tarski, and I would say it is more difficult.

$\endgroup$
1
  • $\begingroup$ Yes, excellent, David, although I had read their paper several weeks ago. I hope we can have a complete or almost complete list of such answers so as to have an overview of the decidable problem $\endgroup$ Nov 26, 2014 at 0:19

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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