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.

Template:Disambig