Tarski's theorem Alfred Tarski Complete theory Kleene fixed-point theorem Knaster–Tarski theorem List of things named after Alfred Tarski Tarski's theorem about choice Tarski's undefinability theorem Tarski–Seidenberg theorem Tarski–Vaught test