List of things named after Alfred Tarski explained

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

Ł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