AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:41
1997 Fall Central Sectional Meeting
Milwaukee, WI, October 2425, 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 E150, 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 UrbanaChampaign
(9270345) 
9:30 a.m.
On invariants of automorphic hhsimple sets
Eberhard Herrmann*, Humboldt University, Berlin
(92703149) 
10:00 a.m.
Some Examples of Degree Spectra of Relations
Denis R. Hirschfeldt*, Cornell University
(9270376) 
10:30 a.m.
Degrees of unsolvability of real numbers
Anthony Dunlop, University of Minnesota, Minneapolis
Marian B. PourEl*, University of Minnesota, Minneapolis
(9270386)

9:00 a.m.

Friday October 24, 1997, 2:30 p.m.5:50 p.m.
Special Session on Computability Theory, II
Room E150, 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*,
(9270354) 
3:00 p.m.
Two results about exact pairs
Kevin Wald*, University of Chicago
(92703176) 
3:30 p.m.
Feasible Theories and Models
Douglas Cenzer*, Department of Mathematics, University of Florida, Gainesville, FL
(9270333) 
4:00 p.m.
Jump Traces with Large Gaps
Peter G. Hinman*, University of Michigan
(9270371) 
4:30 p.m.
Enumerations, countable structures and Turing Degrees
Stephan K Wehner*,
(92703106) 
5:00 p.m.
Downward Density and the $\Delta_2^0$ Generic Degrees
Benjamin J Schaeffer*, University of Illinois
(9270343) 
5:30 p.m.
True approximations
Julia F. Knight*, University of Notre Dame
(9270357)

2:30 p.m.

Saturday October 25, 1997, 9:00 a.m.10:50 a.m.
Special Session on Computability Theory, III
Room E150, 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
(92704121) 
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
(92703102) 
10:00 a.m.
Computability of Models of $\cal{P\!A}$ from Certain Enumerations
Alex M. McAllister*, Dartmouth College
(9270356) 
10:30 a.m.
Large ``cardinals'' in constructive ZermeloFraenkel set theory
Michael Rathjen*, University of Leeds
(9270347)

9:00 a.m.

Saturday October 25, 1997, 2:30 p.m.5:50 p.m.
Special Session on Computability Theory, IV
Room E150, 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
(9270349) 
3:00 p.m.
Reverse Mathematics and Fully Ordered Groups
David Reed Solomon*, Cornell University
(9270353) 
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
(9270335) 
4:00 p.m.
The Convergence Index of an R.E. Set
Tim McNicholl*, Ottawa University
(92703217) 
4:30 p.m.
Lattice Embeddings and ANR Degrees
Stephen M Walk*, University of Notre Dame
(9270344) 
5:00 p.m.
Some Theorems on Computably Enumerable Algebras
Bakhadyr Khoussainov, Dr.*, University of Auckland, New Zealand
(92703267) 
5:30 p.m.
Effectively presented linear orders
Steffen Lempp*, University of Wisconsin
(92703138)

2:30 p.m.