AMS Sectional Meeting AMS Special Session

Current as of Saturday, March 14, 2015 03:30:12

---

Program  ·  Deadlines  ·  Registration/Housing/Etc.
Special Event or Lecture  ·  Inquiries: meet@ams.org

---

Spring Eastern Sectional Meeting
Georgetown University, Washington, DC
March 7-8, 2015 (Saturday - Sunday)
Meeting #1107

Associate secretaries:

Steven H Weintraub, AMS shw2@lehigh.edu

---

Special Session on Computable Structure Theory

• Saturday March 7, 2015, 8:00 a.m.-10:50 a.m.
  Special Session on Computable Structure Theory, I
  Room 103, Healy Hall
  Organizers:
  Rumen Dimitrov, Western Illinois University
  Valentina Harizanov, George Washington University harizanv@gwu.edu
  Russell Miller, Queens College and Graduate Center, City University of New York
  

  • 8:00 a.m.
    Computing power of the ordered field of real numbers.
    Gregory Igusa, University of Notre Dame
    Julia F. Knight*, University of Notre Dame
    Noah D. Schweber, UC Berkeley
    (1107-03-182)
  • 8:30 a.m.
    On Borel complexity and constants.
    Michael C. Laskowski*, University of Maryland
    (1107-03-353)
  • 9:00 a.m.
    Scott sentences and index sets of some computable groups.
    Karen Lange*, Wellesley College
    Abigail Raz, Rutgers University
    (1107-03-257)
  • 9:30 a.m.
    An automorphism analysis for the $\Delta^0_2$ Turing degrees.
    Mariya I Soskova*, Sofia University
    Theodore A. Slaman, University of California, Berkeley
    (1107-03-156)
  • 10:00 a.m.
    Computable ordered abelian groups and generalized power series.
    Reed Solomon*, University of Connecticut
    (1107-03-354)
  • 10:30 a.m.
    The complexity of primes in computable UFDs.
    Damir D Dzhafarov*, University of Connecticut
    Joseph R Mileti, Grinnell College
    (1107-03-413)
• Saturday March 7, 2015, 2:00 p.m.-4:20 p.m.
  Special Session on Computable Structure Theory, II
  Room 103, Healy Hall
  Organizers:
  Rumen Dimitrov, Western Illinois University
  Valentina Harizanov, George Washington University harizanv@gwu.edu
  Russell Miller, Queens College and Graduate Center, City University of New York
  

  • 2:00 p.m.
    Definability and index sets of computable models.
    Sergey S. Goncharov*, Sobolev Institute of Mathematics and Novosibirsk State University
    (1107-03-151)
  • 3:00 p.m.
    Isomorphism notions restricted to particular classes of structures.
    Barbara Csima*, University of Waterloo
    Keng Meng (Selwyn) Ng, Nanyang Technological University
    (1107-03-409)
  • 3:30 p.m.
    Computable functors and effective interpretability.
    Matthew Harrison-Trainor*, University of California, Berkeley
    Alexander Melnikov, University of California, Berkeley
    Russell Miller, Queens College - City University of New York
    Antonio Montalbán, University of California, Berkeley
    (1107-03-371)
  • 4:00 p.m.
    Spaces of orderings of computable groups.
    Jennifer C Chubb*, University of San Francisco
    (1107-03-326)
• Sunday March 8, 2015, 8:00 a.m.-10:50 a.m.
  Special Session on Computable Structure Theory, III
  Room 103, Healy Hall
  Organizers:
  Rumen Dimitrov, Western Illinois University
  Valentina Harizanov, George Washington University harizanv@gwu.edu
  Russell Miller, Queens College and Graduate Center, City University of New York
  

  • 8:00 a.m.
    Fields with Decidable Existential Theories.
    Moshe Jarden, School of Mathematics, Tel Aviv University
    Alexandra Shlapentokh*, East Carolina University
    (1107-03-108)
  • 8:30 a.m.
    PAC Learning, VC Dimension, and the Arithmetic Hierarchy.
    Wesley Calvert*, Southern Illinois University
    (1107-03-244)
  • 9:00 a.m.
    Reverse model theory.
    Ekaterina Fokina*, Kurt Gödel Research Center, University of Vienna
    (1107-03-388)
  • 9:30 a.m.
    Degree spectra in the class of Real Closed Fields.
    Victor A Ocasio*, University of Puerto Rico - Mayaguez
    (1107-03-407)
  • 10:00 a.m.
    Relatively Categorical Metric Spaces.
    Daniel Turetsky*, Kurt Gödel Research Center, University of Vienna
    (1107-03-432)
  • 10:30 a.m.
    Automorphism Spectra of Size 2 n-1.
    Rebecca M. Steiner*, Vanderbilt University
    (1107-03-218)
• Sunday March 8, 2015, 3:00 p.m.-5:50 p.m.
  Special Session on Computable Structure Theory, IV
  Room 103, Healy Hall
  Organizers:
  Rumen Dimitrov, Western Illinois University
  Valentina Harizanov, George Washington University harizanv@gwu.edu
  Russell Miller, Queens College and Graduate Center, City University of New York
  

  • 3:00 p.m.
    Structures without $\Sigma$--presentations over hereditarily finite superstructures.
    Andrey Morozov*, Sobolev Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences
    (1107-03-181)
  • 3:30 p.m.
    Computable structure theory as group actions.
    Alexander Melnikov, U. C. Berkeley
    Antonio Montalban*, U.C. Berkeley
    (1107-03-62)
  • 4:00 p.m.
    Some applications of Marker's extensions for a sequence of structures.
    Alexandra A. Soskova*, Sofia university
    Stefan V. Vatev, Sofia university
    Alexander A. Terziivanov, Sofia university
    (1107-03-267)
  • 4:30 p.m.
    Weakly ultrahomogeneous structures.
    Douglas Cenzer*, University of Florida
    Francis Adams, University of Florida
    (1107-03-293)
  • 5:00 p.m.
    Lowness for Isomorphism.
    Jacob Suggs*, University of Connecticut
    (1107-03-460)
  • 5:30 p.m.
    Nested Equivalence Structures and Trees of Finite Height.
    Leah Marshall*, George Washington University
    (1107-03-355)

Inquiries: meet@ams.org

---