AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:09:57
1999 Spring Southeastern Section Meeting
Gainesville, FL, March 1213, 1999
Meeting #940
Associate secretaries: Robert J Daverman, AMS daverman@math.utk.edu
Special Session on Computability Theory

Friday March 12, 1999, 9:00 a.m.10:50 a.m.
Special Session on Computability Theory, I
Room 217, W. W. Little Hall
Organizers:
Douglas Cenzer, University of Florida cenzer@math.ufl.edu
Geoffrey Louis LaForte, University of West Florida glaforte@coginst.uwf.edu
Rick L. Smith, University of Florida rs@math.ufl.edu

9:00 a.m.
Nonlow$_{2}$ r.e. degrees with the properties of low$_{2}$ degrees.
Richard A. Shore*, Cornell University
(94003179) 
10:00 a.m.
A set with minimal wttdegree and c.e. Turing degree .
Reed Solomon*, University of Wisconsin, Madison
Rod Downey, Victoria University
(94003246) 
10:30 a.m.
Every set has a least jump enumeration.
Richard J Coles*, University of Auckland
Rod G Downey, Victoria University of Wellington
Theodore A Slaman, University of California, Berkeley
(94003189)

9:00 a.m.

Friday March 12, 1999, 2:30 p.m.5:50 p.m.
Special Session on Computability Theory, II
Room 217, W. W. Little Hall
Organizers:
Douglas Cenzer, University of Florida cenzer@math.ufl.edu
Geoffrey Louis LaForte, University of West Florida glaforte@coginst.uwf.edu
Rick L. Smith, University of Florida rs@math.ufl.edu

2:30 p.m.
Automorphisms of the Lattice of $\Pi_1^0$ Classes.
Rod Downey*, Victoria University of Wellington
(94003176) 
3:00 p.m.
Automorphisms of the computably enumerable sets.
Kevin Wald*, University of Chicago
(94003312) 
3:30 p.m.
Relativizations of certain concepts in computability theory.
Stephen M Walk*, University of Notre Dame
(94003335) 
4:00 p.m.
The Complexity of Extensions of a Nonmonotonic Theory.
Amy K. C. S. Vanderbilt*, University of Florida
(94003274) 
4:30 p.m.
Some recent results on the lattice of Pi01 classes.
Farzan Riazati*, University of FLorida
(94003342) 
5:00 p.m.
Computability Theory of Generalized Functions.
Klaus Weihrauch, Fern University
Ning Zhong*, University of Cincinnati
(94003139) 
5:30 p.m.
Some open problems in computable analysis.
Marian B. PourEl*, University of Minnesota
(94003263)

2:30 p.m.

Saturday March 13, 1999, 8:30 a.m.10:50 a.m.
Special Session on Computability Theory, III
Room 217, W. W. Little Hall
Organizers:
Douglas Cenzer, University of Florida cenzer@math.ufl.edu
Geoffrey Louis LaForte, University of West Florida glaforte@coginst.uwf.edu
Rick L. Smith, University of Florida rs@math.ufl.edu

8:30 a.m.
On the lattice of c.e. subalgebras of a computable Boolean algebra.
Jeffrey B. Remmel*, University of California, San Diego
Jinghui Yang, Qualcomm
(94003286) 
9:00 a.m.
$\Delta_{2}^{0}$categorical linear orderings and Boolean algebras.
Charles F. McCoy*, University of Notre Dame
(94003227) 
9:30 a.m.
The $\Delta^0_2$Spectrum of a Linear Order.
Russell G. Miller*, University of Chicago
(94003146) 
10:00 a.m.
Degree Spectra of Relations on Algebraic Structures.
Denis R. Hirschfeldt*, Department of Mathematics, Cornell University
(94003235) 
10:30 a.m.
Ramsey's theorem for computably enumerable partitions.
Tamara J. Hummel*, Allegheny College
Carl G. Jockusch, Jr., University of Illinois
(94003222)

8:30 a.m.

Saturday March 13, 1999, 2:30 p.m.5:50 p.m.
Special Session on Computability Theory, IV
Room 217, W. W. Little Hall
Organizers:
Douglas Cenzer, University of Florida cenzer@math.ufl.edu
Geoffrey Louis LaForte, University of West Florida glaforte@coginst.uwf.edu
Rick L. Smith, University of Florida rs@math.ufl.edu

2:30 p.m.
Minimality questions and completions of PA.
Julia F. Knight*, University of Notre Dame
(94003103) 
3:00 p.m.
Effective Robinson Forcing.
Walker M. White*, Cornell University
(94003247) 
3:30 p.m.
Relative Computability of Models and Enumerations.
Alex M McAllister*, Dartmouth College
(94003277) 
4:00 p.m.
Computably enumerable relations on computable structures.
Valentina S Harizanov*, The George Washington University
(94003259) 
4:30 p.m.
On Automata Presentable Structures.
Bakhadyr M Khoussainov*, The University of Auckland
Sasha Rubin, The University of Auckland
(94003119) 
5:00 p.m.
Generalized Weak Presentations.
Alexandra Shlapentokh*, East Carolina University, Greenville, NC 27858
(94003193) 
5:30 p.m.
Reflection Principles and Constructive Large Cardinals.
Edward R. Griffor*, CAI
(94003271)

2:30 p.m.