American Mathematical Society

My Account · My Cart · Customer Services · FAQ  

AMS Sectional Meeting Program by Special Session

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


Program  |  Deadlines  |  Registration/Housing/Etc.  |  Inquiries:  meet@ams.org

1997 Fall Central Sectional Meeting
Milwaukee, WI, October 24-25, 1997
Meeting #927

Associate secretaries:
Susan J Friedlander, AMS susan@math.northwestern.edu

Special Session on Computability Theory

  • Friday October 24, 1997, 9:00 a.m.-10:50 a.m.
    Special Session on Computability Theory, I

    Room E-150, Engineering and Mathematical Sciences Building
    Organizers:
    Steffen Lempp, University of Wisconsin, Madison lempp@math.wisc.edu
    Robert I. Soare, University of Chicago soare@cs.uchicago.edu

    • 9:00 a.m.
      A c.e., noncomputable Boolean algebra of rank 1
      Rod Downey, Victoria University of Wellington
      Carl Jockusch*, University of Illinois at Urbana-Champaign
      (927-03-45)
    • 9:30 a.m.
      On invariants of automorphic hh-simple sets
      Eberhard Herrmann*, Humboldt University, Berlin
      (927-03-149)
    • 10:00 a.m.
      Some Examples of Degree Spectra of Relations
      Denis R. Hirschfeldt*, Cornell University
      (927-03-76)
    • 10:30 a.m.
      Degrees of unsolvability of real numbers
      Anthony Dunlop, University of Minnesota, Minneapolis
      Marian B. Pour-El*, University of Minnesota, Minneapolis
      (927-03-86)
  • Friday October 24, 1997, 2:30 p.m.-5:50 p.m.
    Special Session on Computability Theory, II

    Room E-150, Engineering and Mathematical Sciences Building
    Organizers:
    Steffen Lempp, University of Wisconsin, Madison lempp@math.wisc.edu
    Robert I. Soare, University of Chicago soare@cs.uchicago.edu

    • 2:30 p.m.
      Some Definability Aspects of Vaught's Conjecture
      Gerald E. Sacks*,
      (927-03-54)
    • 3:00 p.m.
      Two results about exact pairs
      Kevin Wald*, University of Chicago
      (927-03-176)
    • 3:30 p.m.
      Feasible Theories and Models
      Douglas Cenzer*, Department of Mathematics, University of Florida, Gainesville, FL
      (927-03-33)
    • 4:00 p.m.
      Jump Traces with Large Gaps
      Peter G. Hinman*, University of Michigan
      (927-03-71)
    • 4:30 p.m.
      Enumerations, countable structures and Turing Degrees
      Stephan K Wehner*,
      (927-03-106)
    • 5:00 p.m.
      Downward Density and the $\Delta_2^0$ Generic Degrees
      Benjamin J Schaeffer*, University of Illinois
      (927-03-43)
    • 5:30 p.m.
      True approximations
      Julia F. Knight*, University of Notre Dame
      (927-03-57)
  • Saturday October 25, 1997, 9:00 a.m.-10:50 a.m.
    Special Session on Computability Theory, III

    Room E-150, Engineering and Mathematical Sciences Building
    Organizers:
    Steffen Lempp, University of Wisconsin, Madison lempp@math.wisc.edu
    Robert I. Soare, University of Chicago soare@cs.uchicago.edu

    • 9:00 a.m.
      A Basis Theorem for Perfect Sets
      Theodore A. Slaman*, University of California, Berkeley
      Marcia J. Groszek, Dartmouth College
      (927-04-121)
    • 9:30 a.m.
      Hypersimplicity and the enumeration degrees below ${\bf 0^\prime_e}$
      Andr\'e Nies, University of Chicago
      Andrea Sorbi*, University of Siena
      (927-03-102)
    • 10:00 a.m.
      Computability of Models of $\cal{P\!A}$ from Certain Enumerations
      Alex M. McAllister*, Dartmouth College
      (927-03-56)
    • 10:30 a.m.
      Large ``cardinals'' in constructive Zermelo-Fraenkel set theory
      Michael Rathjen*, University of Leeds
      (927-03-47)
  • Saturday October 25, 1997, 2:30 p.m.-5:50 p.m.
    Special Session on Computability Theory, IV

    Room E-150, Engineering and Mathematical Sciences Building
    Organizers:
    Steffen Lempp, University of Wisconsin, Madison lempp@math.wisc.edu
    Robert I. Soare, University of Chicago soare@cs.uchicago.edu

    • 2:30 p.m.
      Located Sets and Reverse Mathematics
      Stephen G Simpson*, Penn State University
      (927-03-49)
    • 3:00 p.m.
      Reverse Mathematics and Fully Ordered Groups
      David Reed Solomon*, Cornell University
      (927-03-53)
    • 3:30 p.m.
      On the Order of Queries
      Richard Beigel,
      Richard Chang, Univ. of MD. at Balt. County
      William I Gasarch*, Univ. of MD. at College Park
      Jacob Lurie, Harvard University
      Timothy McNichol, Ottawa University
      (927-03-35)
    • 4:00 p.m.
      The Convergence Index of an R.E. Set
      Tim McNicholl*, Ottawa University
      (927-03-217)
    • 4:30 p.m.
      Lattice Embeddings and ANR Degrees
      Stephen M Walk*, University of Notre Dame
      (927-03-44)
    • 5:00 p.m.
      Some Theorems on Computably Enumerable Algebras
      Bakhadyr Khoussainov, Dr.*, University of Auckland, New Zealand
      (927-03-267)
    • 5:30 p.m.
      Effectively presented linear orders
      Steffen Lempp*, University of Wisconsin
      (927-03-138)
Inquiries:  meet@ams.org