Tarski’s theorem on the completeness of elementary algebra and geometry
E353627
UNEXPLORED
Tarski’s theorem on the completeness of elementary algebra and geometry is a foundational result in mathematical logic showing that the first-order theory of real closed fields (capturing elementary algebra and Euclidean geometry) is complete, decidable, and admits quantifier elimination.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Alfred Tarski
→
|
knownFor |