From Tables to Topos: How Codd, Lambda-Calculus, and Turing Add Up to Model-Completeness

Ask three different theorists what completeness means and you’ll get three different answers: