On research leave July 1, 2022 - June 30, 2023

**Research Area:** Mathematical Logic

**Research Profile:** *Model theory and mathematical logic. *

My work has been primarily in model theory and to some degree in set theory. Model theory is the study of the construction and classification of structures inside some specific class of mathematical objects. It has both pure and applied sides which interact heavily. In applied model theory one takes some mathematical object in a given language, say the real numbers in the language of fields with exponentiation, and very carefully analyzes the sub-sets which are definable. This type of elimination theory has several applications in number theory and real algebraic geometry. An example of my work in this area is the first article listed below where we study certain model theoretic conditions in the context of varieties of algebras.

Pure or abstract model theory deals with several issues. The first, which sounds vaguely philosophical, is the question, "Is it possible to know if two structures are not isomorphic?'' This question is at the heart of classification theory. On the more practical side is stability theory which starts out by severely restricting the classes of structures one looks at so as to have a robust dimension theory available. Luckily common mathematical objects such as modules and algebraic groups are examples of stable structures.

Model theory and mathematical logic

**2021/2022**

Math 2LA3

Math 3TP3

Math 4GR3

**2020/2021**

Math 2LA3

Math 711

**2019/2020**

Math 2R03

Math 3TP3

Math 701

**2018/2019**

Math 2R03

Math 3CY3

Math 4ET3

Math 701

**2017/2018**

Math 2R03

Math 3TP3

Math 4E03/6E03

Math 701

**2016/2017**

Math 2R03

Math 4L03/6L03

Math 701

**2015/2016**

On Research Leave

**2014/2015**

Math 1B03

Math 2S03

Math 3EE3

**2013/2014**Math 1B03

Math 2S03

Math 4LT3

Math 711