ehud hrushovski 's proof geometric mordell lang conjecture characteristics jonathan pila applied techniques around minimality prove andr oort conjecture products modular curves separate strand inquiries also grew around stable theories laskowski showed nip theories describe exactly definable classes pac learnable machine learning theory history model theory subject existed since approximately middle th century however earlier research especially mathematical logic often regarded model theoretical nature retrospect
Humanities Philosophy Logic Mathematical logic Model theory