Tarski (1948) established quantifier elimination for real-closed fields, a result which also shows the theory of the field of real numbers is decidable.
Ο Τάρσκι (1948) θέσπισε την απαλοιφή ποσοδεικτών για real-closed πεδία, αποτέλεσμα που επίσης δείχνει ότι η θεωρία πεδίων των πραγματικών αριθμών είναι αποκρίσιμο.