AMS :: Spring Eastern Sectional Meeting, AMS Special Session

AMS Sectional Meeting AMS Special Session

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

Associate secretaries:

Steven H Weintraub, AMS shw2@lehigh.edu

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)