Department of Mathematical Sciences
Events
People
Colloquia and Seminars
Conferences
Centers
Positions
Areas of Research
About the Department 
Faculty
Rami Grossberg, Professor Ph.D., The Hebrew University of Jerusalem Email: rami@andrew.cmu.edu Office: Wean Hall 7204 Phone: 4122688482 Personal web site Research:My primary area of interest is model theory which is one of the major fields of mathematical logic. My secondary interest is in related combinatorial, settheoretic problems and applications to algebra. I am focusing in the development of a model theory for non firstorder axiomaziable classes, primarily in the context of Abstract Elementary Classes. The program of developing classification theory for AECs was established by Shelah more than 35 years ago, it is his main focus. The goal is to discover structural properties and concepts that will bring model of AECs to a stage of maturity in par with much older areas of pure mathematics like commutative algebra and algebraic geometry. Shelah proposed several test problems to measure progress with the oldest dates back to 1976, the categoricity conjecture. Shelah alone published more than 1,000 pages of difficult mathematics for various partial approximations, but the conjecture is still open. Another far reaching conjecture of Shelah is an extension of what is known as the “Main Gap Theorem”. With Bradd Hart we proved a case of Shelah’s main gap conjecture for atomic models of a firstorder theory (known as excellent classes), later this was extended in my work with my former student Olivier Lessmann for the broader class of homogenous models. At present this is the best known approximation to Shelah’s main gap conjecture. With my former student Monica VanDieren we identified a subclass called tame AECs and we established for tame AECs the strongest known case of Shelah’s catgeoricity conjecture. Recently with my current student Will Boney we managed to discover the illusive notion of forking for AECs and established its basic properties as an abstract independence relation (generalizing pregeometries or matroids). I expect this to have a major effect on future developments. Selected Publications:
