(If someone has a version in higher resolution, or pictures of the conference, please contact John Steel, or myself.)

A very incomplete key, possibly with mistakes:

First row: ?, Diego Rojas-Rebolledo, ?, Leo Harrington, Ernest Schimmerling.

Second: Peter Koekpe; Alexandra, Hugh, and Christine Woodin; Xianghui Shi, me, John Clemens.

Third: John Steel, Alessandro Andretta, Tony Martin.

Fourth: Stevo Todorcevic, Paul Corazza, Philip Welch, Ilijah Farah, Qi Feng, ?, Martin Zeman, Robert Solovay, Richard Laver, Erik Closson (?), James Cummings.

Fifth: ?, Itay Neeman, Thomas Jech, Greg Hjorth, Joan Moschovakis (?), Yiannis Moschovakis, Matthew Foreman (?), Ted Slaman, Jindra Zapletal, Joan Bagaria.

Sixth: Benedikt Löwe, ?, Jean Larson, Bill Mitchell, ?, Carlos di Prisco, ?, Mike Oliver, ?, Lorenz Halbeisen, Derrick Duboise, Peter Koellner.

Seventh, etc: Herb Enderton, ?, ?, Joel Hamkins, Alain Louveau, Slawomir Solecki, ?, Mack Stanley, ?, ?, Tomek Bartoszynski, Paul Larson, Lisa Marks, Richard Ketchersid. ?

This entry was posted on Thursday, May 23rd, 2013 at 10:26 pm and is filed under Conferences, Life. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

[…] this picture a few days ago, when looking at the old photos from the Martin Conference. I posted here the group picture from that conference. John Steel should be posting the other pictures soon (well, […]

(1) Patrick Dehornoy gave a nice talk at the Séminaire Bourbaki explaining Hugh Woodin's approach. It omits many technical details, so you may want to look at it before looking again at the Notices papers. I think looking at those slides and then at the Notices articles gives a reasonable picture of what the approach is and what kind of problems remain […]

It is open whether the continuum hypothesis for an infinite set $E$ implies the well-orderability of $E$. Of course, if $CH(E)$ holds, then the assumption in your (first) statement holds. ($CH(E)$ is the statement that any subset $A$ of $\mathcal P(E)$, either $A$ injects into $E$, or else $A$ is in bijection with $\mathcal P(E)$.) This is a question that da […]

I saw a while ago in a book by Clifford Pickover, that whether $\displaystyle \sum_{n=1}^\infty\frac1{n^3\sin^2 n}$ converges is open. I would think that the question of its convergence is really about the density in $\mathbb N$ of the sequence of numerators of the standard convergent approximations to $\pi$ (which, in itself, seems like an interesting quest […]

This is open. In $L(\mathbb R)$ the answer is yes. Hugh has several proofs of this, and it remains one of the few unpublished results in the area. The latest version of the statement (that I know of) is the claim in your parenthetical remark at the end. This gives determinacy in $L(\mathbb R)$ using, for example, a reflection argument. (I mentioned this a wh […]

A good reference for this is the paper Y. Katznelson and K. Stromberg. "Everywhere differentiable, nowhere monotone, functions, Am. Math. Monthly, 81 (4), (1974), 349-353. There, the authors give an explicit construction of a function $L:\mathbb R\to\mathbb R$ that is differentiable, with bounded derivative, and such that all three sets $\{x\mid L' […]

First of all, the integer interval $A=[0,(p-1)/2]$ has $(p+1)/2$ elements. If the function $a\mapsto a^2\pmod p$ from $A$ into the set of residue classes modulo $p$ is injective, its image has size $(p+1)/2$ as well. But the function is injective, since $a^2\equiv b^2\pmod p$ implies that $p\mid(a-b)(a+b)$, so $p\mid (a-b)$ or $p\mid(a+b)$. But if $a,b\in A$ […]

Let me write $PA$ for $P(A)$, to save us some parentheses. Note first that the invariance under translation gives us that $P\{0\}=P\{x\}$ for all $x\in[0,1]$. I claim that this common value must be different from $0$. The reason is that, otherwise, $P[a,b]=P(a,b]=P[a,b)=P(a,b)$ for all $a\le b$, a contradiction. It follows that $P\{0\}=P\{x\}\ne0$. Countable […]

I will focus mostly in the follow-up question of whether there is progress on the continuum problem, but along the way I mention some of the results relating $\mathsf{AC}$ and $\mathsf{CH}$. First of all, in the context of first order $\mathsf{ZF}$, neither statement implies the other, and each of the four possible combinations is relatively consistent with […]

If it were possible, for some integer $n$ we would be able to find uncountably many of your sets that meet the interval $[n,n+1]$ in a set of positive measure. But then for some positive integer $m$, uncountably many of them would meet it in a set of measure strictly larger than $1/m$. This is impossible, since the union of any $m+1$ of them would be a measu […]

This is in general false. For instance, let $\mathfrak c=|\mathbb R|$, thought of as an ordinal. Let $I=\mathfrak c$, $A=\mathbb R$, and $(a_\alpha\mid \alpha

I’ll try to post a key over the next few days. [

Edit:Added, though terribly incomplete.][…] this picture a few days ago, when looking at the old photos from the Martin Conference. I posted here the group picture from that conference. John Steel should be posting the other pictures soon (well, […]