AMS Sectional Meeting AMS Special Session
Current as of Saturday, March 24, 2012 00:23:03
Special Event or Lecture · Inquiries: meet@ams.org
2012 Spring Eastern Sectional Meeting
George Washington University, Washington, DC
March 1718, 2012 (Saturday  Sunday)
Meeting #1080
Associate secretaries:
Steven H Weintraub, AMS shw2@lehigh.edu
Special Session on Computable Mathematics (in honor of Alan Turing)

Saturday March 17, 2012, 8:00 a.m.10:20 a.m.
Special Session on Computable Mathematics (in honor of Alan Turing), I
Room 220, Funger Hall
Organizers:
Douglas Cenzer, University of Florida
Valentina Harizanov, George Washington University harizanv@gwu.edu
Russell Miller, Queens College and Graduate Center  CUNY

8:00 a.m.
Firstorder and Diophantine Undecidability over function fields of positive characteristic.
Alexandra Shlapentokh*, East Carolina University
(108011131) 
8:30 a.m.
Classifying $\mathcal{D}$maximal sets.
Peter Cholak, University of Notre Dame
Peter Gerdes, Cambridge, MA
Karen Lange*, Wellesley College
(108003301) 
9:00 a.m.
Weakening computability to classify $\Pi^0_1$ subshifts.
Sebastian Wyman*, University of Florida
Douglas Cenzer, University of Florida
(108068158) 
9:30 a.m.
Computably enumerable partial orders.
Peter Cholak*, Notre Dame
Damir Dzhafarov, Notre Dame
Noah Schweber, UCBerkeley
Richard Shore, Cornell
(108003173) 
10:00 a.m.
Extensions of the Turing model for relative definability.
Mariya I. Soskova*, Sofia University
(108003278)

8:00 a.m.

Saturday March 17, 2012, 1:30 p.m.4:20 p.m.
Special Session on Computable Mathematics (in honor of Alan Turing), II
Room 220, Funger Hall
Organizers:
Douglas Cenzer, University of Florida
Valentina Harizanov, George Washington University harizanv@gwu.edu
Russell Miller, Queens College and Graduate Center  CUNY

1:30 p.m.
Theories of classes of structures.
Antonio Montalban*, University of Chicago
Asher Kach, University of Chicago
(108003328) 
2:00 p.m.
Spectra of orderings of groups.
Jennifer Chubb Reimann*, University of San Francisco
(108003346) 
2:30 p.m.
Turing Computable Embeddings, $P$groups, and $\Sigma^c_\alpha$ Sentences.
S. M. VanDenDriessche*, University of Notre Dame
(108003326) 
3:00 p.m.
Universal computably enumerable equivalence relations.
Uri Andrews, University of WisconsinMadison
Steffen Lempp*, University of WisconsinMadison
Joseph S Miller, University of Wisconsin
Keng Meng Ng, Nanyang Technological University
Luca San Mauro, Scuola Normale Superiore
Andrea Sorbi, University of Siena
(108003324) 
3:30 p.m.
Low for Computational Speed.
Robertson Bayer*, UC Berkeley
(108003334) 
4:00 p.m.
Degreeinvariant functions and uniform Borel reductions.
Jan S Reimann*, Pennsylvania State University
(108003314)

1:30 p.m.

Sunday March 18, 2012, 8:00 a.m.10:50 a.m.
Special Session on Computable Mathematics (in honor of Alan Turing), III
Room 220, Funger Hall
Organizers:
Douglas Cenzer, University of Florida
Valentina Harizanov, George Washington University harizanv@gwu.edu
Russell Miller, Queens College and Graduate Center  CUNY

8:00 a.m.
Degeneration and orbits of tuples and subgroups.
Wesley Calvert*, Southern Illinois University
Kunal Dutta, Institute of Mathematical Sciences, Chennai, India
Amritanshu Prasad, Institute of Mathematical Sciences, Chennai, India
(108003330) 
8:30 a.m.
Automorphisms of substructures of the lattice of subspaces of $V_{\infty }$ and derivatives.
Rumen D Dimitrov*, Macomb
(108003313) 
9:00 a.m.
Lowness for difference tests.
David Diamondstone, Victoria University of Wellington
Johanna N. Y. Franklin*, University of Connecticut
(108003284) 
9:30 a.m.
Compressibility of Countable Subshifts.
Ferit Toska*, University of Florida
Douglas Cenzer, University of Florida
(108003248) 
10:00 a.m.
The Medvedev degrees as semantics for propositional logic.
Paul Shafer*, Appalachian State University
(108003177) 
10:30 a.m.
Categoricity and relative categoricity of structures of familiar kinds.
Jesse Johnson, University of Notre Dame
Julia Knight*, University of Notre Dame
Victor Ocasio, University of Notre Dame
Jamalbek Tussupov, Gumilev Eusasian National University, Astana, Kazakhstan
Steven VanDenDriessche, University of Notre Dame
(108003308)

8:00 a.m.

Sunday March 18, 2012, 3:00 p.m.5:50 p.m.
Special Session on Computable Mathematics (in honor of Alan Turing), IV
Room 220, Funger Hall
Organizers:
Douglas Cenzer, University of Florida
Valentina Harizanov, George Washington University harizanv@gwu.edu
Russell Miller, Queens College and Graduate Center  CUNY

3:00 p.m.
Computing maximal chains in wpos.
Alberto Marcone, Dipartimento di Matematica e Informatica, Università di Udine
Antonio Montalbán, Department of Mathematics, University of Chicago
Richard A Shore*, Department of Mathematics, Cornell University
(108003164) 
3:30 p.m.
Degrees that are not degrees of categoricity.
Bernard Anderson, Gordon College
Barbara F Csima*, University of Waterloo
(108003297) 
4:00 p.m.
Shift Complex Reals.
Denis R. Hirschfeldt, University of Chicago
Asher M. Kach*, University of Chicago
(108003322) 
4:30 p.m.
Partial Degree Spectra.
Alexandra A. Soskova*, Sofia University
(108003291) 
5:00 p.m.
Jump degrees of torsion free abelian groups.
Brooke M Andersen, Assumption College
Asher M Kach, University of Chicago
Alexander G Melnikov, University of Auckland
Reed Solomon*, University of Connecticut
(108003218) 
5:30 p.m.
Turing degrees of isomorphic types of nonassociative structures.
Kai Maeda*, George Washington University
(108003318)

3:00 p.m.
Inquiries: meet@ams.org