AMS Sectional Meeting Program by Special Session
Current as of Saturday, October 18, 2008 00:36:13
2008 Fall Eastern Section Meeting
Middletown, CT, October 1112, 2008 (Saturday  Sunday)
Meeting #1042
Associate secretaries: Lesley M Sibner, AMS lsibner@duke.poly.edu
Special Session on Computability Theory and Effective Algebra

Saturday October 11, 2008, 8:00 a.m.10:50 a.m.
Special Session on Computability Theory and Effective Algebra, I
Room 638, Exley Science Center
Organizers:
Joseph S. Miller, University of Connecticut joseph.miller@math.uconn.edu
David Reed Solomon, University of Connecticut solomon@math.uconn.edu
Asher Kach, University of Connecticut kach@math.uconn.edu

8:00 a.m.
Ramsey's Theorem and Cone Avoidance.
Carl G. Jockusch, Jr.*, University of Illinois at UrbanaChampaign
Damir D. Dzhafarov, University of Chicago
(10420341) 
8:30 a.m.
Decision procedures for the isomorphism problem in unary automatic structures.
Mia Minnes*, MIT
(104203134) 
9:00 a.m.
Models with High Scott Rank.
Cameron E Freer*, Dept. of Mathematics, Massachusetts Institute of Technology
(104203146) 
9:30 a.m.
Computable properties of abelian $p$groups.
Valentina S. Harizanov*, George Washington University
(10420338) 
10:00 a.m.
Random reals and numberings of computable trees.
Paul Brodhead*, University of Hawaii at Manoa
Bjorn KjosHanssen, University of Hawaii at Manoa
(104203205) 
10:30 a.m.
Integer parts for real closed fields.
Julia F. Knight*, University of Notre Dame
(10420389)

8:00 a.m.

Saturday October 11, 2008, 3:00 p.m.5:50 p.m.
Special Session on Computability Theory and Effective Algebra, II
Room 638, Exley Science Center
Organizers:
Joseph S. Miller, University of Connecticut joseph.miller@math.uconn.edu
David Reed Solomon, University of Connecticut solomon@math.uconn.edu
Asher Kach, University of Connecticut kach@math.uconn.edu

3:00 p.m.
Computable partitions of trees.
Jennifer Chubb*, George Washington University
(104203174) 
3:30 p.m.
Computable SelfEmbeddings of Linear Orderings.
Steffen Lempp*, University of WisconsinMadison
Rodney G Downey, Victoria University of Wellington
Bart Kastermans, University of WisconsinMadison
(10420355) 
4:00 p.m.
Chain conditions in computable rings.
Chris J. Conidis*, Univeristy of Chicago
(104203122) 
4:30 p.m.
Degree spectra of almost computable structures.
Barbara F. Csima*, University of Waterloo
Iskander S. Kalimullin, Kazan State University
(10420399) 
5:00 p.m.
Generalizing the Pullback Theorem.
Christina M Maher*, University of Notre Dame and Colby College
(104203227) 
5:30 p.m.
Backandforth invariants for Boolean algebras.
Antonio Montalban, University of Chicago
Kenneth A Harris*, University of Michigan
(104203238)

3:00 p.m.

Sunday October 12, 2008, 8:00 a.m.10:50 a.m.
Special Session on Computability Theory and Effective Algebra, III
Room 638, Exley Science Center
Organizers:
Joseph S. Miller, University of Connecticut joseph.miller@math.uconn.edu
David Reed Solomon, University of Connecticut solomon@math.uconn.edu
Asher Kach, University of Connecticut kach@math.uconn.edu

8:00 a.m.
A Feiner Look at the Intermediate Degrees.
Denis R. Hirschfeldt*, University of Chicago
Asher M. Kach, University of Connecticut
Antonio Montalbán, University of Chicago
(104203115) 
8:30 a.m.
Rank Homogeneous Trees and Turing Computable Embeddings.
Sara Quinn*, Northwestern University
E. Fokina, Kurt Goedel Research Center at the University of Vienna
J. F. Knight, University of Notre Dame
C. Maher, Colby College
A. Melnikov, Novosibirsk State University
(104203181) 
9:00 a.m.
Intrinsically Complete Relations on Linear Orders.
Daniel D Turetsky*, University of Wisconsin, Madison
(104203167) 
9:30 a.m.
When low information is no information.
Antonio Montalban*, University of Chicago
(10420347) 
10:00 a.m.
Amalgamation Constructions and Recursive Model Theory.
Uri Andrews*, University of California, Berkeley
(104203202) 
10:30 a.m.
Randomized Computation and Continuous Firstorder Logic.
Wesley Crain Calvert*, Murray State University
(10420361)

8:00 a.m.

Sunday October 12, 2008, 3:00 p.m.3:50 p.m.
Special Session on Computability Theory and Effective Algebra, IV
Room 638, Exley Science Center
Organizers:
Joseph S. Miller, University of Connecticut joseph.miller@math.uconn.edu
David Reed Solomon, University of Connecticut solomon@math.uconn.edu
Asher Kach, University of Connecticut kach@math.uconn.edu

3:00 p.m.
Separating complete sets with respect to strong notions of reducibility.
Brooke M Andersen*, Framingham State College
(10420322) 
3:30 p.m.
Spectra of Algebraic Fields.
Andrey Frolov, Dept. of Algebra and Logic, Kazan State University
Iskander Kalimullin, Dept. of Algebra and Logic, Kazan State University
Russell Miller*, Queens College and C.U.N.Y. Graduate Center
(10420384)

3:00 p.m.