List of Things Named After Alfred Tarski - Theorems

Theorems

• Knaster–Tarski theorem (sometimes referred to as Tarski's fixed point theorem)
• Tarski's undefinability 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.
• Tarski's theorem