AMS Sectional Meeting Program by AMS Special Session
Current as of Saturday, November 13, 2010 00:34:10
Inquiries: meet@ams.org
2010 Fall Central Section Meeting
Notre Dame, IN, November 57, 2010 (Friday  Sunday)
Meeting #1064
Associate secretaries: Georgia Benkart, AMS benkart@math.wisc.edu
Special Session on Computability and Its Applications

Friday November 5, 2010, 2:30 p.m.4:20 p.m.
Special Session on Computability and Its Applications, I
Room 120, DeBartolo Hall
Organizers:
Peter Cholak, University of Notre Dame Peter.Cholak.1@nd.edu
Peter Gerdes, University of Notre Dame gerdes@invariant.org
Karen Lange, University of Notre Dame klange1@nd.edu

2:30 p.m.
Degrees of Categoricity.
Barbara F. Csima, Department of Pure Mathematics, University of Waterloo
Johanna N.Y Franklin, Department of Mathematics, Dartmouth College
Richard A. Shore*, Department of Mathematics, Cornell University
(10640361) 
3:00 p.m.
Symbolic dynamics: entropy = Hausdorff dimension = Kolmogorov complexity.
Stephen G. Simpson*, Department of Mathematics, Pennsylvania State University
(106403243) 
3:30 p.m.
Recovering randomness from an asymptotic Hamming distance.
Bjørn KjosHanssen*, University of Hawaii at Manoa
(106403270) 
4:00 p.m.
Games in Computability Theory.
Robert Irving Soare*, The University of Chicago
(10640377)

2:30 p.m.

Saturday November 6, 2010, 8:00 a.m.10:50 a.m.
Special Session on Computability and Its Applications, II
Room 120, DeBartolo Hall
Organizers:
Peter Cholak, University of Notre Dame Peter.Cholak.1@nd.edu
Peter Gerdes, University of Notre Dame gerdes@invariant.org
Karen Lange, University of Notre Dame klange1@nd.edu

8:00 a.m.
Computability and uncountable linear orders.
Noam Greenberg, Victoria University of Wellington
Asher M. Kach, University of ConnecticutStorrs
Steffen Lempp*, University of WisconsinMadison
Daniel D. Turetsky, Victoria University of Wellington
(106403238) 
8:30 a.m.
Degrees of members of $\Pi^0_1$ classes.
Keng Meng Ng*, University of WisconsinMadison
(106403325) 
9:00 a.m.
MartinLöf randomness and Birkhoff's ergodic theorem.
Johanna N.Y. Franklin*, Dartmouth College
Noam Greenberg, Victoria University of Wellington
Joseph S. Miller, University of Wisconsin, Madison
Keng Meng Ng, University of Wisconsin, Madison
(106403202) 
9:30 a.m.
Low LR upper bounds.
David Diamondstone*, University of Chicago
(106403177) 
10:00 a.m.
A bounded jump for the bounded Turing degrees.
Barbara F. Csima*, University of Waterloo
Bernard A. Anderson, University of Waterloo
(106403239) 
10:30 a.m.
Structural Characteristics of Recursion Theoretic Properties.
Theodore A. Slaman*, University of California Berkeley
Antonio Montalban, University of Chicago
Noam Greenberg, Victoria University of Wellington
(106403303)

8:00 a.m.

Saturday November 6, 2010, 2:30 p.m.5:20 p.m.
Special Session on Computability and Its Applications, III
Room 120, DeBartolo Hall
Organizers:
Peter Cholak, University of Notre Dame Peter.Cholak.1@nd.edu
Peter Gerdes, University of Notre Dame gerdes@invariant.org
Karen Lange, University of Notre Dame klange1@nd.edu

2:30 p.m.
Effective geometric measure theory.
Jan S Reimann*, Pennsylvania State University
(106403230) 
3:00 p.m.
Sets automorphic to low sets.
Rebecca Weber*, Department of Mathematics, Dartmouth College
(106403210) 
3:30 p.m.
Reverse mathematics and the finite intersection principle.
Damir D Dzhafarov*, University of Chicago
(106403261) 
4:00 p.m.
Reverse mathematics and infinite traceable graphs.
Peter Cholak, University of Notre Dame
David Galvin, University of Notre Dame
Reed Solomon*, University of Connecticut
(106403215) 
4:30 p.m.
The search for natural definability in the Turing degrees.
Andrew Edwin Marcus Lewis*, University of Leeds, UK
(106403298) 
5:00 p.m.
Computable Categoricity for Algebraic Fields.
Denis R. Hirschfeldt*, University of Chicago
Russell Miller, Queens College and The Graduate Center, C.U.N.Y.
Alexandra Shlapentokh, East Carolina University
(106403120)

2:30 p.m.

Sunday November 7, 2010, 8:00 a.m.11:50 a.m.
Special Session on Computability and Its Applications, IV
Room 120, DeBartolo Hall
Organizers:
Peter Cholak, University of Notre Dame Peter.Cholak.1@nd.edu
Peter Gerdes, University of Notre Dame gerdes@invariant.org
Karen Lange, University of Notre Dame klange1@nd.edu

8:00 a.m.
Revisiting Cooper's jump inversion theorem.
Joseph S. Miller*, University of WisconsinMadison
(106403219) 
8:30 a.m.
A hyperimmunelow basis theorem for infinitely branching trees.
Chris J. Conidis*, Department of Pure Mathematics, University of Waterloo
(106403315) 
9:00 a.m.
Birkhoff's theorem and reverse mathematics.
Paul Shafer*, Cornell University
(106403272) 
9:30 a.m.
The nonhyperarithmetic degrees form a spectrum.
Antonio Montalban*, University of Chicago
(10640378) 
10:00 a.m.
Jump Degrees of Countable Structures.
Brooke M. Andersen, Assumption College
Asher M. Kach*, University of Connecticut  Storrs
Bakhadyr Khoussainov, University of Auckland
Alexander G. Melnikov, University of Auckland
D. Reed Solomon, University of Connecticut  Storrs
(106403241) 
10:30 a.m.
A direct construction of a hyperimmune minimal degree.
Mingzhong Cai*, Department of Mathematics, Cornell University
(106403265) 
11:00 a.m.
Definability and Automorphisms of the C.E. Sets.
Rachel Epstein*, Harvard University
(106403183) 
11:30 a.m.
Generic computability, Turing degrees, and asymptotic density.
Carl Jockusch*, University of Illinois at UrbanaChampaign
Paul Schupp, University of Illinois at UrbanaChampaign
(106403166)

8:00 a.m.
Inquiries: meet@ams.org