Joint Mathematics Meetings Program by Special Session

Current as of Wednesday, April 13, 2005 08:32:18

Joint Mathematics Meetings
Atlanta, GA, January 5-8, 2005
Meeting #1003

• Wednesday January 5, 2005, 8:00 a.m.-10:50 a.m.
  AMS-ASL Special Session on Reverse Mathematics, I
  Organizers:
  Jeff L. Hirst, Appalachian State University jlh@cs.appstate.edu
  Reed Solomon, University of Connecticut
  

  • 8:00 a.m.
    An Introduction to Reverse Mathematics.
    Douglas K. Brown*, Penn State - Altoona College
    (1003-03-1186)
  • 9:00 a.m.
    Proof-Theoretic Strength of the Stable Marriage Theorem.
    Douglas Cenzer*, University of Florida
    Jeffrey B Remmel, University of California--San Diego
    (1003-03-548)
  • 9:30 a.m.
    Ramsey Theory on Trees.
    Timothy H McNicholl*, University of Dallas
    Jeff L Hirst, Appalachian State University
    (1003-03-1427)
  • 10:00 a.m.
    Degrees of Infinite Homogeneous Sets for Computable Stable Colorings of Pairs.
    Denis R. Hirschfeldt*, University of Chicago
    (1003-03-845)
  • 10:30 a.m.
    The atomic model theorem.
    Barbara F. Csima, Cornell University
    Denis R. Hirschfeldt, University of Chicago
    Richard A. Shore*, Cornell University
    (1003-03-1127)
• Thursday January 6, 2005, 8:00 a.m.-11:50 a.m.
  AMS-ASL Special Session on Reverse Mathematics, II
  Organizers:
  Jeff L. Hirst, Appalachian State University jlh@cs.appstate.edu
  Reed Solomon, University of Connecticut
  

  • 8:00 a.m.
    Defining products of $L_p$ functions in subsystems of second-order arithmetic.
    Ksenija Simic*, University of Arizona
    (1003-03-146)
  • 8:30 a.m.
    Almost everywhere domination and the reverse mathematics of measure theory.
    Natasha L. Dobrinen*, Kurt Goedel Research Center for Mathematical Logic, University of Vienna
    Stephen G. Simpson, Pennsylvania State University
    (1003-03-1106)
  • 9:00 a.m.
    Reverse Topology.
    Stephen G. Simpson*, Pennsylvania State University
    (1003-03-973)
  • 10:00 a.m.
    Representing Second Countable Topological Spaces in Second-Order Arithmetic.
    Carl Mummert*, Penn State
    (1003-03-1048)
  • 10:30 a.m.
    Discussion
• Thursday January 6, 2005, 1:00 p.m.-3:50 p.m.
  AMS-ASL Special Session on Reverse Mathematics, III
  Organizers:
  Jeff L. Hirst, Appalachian State University jlh@cs.appstate.edu
  Reed Solomon, University of Connecticut
  

  • 1:00 p.m.
    RM Coding Theory.
    Harvey M. Friedman*, Ohio State University
    (1003-03-1477)
  • 2:00 p.m.
    On the proof theoretic strength of Jullien's results.
    Antonio Montalb\'an*, Cornell University
    (1003-03-944)
  • 2:30 p.m.
    Superatmoic Boolean algebras and $\hbox{\tt ATR}_0$.
    Noam Greenberg*, University of Notre Dame
    Antonio Montalban, Cornell University
    (1003-03-1318)
  • 3:00 p.m.
    Reverse mathematics and the equivalence of definitions for well and better quasi-orders.
    Peter Cholak*, University of Notre Dame
    Alberto Marcone, Universit`a di Udine, Italy
    Reed Solomon, UCONN
    (1003-03-177)
  • 3:30 p.m.
    Finite better quasi orders.
    Alberto Marcone*, Univ. di Udine
    (1003-03-823)