Skip to Main Content

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