Very Informal Gathering of Logicians
in honor of Yiannis N. Moschovakis' 65th Birthday

January 24 – 26, 2003
UCLA
REGISTRATION
Math Sciences  6620
Friday 2:00 – 5:00, Saturday 9:00 – 12:00
(The meeting is open to all, and it is free, although a $20 voluntary contribution is requested of non-student participants.)

Refreshments will be available in Math Sciences 6620 on Saturday and Sunday 9:00 – 10:00.

 

PROGRAM

FRIDAY, JANUARY 24, 2003
Room Knudsen 1200B

  • 3:00 – 3:50
    John Steel
    Models of AD+ derived from mice

  • 4:00 – 4:50
    Phokion Kolaitis
    Constraint satisfaction, finite-variable logics, and bounded treewidth

  • 5:00 – 7:00
    Get-together at Math Sciences 6620

 

SATURDAY, JANUARY 25, 2003
Room Knudsen 1200B

  • 10:00 – 10:50
    Howard Becker
    Finer topologies on pointsets in Polish spaces

  • 11:00 – 11:50
    Charles Parsons
    Structuralism and metaphysics

  • 2:00 – 2:50
    Hugh Woodin
    The Chang model

  • 3:00 – 3:50
    Alex Wilkie
    Some aspects of o-minimality

    (Alex Wilkie will also give a UCLA Mathematics Colloquium
    talk with the title "O-minimality" on Thursday, January 23 at
    4:00 pm in MS 6627.)

  • Informal talks
    4:30 – 4:55
    Jan Mycielski
    Remarks about the history of AD and related matters

    5:00 – 5:25
         Jindrich Zapletal
    The definability of ideals and forcing

    5:30 – 5:55
         Benedikt Loewe
    Silver-measurability of Delta12 and Sigma12 sets

    6:00 – 6:25
         Yiannis Moschovakis
    Is the Euclidean algorithm optimal among its peers?

  • 8:00
    Party (information will be provided during the meeting)

 

SUNDAY, JANUARY 26, 2003
Room Knudsen 1200B

  • 10:00 – 10:50
    Richard Shore
    Intrinsically Pi11 relations and paths through     O

  • 11:00 – 11:50
    Gordon Plotkin
    An algebraic theory of computational effects