
AMS Sectional Meeting AMS Special Session
Current as of Saturday, March 24, 2012 00:23:03
Program ·
Deadlines ·
Registration/Housing/Etc.
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)

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)

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)

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)
Inquiries: meet@ams.org

