An Invitation to Model Theory by Jonathan Kirby

Model theory begins with an audacious idea: to consider statements about mathematical structures as mathematical objects of study in their …