AMS Sectional Meeting Program by Special Session

Current as of Saturday, October 18, 2008 00:36:13

Program | Deadlines | Registration/Housing/Etc. | Inquiries: meet@ams.org

Associate secretaries:
Lesley M Sibner, AMS lsibner@duke.poly.edu

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 Urbana-Champaign
  Damir D. Dzhafarov, University of Chicago
  (1042-03-41)
- 8:30 a.m.
  Decision procedures for the isomorphism problem in unary automatic structures.
  Mia Minnes*, MIT
  (1042-03-134)
- 9:00 a.m.
  Models with High Scott Rank.
  Cameron E Freer*, Dept. of Mathematics, Massachusetts Institute of Technology
  (1042-03-146)
- 9:30 a.m.
  Computable properties of abelian $p$-groups.
  Valentina S. Harizanov*, George Washington University
  (1042-03-38)
- 10:00 a.m.
  Random reals and numberings of computable trees.
  Paul Brodhead*, University of Hawaii at Manoa
  Bjorn Kjos-Hanssen, University of Hawaii at Manoa
  (1042-03-205)
- 10:30 a.m.
  Integer parts for real closed fields.
  Julia F. Knight*, University of Notre Dame
  (1042-03-89)

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
  (1042-03-174)
- 3:30 p.m.
  Computable Self-Embeddings of Linear Orderings.
  Steffen Lempp*, University of Wisconsin-Madison
  Rodney G Downey, Victoria University of Wellington
  Bart Kastermans, University of Wisconsin-Madison
  (1042-03-55)
- 4:00 p.m.
  Chain conditions in computable rings.
  Chris J. Conidis*, Univeristy of Chicago
  (1042-03-122)
- 4:30 p.m.
  Degree spectra of almost computable structures.
  Barbara F. Csima*, University of Waterloo
  Iskander S. Kalimullin, Kazan State University
  (1042-03-99)
- 5:00 p.m.
  Generalizing the Pullback Theorem.
  Christina M Maher*, University of Notre Dame and Colby College
  (1042-03-227)
- 5:30 p.m.
  Back-and-forth invariants for Boolean algebras.
  Antonio Montalban, University of Chicago
  Kenneth A Harris*, University of Michigan
  (1042-03-238)

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
  (1042-03-115)
- 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
  (1042-03-181)
- 9:00 a.m.
  Intrinsically Complete Relations on Linear Orders.
  Daniel D Turetsky*, University of Wisconsin, Madison
  (1042-03-167)
- 9:30 a.m.
  When low information is no information.
  Antonio Montalban*, University of Chicago
  (1042-03-47)
- 10:00 a.m.
  Amalgamation Constructions and Recursive Model Theory.
  Uri Andrews*, University of California, Berkeley
  (1042-03-202)
- 10:30 a.m.
  Randomized Computation and Continuous First-order Logic.
  Wesley Crain Calvert*, Murray State University
  (1042-03-61)

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
  (1042-03-22)
- 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
  (1042-03-84)

Inquiries: meet@ams.org