Bradd Hart
Profile Photo
Professor
HH 420
(905) 525 9140 ext. 23411
(905) 522-0935
...

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

2017/2018
Math 2R03
Math 3TP3
Math 701

2016/2017
Math 2R03
Math 4L03/6L03
Math 701

2015/2016
On Leave

2014/2015
Math 1B03
Math 2S03
Math 3EE3

2013/2014
Math 2S03
Math 4LT3

A list of publications can be found here.

Currently Supervising:
Jesse Han (MSc Math)
Steven Lazzaro (MSc Math)

Past Students:
Matthew Luther (PhD Math)

Go Back
McMaster University - Faculty of Science | Math & Stats