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 truth theorem is a semantic counterpart to Godel's incompleteness theorem.