Metadata
Author: WikiMatrix
Data
English[en]
In A decision method for elementary algebra and geometry, Tarski showed, by the method of quantifier elimination, that the first-order theory of the real numbers under addition and multiplication is decidable.
Dutch[nl]
In A decision method for elementary algebra and geometry liet Tarski door middel van de methode van kwantoreneliminatie zien dat de eerste ordetheorie van de reële getallen onder optelling en vermenigvuldiging beslisbaar is.