Department of Mathematical SciencesEvents People Colloquia and Seminars Conferences Centers Positions Areas of Research About the Department
Ph.D., The Hebrew University of Jerusalem
Office: Wean Hall 7204
Personal web site
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, set-theoretic problems and applications to algebra.
I am focusing in the development of a model theory for non first-order 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 first-order 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 pre-geometries or matroids). I expect this to have a major effect on future developments.