AMS Sectional Meeting AMS Special Session
Current as of Friday, April 19, 2019 03:30:04
Spring Eastern Sectional Meeting
- University of Connecticut Hartford (Hartford Regional Campus), Hartford, CT
- April 13-14, 2019 (Saturday - Sunday)
- Meeting #1148
Steven H Weintraub, AMS shw2@lehigh.edu
Special Session on Computability Theory
-
Saturday April 13, 2019, 8:00 a.m.-10:50 a.m.
Special Session on Computability Theory, I
Room 208, Hartford Times Building
Organizers:
Damir Dzhafarov, University of Connecticut damir.dzhafarov@uconn.edu
Reed Solomon, University of Connecticut
Linda Brown Westrick, Pennsylvania State University
-
8:00 a.m.
Computable structures, effective products, and definability.
Valentina Harizanov*, George Washington University
(1148-03-180) -
8:30 a.m.
Scott Complexity and Finitely $\alpha$-generated Structures.
Rachael Alvir*, University of Notre Dame
(1148-03-271) -
9:00 a.m.
Degrees of Categoricity.
Barbara F Csima*, University of Waterloo
(1148-03-247) -
9:30 a.m.
On the order dimension of locally countable partial orderings.
Kojiro Higuchi, Nihon University
Steffen Lempp*, University of Wisconsin-Madison
Dilip Raghavan, National University of Singapore
Frank Stephan, National University of Singapore
(1148-03-123) -
10:00 a.m.
Coding in graphs and linear orderings.
Julia F. Knight*, University of Notre Dame
Alexandra Soskova, Sofia University
Stefan Vatev, Sofia University
(1148-03-114) -
10:30 a.m.
Interpretations between a field and its Heisenberg group.
Russell Miller*, Queens College & CUNY Graduate Center
(1148-03-168)
-
8:00 a.m.
-
Saturday April 13, 2019, 3:00 p.m.-4:50 p.m.
Special Session on Computability Theory, II
Room 208, Hartford Times Building
Organizers:
Damir Dzhafarov, University of Connecticut damir.dzhafarov@uconn.edu
Reed Solomon, University of Connecticut
Linda Brown Westrick, Pennsylvania State University
-
3:00 p.m.
Upward closure and lowness for isomorphism.
Johanna Franklin*, Hofstra University
Reed Solomon, University of Connecticut
(1148-03-188) -
3:30 p.m.
Cototal enumeration degrees and effective mathematics.
Ethan McCarthy*, University of Florida
(1148-03-287) -
4:00 p.m.
Undecidability of the sandpile process in dimensions three and up.
Hannah A. Cairns*, Cornell University
(1148-94-296) -
4:30 p.m.
On a decision problem of Cherlin.
Rehana Patel*, Harvard University
(1148-03-277)
-
3:00 p.m.
-
Sunday April 14, 2019, 8:00 a.m.-10:50 a.m.
Special Session on Computability Theory, III
Room 208, Hartford Times Building
Organizers:
Damir Dzhafarov, University of Connecticut damir.dzhafarov@uconn.edu
Reed Solomon, University of Connecticut
Linda Brown Westrick, Pennsylvania State University
-
8:00 a.m.
Computability-Theoretic Aspects of Ramsey's Theorem.
Peter A Cholak*, University of Notre Dame
(1148-03-72) -
8:30 a.m.
Ramsey's theorem and products in the Weihrauch degrees.
Damir D. Dzhafarov, University of Connecticut
Jun Le Goh, Cornell University
Denis R. Hirschfeldt*, University of Chicago
Ludovic Patey, Université Claude Bernard Lyon 1
Arno Pauly, Swansea University
(1148-03-273) -
9:00 a.m.
Generalizations of Hall's theorem in reverse mathematics.
Noah A Hughes*, University of Connecticut
(1148-03-288) -
9:30 a.m.
A theorem of Halin and hyperarithmetic analysis.
Jun Le Goh*, Cornell University
James Barnes, Wellesley College
Richard A. Shore, Cornell University
(1148-03-250) -
10:00 a.m.
Schmerl decompositions in first order arithmetic.
François Dorais, University of Vermont
Zachary Evans, Dartmouth College
Marcia Groszek, Dartmouth College
Seth Harris*, Drew University
Theodore Slaman, University of California, Berkeley
(1148-03-299) -
10:30 a.m.
Schmerl Decompositions and Induction.
Marcia Groszek*, Dartmouth College
(1148-03-175)
-
8:00 a.m.
-
Sunday April 14, 2019, 1:00 p.m.-3:50 p.m.
Special Session on Computability Theory, IV
Room 208, Hartford Times Building
Organizers:
Damir Dzhafarov, University of Connecticut damir.dzhafarov@uconn.edu
Reed Solomon, University of Connecticut
Linda Brown Westrick, Pennsylvania State University
-
1:00 p.m.
Mathias generics over a countable Turing ideal.
Rose Weisshaar*, University of Notre Dame
Henry Towsner, University of Pennsylvania
Dan Turetsky, Victoria University of Wellington
(1148-03-281) -
1:30 p.m.
Computability, reverse mathematics, and topological games.
Noah Schweber*, University of Wisconsin - Madison
(1148-03-292) -
2:00 p.m.
Some degree-theoretic properties of never continuously random reals.
Mingyang Li*, Pennsylvania State University
(1148-03-290) -
2:30 p.m.
A Coherent Configuration Approach to Label Classification in Learning Systems Arising from Martin-Lof Tests and Randomness Deficiencies.
Katie Brodhead*, Florida A&M University
(1148-08-302) -
3:00 p.m.
Generically computable equivalence structures and isomorphisms.
Douglas Cenzer*, University of Florida
Wesley Calvert, Southern Illinois University
Valentina Harizanov, George Washington University
(1148-03-142) -
3:30 p.m.
Agreement reducibility.
Rachel Epstein, Georgia College
Karen Lange*, Wellesley College
(1148-03-291)
-
1:00 p.m.
Inquiries: meet@ams.org