Model theory is unusual as a field where the abstract and ''impractical" machinery of logic has concrete applications. The abstract quality of logic lends a generality to model theory which is a real asset, allowing a ...