AMS Meeting Program by Special Session

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

Program | Deadlines | Inquiries: meet@ams.org

Associate secretaries:
Robert M Fossum, AMS rmfossum@uiuc.edu

Saturday October 2, 1993, 09:00-10:50
Special Session on Recursion Theory, I
- 09:00
  Boolean algebras, Stone spaces, and the iterated Turing jump.
  Carl Jockusch*, University of Illinois, Urbana-Champaign
  Robert Soare, University of Chicago
  (885-03-48)
- 09:30
  Effective search problems.
  Martin Kummer*, Universit\"at Karlsruhe
  Frank Stephan, Universit\"at Karlsruhe
  (885-03-26)
- 10:00
  Recursively enumerable Boolean algebras with applications.
  V. L. Selivanov*, Institute of Mathematics, Novosibirsk, Russia and Mathematisches Institut Heidelberg
  (885-03-18)
- 10:30
  Towards a theory of initial segments for the enumeration degrees.
  Andrea Sorbi*, University of Siena, Italy
  Stewart Barry Cooper, University of Leeds, United Kingdom
  (885-03-19)

Saturday October 2, 1993, 14:00-16:50
Special Session on Recursion Theory, II
- 14:00
  On the backward AE- theory of the factor lattice by the major subset relation.
  E. Herrmann*, Humboldt-Universit\"at, Berlin
  (885-03-14)
- 14:30
  Total objects in inductively defined types.
  Lill Kristiansen, University of Oslo, Norway
  Dag Normann*, University of Oslo, Norway
  (885-03-17)
- 15:00
  Feasible torsion-free groups.
  Douglas Cenzer*, University of Florida
  Rodney Downey, University of Wellington, New Zealand
  Jeffrey Remmel, University of California at San Diego, La Jolla
  (885-03-12)
- 15:30
  A characterization of inference degrees.
  Martin Kummer, Universit\"at Karlsruhe
  Frank Stephan*, Universit\"at Karlsruhe
  (885-03-27)
- 16:00
  Decidability and undecidability in the r. e. wtt-degrees.
  Steffen Lempp*, University of Wisconsin, Madison
  (885-03-49)
- 16:30
  Algorithmic randomness.
  Anton\'\i n Ku\v cera*, Charles University, Prague, Czech Republic
  (885-03-25)

Sunday October 3, 1993, 09:00-11:20
Special Session on Recursion Theory, III
- 09:00
  Extending partial order embeddings in the r.e. degrees.
  Theodore A. Slaman*, University of Chicago
  Robert I. Soare, University of Chicago
  (885-03-56)
- 09:30
  The last question on recursively enumerable many-one degress.
  Andre Nies*, Cornell University
  (885-03-16)
- 10:00
  Recursive limit structures.
  Julia F. Knight*, University of Notre Dame
  (885-03-15)
- 10:30
  The strength of Martin-Lof type theories with well-ordering types.
  Edward Griffor*, Uppsala University, Sweden
  Michael Rathjen, Ohio State University, Columbus
  (885-03-29)
- 11:00
  Inductive inference classes.
  Piergiorgio Odifreddi*, University of Torino, Italy
  (885-03-31)

Inquiries: meet@ams.org