AMS Sectional Meeting AMS Special Session

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

Fall Central Sectional Meeting
Washington University, St. Louis, MO
October 18-20, 2013 (Friday - Sunday)
Meeting #1094

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