Results
- Special 25th Anniversary BSL Prize
- New JSTOR Access Method
- 2020 Sacks Prize Awarded to J. Walsh
- 2021 Abel Prize Winners
Special 25th Anniversary BSL Prize
The Bulletin of Symbolic Logic was founded 25 years ago. Over the past 25 years, the BSL has published many expository papers of outstanding quality, on a variety of topics, and from a variety of perspectives within logic. These papers have helped students to get started, they have allowed researchers to see connections between different areas, and they have let all of us see some of the history of our subject.
To celebrate, and to advertise the BSL, we are giving a special BSL 25th Anniversary Prize. Here is the list of winning papers from the first 25 years of the BSL:
Jeremy Avigad, "Forcing in proof theory,'' 10(3):305-333, 2004.
Akihiro Kanamori, "The mathematical development of set theory from Cantor to Cohen,'' 2(1):1-71, 1996.
Colin McLarty, "What does it take to prove Fermat's last theorem,'' 16(3):359-377, 2010.
Yiannis N. Moschovakis, "Kleene's amazing second recursion theorem,'' 16(2):189-239, 2010.
Christian Rosendal, "Automatic continuity of group homomorphisms,'' 15(2):184-214, 2009.
Thomas Scanlon, "Diophantine geometry from model theory,'' 7(1):37-57, 2001.
Richard Zach, "Completeness before Post,'' 5(3):331-366, 1999.
The winning papers were chosen by a panel of distinguished logicians, all with significant BSL experience: Patricia Blanchette, Alexander Kechris, Martin Otto, Michael Rathjen, Richard Shore, and Frank Wagner (chair).
Two further papers published in BSL have won the Shoenfield Prize:
Bohuslav Balcar and Thomas Jech, “Weak distributivity, a problem of Von Neumann and the mystery of measurability,” 12 (2): 241-266, 2006.
Rod Downey, Denis Hirschfeldt, Andrew Nies, and Sebastiaan Terwijn, “Calibrating randomness,” 12 (3): 411-49, 2006.
These were excluded from consideration for the anniversary prize.
For more information and to access the winning papers, see: https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/25th-anniversary-prize.
New JSTOR Access Method
In February 2021, JSTOR revised its login procedures for members of organizations such as the ASL. To comply, the ASL is transitioning to a new member access program for JSL and BSL content in JSTOR. Rather than receiving individual accounts directly through JSTOR, ASL members will use a shared institutional login which will be updated annually.
For the login credentials, please contact Shannon Miller at asl@uconn.edu.
2020 Sacks Prize Awarded to J. Walsh
Walsh received his Ph.D. in 2020 from the University of California at Berkeley under the supervision of Paolo Mancosu and Antonio Montalban. His thesis, "Reflection Principles and Ordinal Analysis", presents significant new results on the philosophical and conceptual foundations of proof theory. It identifies natural classes of theories that rule out pathological behaviors that can otherwise arise in ordinal analysis, and it makes important progress towards explaining why proof-theoretic results tend to be robust with respect to the kinds of theories that occur naturally in mathematics.
2021 Abel Prize Winners
The 2021 Abel Prize Laureates are László Lovász (Alfréd Rényi Institute of Mathematics and Eötvös Loránd University, Budapest, Hungary) and Avi Wigderson (Institute for Advanced Study, Princeton, USA). The Norwegian Academy of Sciences chose the Laureates "for their foundational contributions to theoretical computer science and discrete mathematics, and their leading role in shaping them into central fields of modern mathematics." For more information, see the Abel Prize website at https://www.abelprize.no.