Skip to Main Content

AMS Sectional Meeting Program by Special Session

Current as of Tuesday, April 12, 2005 15:08:34

Program  |  Deadlines  |  Inquiries:  meet@ams.org

1989 Central Section Meeting
Chicago, IL, May 19-20, 1989
Meeting #849

Associate secretaries:
Andy R Magid, AMS amagid@ou.edu

Special Session on Recursion Theory

  • Friday May 19, 1989, 8:00 a.m.-9:50 a.m.
    Special Session on Recursion Theory, I
    Room 529, Damen Hall

    • 8:00 a.m.
      Separating jump classes in the r.e. degrees I: Working below a low sub 2 r.e. degree.
      Richard A. Shore*, Cornell University
      Theodore A. Slaman, University of Illinois, Chicago
      (849-03-88)
    • 8:30 a.m.
      Working below a high recursively enumerable degree.
      Richard A. Shore, Cornell University
      Theodore A. Slaman*, University of Chicago
      (849-03-108)
    • 9:00 a.m.
      Some results on the structure of the Sigma sub 2 enumeration degrees.
      Seema Ahmad*, Simon Fraser University
      (849-03-97)
    • 9:30 a.m.
      Homogeneous countable models of tame theories.
      Terrence Millar*, University of Wisconsin, Madison
      (849-03-85)

  • Friday May 19, 1989, 2:00 p.m.-3:50 p.m.
    Special Session on Recursion Theory, II
    Room 529, Damen Hall

    • 2:00 p.m.
      Universes for 3-E.
      Gerald E. Sacks*, Harvard University and Massachusets Institute of Technology
      (849-03-109)
    • 2:30 p.m.
      The structure of degrees uniform under different equivalence relations.
      Hong Ye*, University of California, Santa Barbara
      (849-03-47)
    • 3:00 p.m.
      Priority arguments and Sigma sub 2-induction.
      Marcia J. Groszek*, Dartmouth College
      (849-03-171)
    • 3:30 p.m.
      Polytime mathematics and logic.
      Anil Nerode*, Cornell University
      (849-03-94)

  • Saturday May 20, 1989, 8:00 a.m.-9:50 a.m.
    Special Session on Recursion Theory, III
    Room 529, Damen Hall

    • 8:00 a.m.
      Diagonally nonrecursive functions and their generalizations.
      Antonin Kucera*, Cornell University and Charles University, Prague, Czechoslovakia
      (849-03-71)
    • 8:30 a.m.
      n-generic degrees in n-quantifier arithmetic.
      Masahiro Kumabe*, University of Chicago
      (849-03-116)
    • 9:00 a.m.
      Array nonrecursive sets. I.
      Rod Downey, Victoria University of Wellington, New Zealand
      Carl Jockusch, University of Illinois, Urbana-Champaign
      Michael Stob*, Massachusetts Institute of Technology
      (849-03-167)
    • 9:30 a.m.
      Array nonrecursive sets. II.
      Rod Downey, Victoria University of Wellington, New Zealand
      Carl Jockusch*, University of Illinois, Urbana-Champaign
      Michael Stob, Massachusetts Institute of Technology
      (849-03-169)

  • Saturday May 20, 1989, 2:00 p.m.-3:50 p.m.
    Special Session on Recursion Theory, IV
    Room 529, Damen Hall

    • 2:00 p.m.
      Constructions by transfinitely many workers.
      Julia F. Knight*, University of Notre Dame
      (849-03-166)
    • 2:30 p.m.
      The lattice of ideals of R.E. degrees.
      William C. Calhoun*, University of California, Berkeley
      (849-03-131)
    • 3:00 p.m.
      Minimal degrees and recursively inseparable sets.
      Manuel Lerman*, University of Connecticut, Storrs
      (849-03-59)
    • 3:30 p.m.
      Amenable equivalence relations and Turing degrees.
      Alexander S. Kechris*, California Institute of Technology
      (849-03-76)
Inquiries:  meet@ams.org