There clearly is a wonderful story hiding in here.

## 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).

## Special Session

October 22, 2018Two 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, 2018Paul 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

- 8:30 a.m.

Ultrafilters and inner models.

**Gabriel T Goldberg***, Harvard

(1143-03-483) - 9:00 a.m.

Partitions and Ultrafilters.

**Andreas R. Blass***, Mathematics Dept., Univ. of Michigan

(1143-03-457) - 9:30 a.m.

Baumgartner’s isomorphism theorem for Kurepa lines.

**Hossein Lamei Ramandi***, Postdoctoral fellow at University of Toronto

(1143-03-410) The talk will be given by**Justin Tatch Moore**on behalf of Ramandi. - 10:00 a.m.

Forcing axioms and rigidity of corona algebras.

**Paul McKenney***, Miami University

**Alessandro Vignati**, Institute de Mathematiques de Jussieu – Paris Rive Gauche

(1143-03-465) - 10:30 a.m.

Equivalence of generic reals.

**Iian B Smythe***, Rutgers University

(1143-03-436) - 11:00 a.m.

ITP.

**Dima Sinapova***, University of Illinois at Chicago

(1143-03-370)

**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

- 2:00 p.m.

Strong Tree Property and Failure of SCH.

**Jin Du***, Chicago, IL

(1143-03-369) - 2:30 p.m.

Choosing and multichoosing with ordinals.

**Harry J Altman***, University of Michigan

(1143-06-391) - 3:00 p.m.

Large cardinals and the cohomology of the ordinals.

**Jeffrey Bergfalk***, UNAM Morelia

(1143-03-486) - 3:30 p.m.

P-ideals and the weak Rudin-Keisler order.

**Konstantinos A. Beros***, Miami University

**Paul B. Larson**, Miami University

(1143-03-338) - 4:00 p.m.

There may be no minimal non (\sigma)-scattered linear orders.

**Hossein Lamei Ramandi**, University of Toronto

**Justin Tatch Moore***, Cornell University

(1143-03-248) **Saturday October 20, 2018, 6:00-7:00 p.m.**Reception

Atrium, East Hall.

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

Room 2336, Mason Hall

- 8:00 a.m.

The Halpern-Läuchli Theorem and Forcing.

**Daniel J Hathaway***, University of Vermont

**Natasha Dobrinen**, University of Denver

(1143-03-175) - 8:30 a.m.

Characterizations of the weakly compact ideal on .

**Brent Cody***, Virginia Commonwealth University

(1143-03-203) - 9:00 a.m.

Weakly remarkable cardinals, Erdős cardinals, and the generic Vopěnka principle.

**Trevor M. Wilson***, Miami University (Ohio)

(1143-03-259) - 9:30 a.m.

New results and open problems on the definability of mad families.

**Haim Horowitz***, University of Toronto

(1143-03-196) - 10:00 a.m.

Forcing axioms, approachability, and stationary reflection.

**Sean D Cox***, Virginia Commonwealth University

(1143-03-287)

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

Room 2336, Mason Hall

- 1:00 p.m.

Easton’s theorem with preservation of strong and supercompact cardinals.

**James Cummings***, Carnegie Mellon University

**Arthur W. Apter**, Baruch College, CUNY

(1143-03-378)**Cancelled**. - 1:30 p.m.

The Weak pcf Conjecture.

**Shehzad Ahmed***, Ohio University

(1143-03-414) - 2:00 p.m.

Factoring a minimal ultrafilter into a thick part and a syndetic part.

**Will Brian***, University of North Carolina at Charlotte

**Neil Hindman**, Howard University

(1143-03-507) - 2:30 p.m.

Sticks above the continuum.

**E. Todd Eisworth***, Ohio University

(1143-03-462) - 3:00 p.m.

Coding along trees and remarkable cardinals.

**Zach Norwood***, Cornell University

(1143-03-553) - 3:30 p.m.

Regular ultrafilters.

**M Malliaris***, University of Chicago

(1143-03-4)

## Set theory, logic and Ramsey theory

October 16, 2017José 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:

**Wednesday January 10, 2018, 8:00 a.m.-10:50 a.m.**Room 7B, Upper Level, San Diego Convention Center.- 8:00 a.m.

The triangle-free homogeneous graph had finite big Ramsey degrees.

**Natasha Dobrinen**, University of Denver

(1135-03-2038) - 9:00 a.m.

Sequential--separable spaces.

**Francisco Guevara Parra**, University of Toronto

(1135-03-1369) - 9:30 a.m.

Ramsey Theory on generalized Baire space.

**Daniel J Hathaway**, University of Denver

(1135-03-406) - 10:00 a.m.

Banach Spaces from Barriers in High Dimensional Ellentuck Spaces.

**Alvaro Arias**, University of Denver

(1135-46-2105) - 10:30 a.m.

Reasoning about incomplete structures.

**Andre Kornell**, University of California, Davis

(1135-03-3167)

- 8:00 a.m.
**Thursday January 11, 2018, 8:00 a.m.-11:50 a.m.**Room 7B, Upper Level, San Diego Convention Center- 8:00 a.m.

Canonical functions and the Ramsey property, revisited.

**Michael Pinsker**, Technische Universität Wien

(1135-03-2050) - 9:00 a.m.

Ramsey Theory, Topology and Forcing.

**Marion Scheepers**, Department of Mathematics, Boise State University

(1135-03-1828) - 9:30 a.m.

Madness in vector spaces, round 2.

**Iian B. Smythe**, Rutgers, The State University of New Jersey

(1135-03-1279) - 10:00 a.m.

Some Results on Ramsey-Type Problems for Graph Saturation.

**Michael Ferrara**, University of Colorado Denver

(1135-05-1256) - 10:30 a.m.

Parametrizing topological Ramsey spaces.

**Yuan Yuan Zheng**, University of Toronto

(1135-05-972) - 11:00 a.m.

Hypernatural numbers in ultra-Ramsey theory.

**Timothy Trujillo**, Sam Houston State University

(1135-03-2249) - 11:30 a.m.

Ultrafilters and forcing on the space of block sequences of finite sets.

**Carlos A. Di Prisco**, Universidad de Los Andes

(1135-03-1857)

- 8:00 a.m.
**Thursday January 11, 2018, 1:00 p.m.-3:50 p.m.**

Room 7B, Upper Level, San Diego Convention Center- 1:00 p.m.

Canonical models for fragments of the Axiom of Choice.

**Paul B. Larson**, Miami University

(1135-03-1699) - 1:30 p.m.

Implies .

**Johann D. Gaebler**, Oxford University

(1135-03-1231) - 2:00 p.m.

Unfriendly colorings: a descriptive set-theoretic view.

**Clinton T Conley**, Carnegie Mellon University

(1135-03-2416) - 2:30 p.m.

Models of the Axiom of Determinacy and Their Generic Extensions.

**Nam Trang**, University of California, Irvine

(1135-03-851) - 3:00 p.m.

Some Ramsey theorems on metric spaces.

**Peter Komjath**, Eotvos University, Budapest, Hungary

(1135-03-2686) - 3:30 p.m.

Squares, ascent paths, and chain conditions.

**Chris Lambie-Hanson**, Bar-Ilan University

(1135-03-1194)

- 1:00 p.m.

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

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

## Help!

July 5, 2016Help 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, http://logic.harvard.edu/woodin_meeting.html. (Thanks to David Schrittesser for allowing us to use it.)