AMS Sectional Meeting Program by Special Session
Current as of Monday, April 17, 2006 00:33:27
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)

8:30 a.m.

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

3:00 p.m.
Relative categoricity for finitely generated fields.
Thomas Warren Scanlon*, University of California, Berkeley
(101603321) 
3:30 p.m.
On Model Theoretic Properties of Structures Expanding Dense Linear Orderings.
Alf Dolich*, McMaster University
(101603255) 
4:00 p.m.
Degree Spectra of Homogeneous Models.
Karen M. Lange*, University of Chicago
(101603212) 
4:30 p.m.
The quasiisometry problem for finitely generated groups.
Simon Thomas*, Rutgers University
(10160341)

3:00 p.m.

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)

8:00 a.m.

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)

3:00 p.m.