AMS Meeting Program by Special Session

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

Program  |  Deadlines  |  Inquiries:

International Joint Mathematics Meeting
Heidelberg, Germany, October 1-3, 1993
Meeting #885

Associate secretaries:
Robert M Fossum, AMS

Special Session on Recursion Theory

  • 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
    • 09:30
      Effective search problems.
      Martin Kummer*, Universit\"at Karlsruhe
      Frank Stephan, Universit\"at Karlsruhe
    • 10:00
      Recursively enumerable Boolean algebras with applications.
      V. L. Selivanov*, Institute of Mathematics, Novosibirsk, Russia and Mathematisches Institut Heidelberg
    • 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
  • 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
    • 14:30
      Total objects in inductively defined types.
      Lill Kristiansen, University of Oslo, Norway
      Dag Normann*, University of Oslo, Norway
    • 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
    • 15:30
      A characterization of inference degrees.
      Martin Kummer, Universit\"at Karlsruhe
      Frank Stephan*, Universit\"at Karlsruhe
    • 16:00
      Decidability and undecidability in the r. e. wtt-degrees.
      Steffen Lempp*, University of Wisconsin, Madison
    • 16:30
      Algorithmic randomness.
      Anton\'\i n Ku\v cera*, Charles University, Prague, Czech Republic
  • 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
    • 09:30
      The last question on recursively enumerable many-one degress.
      Andre Nies*, Cornell University
    • 10:00
      Recursive limit structures.
      Julia F. Knight*, University of Notre Dame
    • 10:30
      The strength of Martin-Lof type theories with well-ordering types.
      Edward Griffor*, Uppsala University, Sweden
      Michael Rathjen, Ohio State University, Columbus
    • 11:00
      Inductive inference classes.
      Piergiorgio Odifreddi*, University of Torino, Italy

American Mathematical Society