Complete Theory
Backlinks
Stable Theory
Tarski's high school algebra problem