Important information regarding the recent AMS power outage.

The transformer that provides electricity to the AMS building in Providence went down on Sunday, April 22. The restoration of our email, website, AMS Bookstore and other systems is almost complete. We are currently running on a generator but overnight a new transformer should be hooked up and (fingers crossed) we should be fine by 8:00 (EDT) Wednesday morning. This issue has affected selected phones, which should be repaired by the end of today. No email was lost, although the accumulated messages are only just now being delivered so you should expect some delay.

Thanks for your patience.


AMS Sectional Meeting Program by Special Session

Current as of Tuesday, April 12, 2005 15:09:04


Program  |  Deadlines  |  Inquiries:  meet@ams.org

Eastern 1993 Spring Sectional Meeting
Washington, DC, April 17-18, 1993
Meeting #881

Associate secretaries:
Lesley M Sibner, AMS lsibner@duke.poly.edu

Special Session on Pure and Applied Recursion Theory

  • Saturday April 17, 1993, 8:30 a.m.-10:50 a.m.
    Special Session on Pure and Applied Recursion Theory, I

    Room 2104, Downing Hall

    • 8:30 a.m.
      Cantor singleton.
      Georgia Martin, University of Maryland, College Park
      James Owings*, University of Maryland, College Park
      (881-03-37)
    • 9:00 a.m.
      On the Cantor-Bendixon rank of recursively enumerable sets.
      Peter Cholak*, University of Michigan, Ann Arbor
      Rod Downey, Victoria University of Wellington, New Zealand
      (881-03-10)
    • 9:30 a.m.
      Iterated relative recursive enumerability.
      Peter A. Cholak, University of Michigan, Ann Arbor
      Peter G. Hinman*, University of Michigan, Ann Arbor
      (881-03-59)
    • 10:00 a.m.
      Non-deterministic recursion.
      Yiannis N. Moschovakis*, University of California, Los Angeles
      (881-03-216)
    • 10:30 a.m.
      Logic on an E-closed set.
      Gerald E. Sacks*, Harvard University and Massachusetts Institute of Technology
      (881-03-17)
  • Saturday April 17, 1993, 3:00 p.m.-5:20 p.m.
    Special Session on Pure and Applied Recursion Theory, II

    Room 2104, Downing Hall

    • 3:00 p.m.
      Game extraction of programs from specifications.
      Anil Nerode*, Cornell University
      Jeffrey B. Remmel, Cornell University
      Alex Yakhnis, Cornell University
      (881-03-73)
    • 3:30 p.m.
      Mixed systems.
      C. J. Ash, Monash University, Australia
      J. F. Knight*, University of Notre Dame
      (881-03-19)
    • 4:00 p.m.
      The structural approach to the P vs. NP problem.
      Stuart A. Kurtz*, University of Chicago
      (881-03-72)
    • 4:30 p.m.
      Priority arguments using iterated trees of strategies, II.
      Steffen Lempp, University of Wisconsin, Madison
      Manuel Lerman*, University of Connecticut, Storrs
      (881-03-40)
    • 5:00 p.m.
      Priority arguments using iterated trees of strategies.
      Steffen Lempp*, University of Wisconsin, Madison
      Manuel Lerman, University of Connecticut, Storrs
      (881-03-39)
  • Sunday April 18, 1993, 8:30 a.m.-10:50 a.m.
    Special Session on Pure and Applied Recursion Theory, III

    Room 238, Douglass Hall

    • 8:30 a.m.
      (alpha,Beta)-selective sets.
      Georgia Martin*, University of Maryland, College Park
      (881-03-12)
    • 9:00 a.m.
      From recursive to on-line coloring of graphs.
      Henry A. Kierstead*, Arizona State University
      (881-03-56)
    • 9:30 a.m.
      Pure and applied PI^0_1 classes.
      Douglas Cenzer*, University of Florida
      (881-03-47)
    • 10:00 a.m.
      A cohesive degree which is not high.
      Carl Jockusch*, University of Illinois, Urbana-Champaign
      Frank Stephan, University of Karlsruhe, Germany
      (881-03-71)
    • 10:30 a.m.
      Jumps of minimal degrees below Q'.
      Rod Downey, Victoria University of Wellington, New Zealand
      Steffen Lempp, University of Wisconsin, Madison
      Richard A. Shore*, Cornell University
      (881-03-09)
  • Sunday April 18, 1993, 3:00 p.m.-4:20 p.m.
    Special Session on Pure and Applied Recursion Theory, IV

    Room 238, Douglass Hall

    • 3:00 p.m.
      Using second order logic.
      John N. Crossley*, Monash University, Australia
      (881-03-154)
    • 3:30 p.m.
      The two quantifier theory of the recursively enumerable weak truth-table degrees in decidable.
      Klaus Ambos-Spies, University of Heidelberg, Germany
      Peter A. Fejer*, University of Massachusetts, Boston
      Steffen Lempp, University of Wisconsin, Madison
      Manuel Lerman, University of Connecticut, Storrs
      (881-03-58)
    • 4:00 p.m.
      Recent progress in priority theory.
      K. Kontostathis*, Villanova University
      (881-03-64)
Inquiries:  meet@ams.org


American Mathematical Society