The Bulletin of Symbolic Logic was founded 25 years ago. Over the past quarter century, the Bulletin 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 of research, and they have let all of us see some of the history of our subject.
To celebrate, the Association for Symbolic Logic is giving a special BSL 25th Anniversary Prize. The winning papers were chosen by a panel of distinguished logicians, all with significant BSL experience, including Patricia Blanchette, Alexander Kechris, Martin Otto, Michael Rathjen, Richard Stone and Frank Wagner (chair). Here is the list of winning papers from the first 25 years of the Bulletin. https://www.cambridge.org/core/journals/bulletin-of-symbolic-logic/25th-anniversary-prize What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory Colin McLarty Bulletin of Symbolic Logic, Volume 16, Issue 3 Kleene's Amazing Second Recursion Theorem Yiannis N. Moschovakis Bulletin of Symbolic Logic, Volume 16, Issue 2 Automatic Continuity of Group Homomorphisms Christian Rosendal Bulletin of Symbolic Logic, Volume 15, Issue 2 Forcing in Proof Theory Jeremy Avigad Bulletin of Symbolic Logic, Volume 10, Issue 3 Diophantine Geometry from Model Theory Thomas Scanlon Bulletin of Symbolic Logic, Volume 7, Issue 1 Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic Richard Zach Bulletin of Symbolic Logic, Volume 5, Issue 3 The Mathematical Development of Set Theory from Cantor to Cohen Akihiro Kanamori Bulletin of Symbolic Logic, Volume 2, Issue 1 -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgV%3DTaYaF66TKp%2B9n%2Bhp%3DCHbtSwKrY_QmHnDq8-dxMq1A%40mail.gmail.com.
