Tarski's theorem
From Free net encyclopedia
(Difference between revisions)
| Revision as of 17:55, 27 December 2005 Lethe (Talk | contribs) dab ← Previous diff |
Current revision Lethe (Talk | contribs) dab |
Current revision
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.