I am studying Model Theory which is one of the main branches of Mathematical logic. More specifically, I am interested in Classification Theory. I have given a couple of papers at the Model Theory seminar at CMU: Shelah's "Categoricity theorem for uncountable firstorder theories [Sh31]" and Shelah's and Cherlin's "Superstable fields and groups". |