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
Other mathematics-related work
edit- Bernays-Tarski axiom system
- Banach–Tarski paradox
- Lindenbaum–Tarski algebra
- Łukasiewicz-Tarski logic
- Jónsson–Tarski duality
- Jónsson–Tarski algebra
- Gödel–McKinsey–Tarski translation
- The semantic theory of truth is sometimes referred to as Tarski's definition of truth or Tarski's truth definitions.
- Tarski's axiomatization of the reals
- Tarski's axioms for plane geometry
- Tarski's circle-squaring problem
- Tarski's exponential function problem
- Tarski–Grothendieck set theory
- Tarski's high school algebra problem
- Tarski–Kuratowski algorithm
- Tarski monster group
- Tarski's plank problem
- Tarski's problems for free groups
- Tarski–Vaught test
- Tarski's World
Other
edit- 13672 Tarski, a main-belt asteroid