
AMS Sectional Meeting Program by Special Session
Current as of Monday, April 17, 2006 00:33:27
Program 
Deadlines 
Registration/Housing/Etc. 
Special Event or Lecture 
Inquiries: meet@ams.org
2006 Spring Central Sectional Meeting
Notre Dame, IN, April 89, 2006 (Saturday  Sunday)
Meeting #1016
Associate secretaries: Susan J Friedlander, AMS susan@math.northwestern.edu
Special Session on Model Theory and Computability

Saturday April 8, 2006, 8:30 a.m.11:20 a.m.
Special Session on Model Theory and Computability, I
Room 155, DeBartolo Hall Organizers: Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
Julia Knight, University of Notre Dame knight.1@nd.edu
Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu

8:30 a.m.
The Theorem of the Complement for SubPfaffian Sets.
JeanMarie Lion, Université de Rennes I, France
Patrick Speissegger*, McMaster University
(10160337)

9:00 a.m.
Computabilitytheoretic and prooftheoretic aspects of the atomic model theorem.
Denis R. Hirschfeldt*, University of Chicago
Richard A. Shore, Cornell University
Theodore A. Slaman, University of California, Berkeley
(101603200)

9:30 a.m.
On the Number of Arithmetic Steps Needed To Generate the Greatest Common Divisor of Two Integers.
Lou van den Dries*, University of Illinois at UrbanaChampaign
(101603242)

10:00 a.m.
Discussion

10:30 a.m.
Quasifinitely axiomatizable strongly minimal theories.
David Lippel*, University of Notre Dame
(101603224)

11:00 a.m.
Continuous logic and perturbations of metric structures.
Itay BenYaacov*, University of Wisconsin  Madison
(101603197)

Saturday April 8, 2006, 3:00 p.m.4:50 p.m.
Special Session on Model Theory and Computability, II
Room 155, DeBartolo Hall Organizers: Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
Julia Knight, University of Notre Dame knight.1@nd.edu
Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu

Sunday April 9, 2006, 8:00 a.m.11:20 a.m.
Special Session on Model Theory and Computability, III
Room 155, DeBartolo Hall Organizers: Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
Julia Knight, University of Notre Dame knight.1@nd.edu
Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu

8:00 a.m.
Ranked sets and weak truthtable reducibility.
John Chisholm, Western Illinois University
Jennifer Chubb, George Washington University
Valentina Harizanov, George Washington University
Denis Hirschfeldt, University of Chicago
Carl G. Jockusch, Jr.*, University of Illinois at UrbanaChampaign
Timothy McNicholl, Lamar University
Sarah Pingrey, George Washington University
(101603156)

8:30 a.m.
Strong degree spectra of relations.
John Chisholm, Western Illinois University
Jennifer Chubb, George Washington University
Valentina S. Harizanov*, George Washington University
Denis Hirschfeldt, University of Chicago
Carl G. Jockusch, Jr., University of Illinois at UrbanaChampaign
Timothy McNicholl, Lamar University
Sarah Pingrey, George Washington University
(101603184)

9:00 a.m.
More than counting quantifiers.
Michael C Laskowski*, University of Maryland
(101603225)

9:30 a.m.
Filters on computable posets.
Steffen Lempp, University of Wisconsin, Madison
Carl Mummert*, Appalachian State University
(101603146)

10:00 a.m.
Categoricity spectrum for uncountable continuous theories.
Alex Usvyatsov*, UCLA
(101603270)

10:30 a.m.
Countable dense subsets in secondorder arithmetic.
Bjørn KjosHanssen*, Department of Mathematics, University of Connecticut, Storrs
(101603122)

11:00 a.m.
Computable linearizations of wellpartialorderings.
Antonio Montalban*, University of Chicago
(10160332)

Sunday April 9, 2006, 3:00 p.m.5:50 p.m.
Special Session on Model Theory and Computability, IV
Room 155, DeBartolo Hall Organizers: Steven Allen Buechler, University of Notre Dame Steven.A.Buechler.1@nd.edu
Julia Knight, University of Notre Dame knight.1@nd.edu
Steffen Lempp, University of Wisconsin lempp@math.wisc.edu
Sergei Starchenko, University of Notre Dame starchenko.1@nd.edu

3:00 p.m.
Integraldefinite rational functions in theories of valued fields.
Deirdre Haskell*, McMaster University
Yoav Yaffe, McMaster University
(101612188)

3:30 p.m.
The Complexity of Ideals and Subspaces.
Rod Downey, Victoria University of Wellington
Steffen Lempp, University of Wisconsin, Madison
Joseph R Mileti*, University of Chicago
(101603231)

4:00 p.m.
Definability theory in model complete ominimal structures with applications.
Alex J. Wilkie*, Mathematical Institute, University of Oxford.
(10160357)

4:30 p.m.
Model Theory and Enumeration Reducibility.
Thomas F Kent*, Brigham Young University
(101603296)

5:00 p.m.
Hilbert's Tenth Problem for function fields over $p$adic fields.
Kirsten Eisentraeger*, University of Michigan
(101611134)

5:30 p.m.
A Remark on Zilber's Pseudoexponentiation.
David Marker*, University of Illinois at Chicago
(101603179)
Inquiries: meet@ams.org

