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 1718, 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
(8810337)

9:00 a.m.
On the CantorBendixon rank of recursively enumerable sets.
Peter Cholak*, University of Michigan, Ann Arbor
Rod Downey, Victoria University of Wellington, New Zealand
(8810310)

9:30 a.m.
Iterated relative recursive enumerability.
Peter A. Cholak, University of Michigan, Ann Arbor
Peter G. Hinman*, University of Michigan, Ann Arbor
(8810359)

10:00 a.m.
Nondeterministic recursion.
Yiannis N. Moschovakis*, University of California, Los Angeles
(88103216)

10:30 a.m.
Logic on an Eclosed set.
Gerald E. Sacks*, Harvard University and Massachusetts Institute of Technology
(8810317)

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
(8810373)

3:30 p.m.
Mixed systems.
C. J. Ash, Monash University, Australia
J. F. Knight*, University of Notre Dame
(8810319)

4:00 p.m.
The structural approach to the P vs. NP problem.
Stuart A. Kurtz*, University of Chicago
(8810372)

4:30 p.m.
Priority arguments using iterated trees of strategies, II.
Steffen Lempp, University of Wisconsin, Madison
Manuel Lerman*, University of Connecticut, Storrs
(8810340)

5:00 p.m.
Priority arguments using iterated trees of strategies.
Steffen Lempp*, University of Wisconsin, Madison
Manuel Lerman, University of Connecticut, Storrs
(8810339)

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
(8810312)

9:00 a.m.
From recursive to online coloring of graphs.
Henry A. Kierstead*, Arizona State University
(8810356)

9:30 a.m.
Pure and applied PI^0_1 classes.
Douglas Cenzer*, University of Florida
(8810347)

10:00 a.m.
A cohesive degree which is not high.
Carl Jockusch*, University of Illinois, UrbanaChampaign
Frank Stephan, University of Karlsruhe, Germany
(8810371)

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
(8810309)

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
(88103154)

3:30 p.m.
The two quantifier theory of the recursively enumerable weak truthtable degrees in decidable.
Klaus AmbosSpies, University of Heidelberg, Germany
Peter A. Fejer*, University of Massachusetts, Boston
Steffen Lempp, University of Wisconsin, Madison
Manuel Lerman, University of Connecticut, Storrs
(8810358)

4:00 p.m.
Recent progress in priority theory.
K. Kontostathis*, Villanova University
(8810364)
Inquiries: meet@ams.org