- The 2019 ASL Election
- 2019 Sacks Prize
- Robin Hirsch Lectures in Cairo
The 2019 ASL Election
In the 2019 election, Russell Miller and Reed Solomon were re-elected as Co-Secretary-Treasurers of the ASL. Anuj Dawar and Paola D'Aquino were elected to the Executive Committee, and Ralf Schindler and Keita Yokoyama were elected to the Council.
Each of their terms is for three years and began January 1, 2020.
2019 Sacks Prize
The ASL Committee on Prizes and Awards has selected Gabriel Goldberg of Harvard University to receive the 2019 Sacks Prize. The prize consists of a cash award and five years membership in the ASL.
Goldberg received his Ph.D. in 2019 at Harvard University under the supervision of W. Hugh Woodin. In his thesis, “The Ultrapower Axiom”, he isolates and develops a powerful new structural hypothesis for inner models of set theory. The Ultrapower Axiom holds in all inner models built using the current methodology. On the other hand, Goldberg shows it has sweeping structural consequences: the linearity of the Mitchell order on countably complete ultrafilters, a characterization of strong compactness in terms of supercompactness, and GCH above a strongly compact cardinal. The Prize Committee noted the transformational quality of Goldberg’s thesis work within the Inner Model Program.
Robin Hirsch Lectures in Cairo
Robin Hirsch (University of California, Los Angeles), head of the Logic Form in London, is visiting Cairo, Egypt from March 18 until April 2, 2020. During this time, Robin will be giving lectures at the American University in Cairo.
Schedule of Lectures:
• Sunday, March 22 - Robin: An Introductory Lecture
• Wednesday, March 25 - Tarek: Rainbows for cylindric algebras and blow up and blur constructions
• Sunday, March 29 - Tarek: Omitting types for finite variable fragments of Lω, ω
• Tuesday, March 31 - Robin: On rather sophisticated (un)decidability issues and open discussion
Any and all logicians who happen to be in Cairo during this period are cordially invited to attend these lectures at the AUC.
Any questions may be directed to Tarek Sayed-Ahmed (ASL Committee on Logic in Africa) at email@example.com.