Foundations of Mathematics

February 1, 2019

Foundations of Mathematics, Andrés E. Caicedo, James Cummings, Peter Koellner, and Paul B. Larson, eds., Contemporary Mathematics, vol. 690, Amer. Math. Soc., Providence, RI, 2017. DOI: 10.1090/conm/690. MR3656304. Zbl 06733965.

This book contains the proceedings of the conference in honor of Hugh Woodin’s 60th birthday, that I previously discussed on this blog (here, here, and here).

The AMS page for the volume can be found here, including the table of contents and links to the front- and endmatter (which I think are available to everybody) and links to the individual papers (which I imagine may not be).


A puzzle

January 18, 2019


I was recently sent this picture, from the October 1989 set theory workshop at the MSRI as part of its Logic Year.

Paul Larson suggested to crowdsource the problem of identifying the attendants in the picture. Please feel free to participate in the comments and let’s see how far we get.


Special Session

October 22, 2018

Two pictures from last weekend’s Session.

We rescued this one from Instagram a couple of minutes after it happened (Paul noticed that #determinacy was missing from the list):


And a decent group picture. Missing: Maryanthe Malliaris (who took it), Harry Altman and Jeffrey Bergfalk:


Many thanks to all the participants, and to the AMS for making it possible.

Large cardinals and combinatorial set theory

August 28, 2018

Paul Larson and I are organizing a special session at the Fall Central Sectional Meeting 2018 in Ann Arbor, on Large cardinals and combinatorial set theory. The session will take place Saturday October 20 and Sunday October 21. See here for the schedule and additional details. Paul and I are organizing dinner for the speakers for Saturday, at 7:30 p.m.

I transcribe the schedule below:

  • Saturday October 20, 2018, 8:30-11:20 a.m.

Room 2336, Mason Hall

  • Saturday October 20, 2018, 12:30-2:00 p.m. Open house at Mathematical Reviews.

416 Fourth Street

  • Saturday October 20, 2018, 2:00-4:20 p.m.

Room 2336, Mason Hall

Atrium, East Hall.

  • Sunday October 21, 2018, 8:00-10:20 a.m.

Room 2336, Mason Hall

  • Sunday October 21, 2018, 1:00-3:50 p.m.

Room 2336, Mason Hall

Set theory, logic and Ramsey theory

October 16, 2017

José G. Mijares and I are organizing a special session at the 2018 Joint Mathematics Meetings in San Diego, cosponsored by the AMS and the ASL, on Set theory, logic and Ramsey theory. The session will take place the morning of Wednesday January 10 and the morning and afternoon of Thursday January 11. See here for the schedule and additional details. I transcribe the schedule below:

Bogotá, September 17-20, 2014, 50 años carrera de matemáticas, Universidad de los Andes

September 17, 2016

I ran last night into the Flickr page for this conference essentially by accident. Couldn’t find who to credit for this picture.




July 5, 2016


Help us identify all mathematicians in this picture (click on it for a larger version). Please post comments here, on G+, or email me or Paul Larson.

The picture will appear in the book of proceedings of the Woodin conference, (Thanks to David Schrittesser for allowing us to use it.)