American Mathematical Society

AMS Sectional Meeting AMS Special Session

Current as of Sunday, October 27, 2013 00:27:01

Associate secretaries:

Georgia M. Benkart, AMS benkart@math.wisc.edu

Saturday October 19, 2013, 8:00 a.m.-10:50 a.m.
Special Session on Computability Across Mathematics, I
Room 219, Ridgeley Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Johanna Franklin, University of Connecticut
- 8:00 a.m.
  Index sets and Scott sentences.
  Julia F. Knight*, University of Notre Dame
  Charles McCoy, University of Portland
  (1094-03-307)
- 8:30 a.m.
  Effective classification of computable structures.
  Karen Lange, Wellesley College
  Russell Miller*, Queens College & CUNY Graduate Center
  Rebecca Steiner, Vanderbilt University
  (1094-03-261)
- 9:00 a.m.
  Isomorphisms of Structures.
  Barbara F Csima*, University of Waterloo
  (1094-03-260)
- 9:30 a.m.
  Formalization and Implementation of Computing with Words.
  Elham S. Khorasani*, University of Illinois at Springfield
  (1094-68-156)
- 10:00 a.m.
  Transferring relative categoricity from linear orders to algebraic structures.
  Victor A Ocasio*, University of Notre Dame
  (1094-03-201)
- 10:30 a.m.
  Sigma-0-1 and Pi-0-1 structures.
  Valentina Harizanov*, Department of Mathematics, The George Washington University, Washington, DC 20052
  (1094-03-319)

Saturday October 19, 2013, 2:30 p.m.-4:50 p.m.
Special Session on Computability Across Mathematics, II
Room 219, Ridgeley Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Johanna Franklin, University of Connecticut
- 2:30 p.m.
  Computable and Incomputable Boundary Extensions of Conformal Maps.
  Timothy H. McNicholl*, Iowa State University
  (1094-03-36)
- 3:00 p.m.
  Martin-Lof random Brownian motion.
  Kelty Allen*, University of California, Berkeley
  Laurent Bienvenu, LIAFA, University of Paris 7
  (1094-03-187)
- 3:30 p.m.
  Schnorr randomness and computable analysis.
  Jason M Rute*, Pennsylvania State University
  (1094-03-399)
- 4:00 p.m.
  A lightface analysis of the differentiability rank.
  Linda Brown Westrick*, University of California-Berkeley
  (1094-03-365)
- 4:30 p.m.
  Effective multifractal spectra.
  Jan Reimann*, Pennsylvania State University
  (1094-03-330)

Sunday October 20, 2013, 8:30 a.m.-11:50 a.m.
Special Session on Computability Across Mathematics, III
Room 219, Ridgeley Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Johanna Franklin, University of Connecticut
- 8:30 a.m.
  Isomorphisms between $\text{low}_{n}$ and computable boolean algebras.
  Jonathan Stephenson*, University of Chicago
  (1094-03-189)
- 9:00 a.m.
  The Computable Structure of Artinian Rings.
  Chris J Conidis*, Vanderbilt University
  (1094-03-76)
- 9:30 a.m.
  The $\Sigma^1_1$-Completeness of the Decomposability Problem for Torsion-Free Abelian Groups.
  Kyle Riggs*, Indiana University
  (1094-03-223)
- 10:00 a.m.
  Effective Symmetry Breaking.
  Rebecca M. Steiner*, Vanderbilt University
  (1094-03-372)
- 10:30 a.m.
  Discussion
- 11:00 a.m.
  Problem Session
- 11:30 a.m.
  Problem Session