Bradd Hart
Profile Photo
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

Math 2R03
Math 3TP3
Math 701

Math 2R03
Math 3CY3
Math 4ET3
Math 701

Math 2R03
Math 3TP3
Math 4E03/6E03
Math 701

Math 2R03
Math 4L03/6L03
Math 701

On Research Leave

Math 1B03
Math 2S03
Math 3EE3

Math 1B03
Math 2S03
Math 4LT3
Math 711

A list of publications can be found here.

Currently Supervising:
Jananan Arulseelan (MSc Math) 
Steven Lazzaro (PhD Math)

Past Students:
Jesse Han (MSc Math)
Matthew Luther (PhD Math)

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