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 78, 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
(110703182)

8:30 a.m.
On Borel complexity and constants.
Michael C. Laskowski*, University of Maryland
(110703353)

9:00 a.m.
Scott sentences and index sets of some computable groups.
Karen Lange*, Wellesley College
Abigail Raz, Rutgers University
(110703257)

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
(110703156)

10:00 a.m.
Computable ordered abelian groups and generalized power series.
Reed Solomon*, University of Connecticut
(110703354)

10:30 a.m.
The complexity of primes in computable UFDs.
Damir D Dzhafarov*, University of Connecticut
Joseph R Mileti, Grinnell College
(110703413)

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
(110703151)

3:00 p.m.
Isomorphism notions restricted to particular classes of structures.
Barbara Csima*, University of Waterloo
Keng Meng (Selwyn) Ng, Nanyang Technological University
(110703409)

3:30 p.m.
Computable functors and effective interpretability.
Matthew HarrisonTrainor*, 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
(110703371)

4:00 p.m.
Spaces of orderings of computable groups.
Jennifer C Chubb*, University of San Francisco
(110703326)

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
(110703108)

8:30 a.m.
PAC Learning, VC Dimension, and the Arithmetic Hierarchy.
Wesley Calvert*, Southern Illinois University
(110703244)

9:00 a.m.
Reverse model theory.
Ekaterina Fokina*, Kurt Gödel Research Center, University of Vienna
(110703388)

9:30 a.m.
Degree spectra in the class of Real Closed Fields.
Victor A Ocasio*, University of Puerto Rico  Mayaguez
(110703407)

10:00 a.m.
Relatively Categorical Metric Spaces.
Daniel Turetsky*, Kurt Gödel Research Center, University of Vienna
(110703432)

10:30 a.m.
Automorphism Spectra of Size 2 n1.
Rebecca M. Steiner*, Vanderbilt University
(110703218)

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
(110703181)

3:30 p.m.
Computable structure theory as group actions.
Alexander Melnikov, U. C. Berkeley
Antonio Montalban*, U.C. Berkeley
(11070362)

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
(110703267)

4:30 p.m.
Weakly ultrahomogeneous structures.
Douglas Cenzer*, University of Florida
Francis Adams, University of Florida
(110703293)

5:00 p.m.
Lowness for Isomorphism.
Jacob Suggs*, University of Connecticut
(110703460)

5:30 p.m.
Nested Equivalence Structures and Trees of Finite Height.
Leah Marshall*, George Washington University
(110703355)
Inquiries: meet@ams.org