Tarski's theorem

Tarski's theorem may refer to the following theorems of Alfred Tarski:
 * Tarski's theorem about choice
 * Tarski's undefinability theorem
 * Tarski's theorem on the completeness of the theory of real closed fields
 * Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem)
 * Tarski–Seidenberg theorem
 * Some fixed point theorems, usually variants of the Kleene fixed-point theorem, are referred to the Tarski–Kantorovitch fixed–point principle or the Tarski–Kantorovitch theorem although the use of this terminology is limited.
 * The Tarski–Vaught test