Conference in Honor of D. A. Martin's 60th Birthday

Organizers:

Stephen Jackson, University of North Texas, Denton, jackson@jove.acs.unt.edu

John R. Steel, University of California, Berkeley, steel@math.berkeley.edu

W. Hugh Woodin, University of California, Berkeley, woodin@math.berkeley.edu

Here are some pictures taken at the conference:

The conference focused on topics close to Martin's work. Here is the meeting schedule, with copies of the speakers' presentations, as available.

• May 27, morning
  • 8:45-9:30 : Coffee, etc. in 1015 Evans
  • 9:30-10:30 : Theodore Slaman, University of California, Berkeley,
    ``High'' is definable in the partial order of the Turing degrees of the recursively enumerable sets,
    abstract and slides of talk
  • 10:30-11:00 : Coffee, etc. in 1015
  • 11:00-12:00 : Stephen Jackson, University of North Texas,
    A survey of the inductive analysis of L(R) assuming determinacy
    slides of talk
  • 12:00-2:00 : Lunch
• May 27, afternoon
  • 2:00-3:00: John Steel, University of California, Berkeley,
    Homogeneously Suslin sets
    slides of talk postscript and pdf
  • 3:00-4:00: Itay Neeman, University of California, Los Angeles,
    Long games
    abstract and slides of talk postscript and pdf
  • 4:00-4:45: Coffee, etc. in 1015
  • 4:45-5:45: Hugh Woodin, University of California, Berkeley,
    Martin cardinals and beyond
• May 28, morning
  • 8:30-9:00: Coffee outside 60 Evans
  • 9:00-10:00: Matthew Foreman, University of California, Irvine,
    Combinatorics of Singular Cardinals, abstract
  • 10:00-10:30: Coffee, etc. in 1015
  • 10:30-11:30: Yiannis Moschovakis, University of California, Los Angeles,
    Applications of recursion in higher types to the semantics of natural languages, abstract and slides of talk postscript
  • 11:30-12:30: Robert Solovay, University of California, Berkeley,
    New Foundations with Urelements and weakly compact cardinals, abstract
  • 12:30-2:30: Lunch
• May 28, afternoon
  • 2:30-3:30: Alexander Kechris, CalTech,
    Applications of ergodic theory to descriptive set theory
  • 3:30-4:00: Coffee, etc., in 1015
  • 4:00-5:00: Alain Louveau, CNRS and Universite de Paris 6,
    Complete S₁¹ equivalence relations, abstract