consequence deductive systems algebra logic theory definability semantic definition truth among topics semantic methods culminated model theory number berkeley students developed ' history discipline different strands began emerge focus subject shifted techniques around ultraproducts became popular tool model theory time researchers james ax investigating first order model theory various algebraic classes others h jerome keisler
Humanities Philosophy Logic Mathematical logic Model theory