The fourteen Victoria Delfino problems and their status in the year 2019

February 1, 2019

The Cabal seminar in southern California was instrumental to the development of determinacy. The Delfino problems were suggested as a way to measure progress on this area. Fourteen problems were suggested in total through the years. Some were solved very quickly after their proposal, a few remain open.

Benedikt Löwe and I wrote a survey of their current status, cleverly titled The fourteen Victoria Delfino problems and their status in the year 2019. The cleverness has forced us to keep changing its title as its publication date kept being postponed. It is scheduled to appear in the fourth volume of the reissued Cabal volumes, which I am told is expected to finally be published this year. The volumes are being published by the Association for Symbolic Logic and Cambridge University Press as part of the Lecture Notes in Logic series.

The survey can be accessed through the Hamburger Beiträge zur Mathematik preprint server; it is paper 770 there. It can also be found through my papers page (currently under notes, and later on, once it appears, under papers).

Advertisements

A puzzle

January 18, 2019

msri

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.

 


MR 2018

December 19, 2018

MR2018


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):

Image-1

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

20181021_102737

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


Open house

October 4, 2018

Mathematical Reviews will have an open house at the upcoming AMS meeting here in Ann Arbor. There will be some snacks, at the very least. The event will take place Saturday October 20, 12:30-2:00 pm at 416 Fourth Street.

For some of the history of the building and a few pictures, see here.


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


Professorship in Logic at the University of Vienna

February 4, 2018

I have been asked to help spread the word. Sy Friedman, the head of the Kurt Gödel Research Center at the University of Vienna (where I had my first postdoc), is retiring, and there is a search underway for a replacement. The KGRC has been significant in fostering a multitude of early career researchers in set theory, and it would be a shame if the position ended up in another discipline.

If you are interested, please consider applying. If you know of someone who may be interested, please help spread the word. The deadline is April 15.

http://personalwesen.univie.ac.at/en/jobs-recruiting/professorships/detail-page/news/mathematical-logic-taking-into-account-the-foundations-of-computer-science/

From the link, the position is for a “University Professor of Mathematical Logic Taking into Account the Foundations of Computer Science”. Applications should be submitted by e-mail to the Dean of the Faculty of Mathematics of the University of Vienna, Univ.-Prof. Dr. Christian Krattenthaler, Oskar-Morgenstern-Platz 1, 1090 Vienna (dekanat.mathematik@univie.ac.at). Further details are at the link.