List of things named after Alfred Tarski

In the history of mathematics, Alfred Tarski (1901–1983) is one of the most important logicians. His name is now associated with a number of theorems and concepts in that field.

Theorems[edit]

Łoś–Tarski preservation theorem
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