AMS Sectional Meeting Program by Special Session

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

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

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