Saharon Shelah

Professor Saharon Shelah is the Abraham Robinson Professor of Mathematical Logic at the Hebrew University of Jerusalem. He has also held visiting professorships at the University of California, Los Angeles, Princeton University, Rutgers University, University of Michigan, University of Wisconsin, Simon Fraser University, and University of California, Berkeley. Professor Shelah is a member of the Israel Academy of Sciences and Humanities and the Hungarian Academy of Sciences and has received awards such as the Erdős Prize, Rothschild Prize, Karp Prize, SIAM George Polya Prize, Israel Prize, Bolyai Prize, Wolf Prize, Leroy P. Steele Prize, and EMET Prize. His research interests include mathematical logic, particularly model theory and set theory, applications to group theory, monadic theory of order, Boolean algebra, and abstract computer science. In model theory, he developed classification theory, which led him to a solution of Morley's problem. He also discovered the notion of proper forcing and also showed that there are still highly nontrivial ZFC theorems about cardinal exponentiation.