Tarski's theorem
|
|
Several results obtained by the noted logician Alfred Tarski are commonly referred to as Tarski's theorem:
- Tarski's theorem on real closed fields established the decidability of the first order theory of real numbers.
- The Knaster-Tarski theorem is a result about complete lattices.
- Tarski's indefinability theorem (Tarski's truth theorem) is a semantic counterpart to Godel's incompleteness theorem.