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.

- Ł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

- 13672 Tarski, a main-belt asteroid