Jónsson-Tarski algebra

Jónsson-Tarski topos

Lindenbaum-Tarski algebra

Tarski-Seidenberg theorem

Knaster-Tarski theorem

correspondence theory of truth

Euclidean geometry