## Results

- Apply for ASL Sponsorship of Logic Meeting
- Mailing of Journals
- The 2018 ASL Election
- 2019 Rutherford Lecture
- 2018 Leelavati Prize Video
- In memoriam: Terry Millar
- The 2019 ASL Election

### Apply for ASL Sponsorship of Logic Meeting

To apply for ASL sponsorship of an upcoming logic meeting, contact Russell Miller, co-Secretary-Treasurer of the ASL by visiting this page: http://qcpages.qc.cuny.edu/~rmiller/ASLsponsorship.html Applications should be received at least six months in advance of the beginning of the meeting. If you have any questions or concerns, contact Russell or the ASL Business Office at asl@uconn.edu.

### Mailing of Journals

To improve punctuality, Cambridge University Press has switched to a system of mailing the Journal of Symbolic Logic and the Bulletin of Symbolic Logic separately. In many quarters this will allow one to be dispatched several weeks earlier, while the other is still in production. The Review of Symbolic Logic will continue to be mailed separately from both of the others. The new system will not incur any additional cost to the ASL or its members.

### The 2018 ASL Election

In the 2018 election, Julia Knight was elected as the next President of the ASL, and Phokion Kolaitis as the next Vice President. Denis Hirschfeldt and Andres Villaveces were elected to the Executive Committee, and Agata Ciabattoni and Andreas Weiermann were elected to the Council.

Each of their terms is for three years and began January 1, 2019.

### 2019 Rutherford Lecture

A video of Rod Downey's 2019 Rutherford Memorial Lecture is available at https://royalsociety.org.nz/news/video-logic-maths-and-modern-society. This lecture follows his 2018 Rutherford Medal, awarded by the Royal Society of New Zealand.

### 2018 Leelavati Prize Video

Ali Nesin was awarded the 2018 Leelavati Prize for his work creating the Math Village in Turkey. There is now a video about his work available from the International Mathematical Union at https://www.mathunion.org/imu-awards/leelavati-prize/leelavati-prize-2018.

### In memoriam: Terry Millar

Longtime ASL member Terry Millar, professor emeritus, passed away on March 9, 2019 after a long and heroic battle with cancer. Millar was a faculty member in the Math Department, University of Wisconsin--Madison, from 1976 until his retirement in 2015. After dropping out of college to join the Marines for two years (including a brief stint as forward artillery observer in Vietnam), Millar entered a graduate program at Cornell and received his PhD in 1976 under the direction of Anil Nerode.

During the 1980's, Millar was one of the world's foremost researchers in computable model theory, an area that had been developed by the Novosibirsk school of algebra and logic led by Mal'cev and Ershov, and later by Goncharov, Nurtazin, and Peretyat'kin, as well as in the West by Fröhlich, Shepherdson and Rabin, and later by Metakides, Nerode, Millar, Harrington, and Morley. For a decade, Millar proved some of the same results independently and often simultaneously as researchers in Novosibirsk, but left many questions open to this day. During this period, Millar was the advisor to twelve Ph.D. students who further advanced computable model theory.

The first general results in computable model theory were obtained by following the fundamental notions and results of classical model theory. A model with a computable domain is called computable (weakly constructive) if its atomic diagram is decidable, and is called decidable (strongly constructive) if its elementary diagram is decidable. In 1978, Millar published a seminal paper establishing the foundations of computable model theory. In that and later papers, he produced an extensive body of work on topics regarding the existence of decidable models and the properties of their types, effective versions of the omitting types theorem, decidability of prime, saturated, and homogeneous models, effective Vaught's theorem, and the study of decidable theories with only finitely many as well as with only countably many countable models.

For example, Millar proved that there is a complete decidable theory with a prime model and all types computable, which does not have a computable prime model. He introduced the notion of an almost decidable model and showed that if a complete decidable theory has fewer than continuum many types, then it has an almost decidable prime model. Millar also constructed a complete decidable theory with exactly two non-isomorphic decidable models. In a construction described by a reviewer as ingenious, Millar produced a decidable theory with all types computable, which has only countably many non-isomorphic countable models, and yet has a countable model (in fact, the saturated one) not isomorphic to a decidable one. Millar also proved that the decidability of the existential diagram for a computably categorical model is sufficient to preserve computable categoricity under expansions by finitely many constants.

Millar's other great talent, which he started pursuing in the late 1980's, was administration. He first served for many years as an Associate Dean for Physical Sciences in the UW Graduate School, and then served as an Assistant to the Provost. Up until his retirement, Millar played a key role, along with some UW physics professors, in several of the largest physics experiments, such as IceCube, GERS and CONDOR. He also became heavily involved in mathematics education and teacher training and was in charge of a number of large grants for multiple school districts across the country, including Madison's. Millar received the 2006 Madison Metropolitan School District Distinguished Service Award. A few semesters before his retirement, he returned full time to the UW math department to teach, and revived, in particular, the history of mathematics course using his expertise in both physics and mathematics.

Millar will be remembered for his dedication to family and students, his humor and stories, his athletic ability, his fondness for sports and music, his endless energy and drive, his integrity, and his remarkable intellectual and scientific curiosity and creativity.

### The 2019 ASL Election

At the end of this year the ASL will elect its Secretary-Treasurer, two members of the Executive Committee, and two members of the Council. All terms are for three years beginning January 1, 2020.

The 2019 Nominating Committee has nominated Russell Miller (Queens College CUNY) and Reed Solomon (UConn) for Co-Secretary-Treasurers, Anuj Dawar (Cambridge) and Paola D’Aquino (Campania) for the Executive Committee positions; and Ralf Schindler (Muenster) and Keita Yokoyama (KAIST) for the Council positions.

The Nominating Committee consisted of Michael Benedikt, Elizabeth Bouscaren, Rod Downey, Su Gao, Ulrich Kohlenbach (chair), Penelope Maddy and John Steel.

Additional nominations may be made by petition signed by 20 or more ASL members; such petitions should be received by the ASL Secretary-Treasurer (email asl@uconn.edu or ASL, Department of Mathematics, University of Connecticut, 341 Mansfield Road, U-1009, Storrs, CT 06269-1009, USA) no later than November 1, 2019.

In a contested election, each candidate has the opportunity to make a 100-word statement to be distributed with the ballot.