(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. ?

Like this:

LikeLoading...

Related

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, […]

Yes. This is a consequence of the Davis-Matiyasevich-Putnam-Robinson work on Hilbert's 10th problem, and some standard number theory. A number of papers have details of the $\Pi^0_1$ sentence. To begin with, take a look at the relevant paper in Mathematical developments arising from Hilbert's problems (Proc. Sympos. Pure Math., Northern Illinois Un […]

I am looking for references discussing two inequalities that come up in the study of the dynamics of Newton's method on real-valued polynomials (in one variable). The inequalities are fairly different, but it seems to make sense to ask about both of them in the same post. Most of the details below are fairly elementary, they are mostly included for comp […]

Let $C$ be the standard Cantor middle-third set. As a consequence of the Baire category theorem, there are numbers $r$ such that $C+r$ consists solely of irrational numbers, see here. What would be an explicit example of a number $r$ with this property? Short of an explicit example, are there any references addressing this question? A natural approach would […]

Not necessarily. That $\mathfrak m$ is consistently singular is proved in MR0947850 (89m:03045) Kunen, Kenneth. Where $\mathsf{MA}$ first fails. J. Symbolic Logic 53(2), (1988), 429–433. There, Ken shows that $\mathfrak{m}$ can be singular of cofinality $\omega_1$. (Both links above are behind paywalls.)

Ignas: It is not possible to provide an explicit expression for a non-linear solution. The reason is that (it is a folklore result that) an additive $f:{\mathbb R}\to{\mathbb R}$ is linear iff it is measurable. (This result can be found in a variety of places, it is a standard exercise in measure theory books. As of this writing, there is a short proof here. […]

What is the context? In the setting of analysis, $\sum_{i\in\mathbb N}x_i$ is defined as usual; other than that, the infinite sum $\sum_{i\in I}x_i$ is defined only when $\sum_i|x_i|$ is defined (so, we do not have a proper theory of conditionally convergent series). Assume then that the $x_i$ are non-negative, in which case $\sum_i x_i$ is defined as the un […]

There are several nice proofs of the result. The most intuitive I'm aware of is the following: We may as well assume that $A$ and $B$ are disjoint. Consider the directed graph whose set of vertices is $A\cup B$, in which you add an edge from $a$ to $b$ precisely if $a\in A$, $b\in B$, and $f(a)=b$, or $a\in B$, $b\in A$, and $g(a)=b$. Now consider the c […]

A forcing collapses cardinals iff (by definition) some cardinal of the ground model is no longer a cardinal in the forcing extension. Naturally, this means that there is some $\kappa$ in the ground model whose cardinality in the extension is strictly smaller than $\kappa$ (e.g., let $\kappa$ be the first cardinal that witnesses the definition above). Note th […]

$\mathrm{HOD}$ always contains $L$ because any inner model contains $L$, by absoluteness. How easy it is to exhibit a difference really depends on your background. For instance, $0^\sharp$, if it exists, is a real that always belongs to $\mathrm{HOD}$ but is not in $L$. If you are not too comfortable with large cardinals, but know forcing, you may enjoy prov […]

The classical definition of $0^\sharp$ is as (the set of Gödel numbers of) a theory, namely, the unique Ehrenfeucht-Mostowski blueprint satisfying certain properties (coding indiscernibility). This is a perfectly good definition formalizable in $\mathsf{ZFC}$, but $\mathsf{ZFC}$ or even mild extensions of $\mathsf{ZFC}$ are not enough to prove that there are […]

RT @KamerynJW: I'll be speaking next Friday in the CUNY set theory seminar about separating clopen and open class determinacy. https://t.co…3 hours ago

@JohannaF_math I've also used Sage and Mathematica/Wolfram for graphs of functions, but not for the sort of graphs you mean. 6 hours ago

@JohannaF_math (I never played with it much, but several math ed people at Boise liked it.) 7 hours ago

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, […]