Shoenfield Prize Recipients

 

2022

Book

Paolo Mancosu, Sergio Galvan, and Richard Zach for An introduction to proof theory—normalization, cut-elimination, and consistency proofs, Oxford University Press, Oxford, 2021. xii+418 pp.

Article

Vasco Brattka for “A Galois connection between Turing jumps and limits”, Log. Methods Comput. Sci. 14 (2018), no. 3, Paper No. 13, 37 pp.

2019

Book

Pierre Simon for A Guide to NIP Theories, Lecture Notes in Logic, 44. Association for Symbolic Logic, Chicago, IL; Cambridge Scientific Publishers, Cambridge, 2015.

Article

John Steel for “Gödel’s program” in the collection, Interpreting Gödel, 153-179, Cambridge University Press, Cambridge, 2014.

2016

Book

Rod Downey and Denis Hirschfeldt for Algorithmic randomness and complexity (Theory and Applications of Computability, Springer-Verlage New York, 2010).

Article

Lou van den Dries for “Lectures on the model theory of valued fields”, published in Model theory in algebra, analysis and arithmetic (Editors: H. Dugald Macpherson and Carlo Toffalori). Lecture Notes in Mathematics (C.I.M.E. Foundation Subseries), volume 2111, Sprinter-Verlag Berlin Heidelberg, 2014, pp. 55-157.

2013

Book

Stevo Todorcevic for Introduction to Ramsey Spaces (Annals of Mathematics Studies, vol. 174, Princeton University Press, Princeton, NJ, 2010).

Article

Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson, and Alexander Usvyatsov for “Model Theory for Metric Structures,” published in Model Theory with Applications to Algebra and Analysis, Vol. II, (edited by Z. Chatzidakis, D. Macpherson, A. Pillay, and A. Wilkie), Lecture Notes of the London Mathematical Society, No. 350, Cambridge University Press, 2008, 315–427.

2010

Book

John T. Baldwin for Categoricity (American Mathematical Society University Lecture Series, 2009).

Article

Rod Downey, Denis Hirschfeldt, Andrew Nies, and Sebastiaan Terwijn for “Calibrating randomness”, published in the Bulletin of Symbolic Logic, vol. 12, no. 3 (September 2006), pp. 411-491.

2007 (Inaugural)

Book

John P. Burgess for Fixing Frege (Princeton University Press, 2005) and David E. Marker for Model Theory: an Introduction (Springer, 2002).

Article

Bohuslav Balcar and Thomas Jech for “Weak distributivity, a problem of Von Neumann and the mystery of measurability”, published in The Bulletin of Symbolic Logic, vol. 12, no. 2 (June 2006), pp. 241-266.