Tarski's theorem
From Free net encyclopedia
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.