AMS Sectional Meeting AMS Special Session
Current as of Saturday, November 5, 2016 03:30:05
Program ·
Deadlines ·
Registration/Housing/Etc.
Inquiries: meet@ams.org
Fall Central Sectional Meeting
University of St. Thomas (Minneapolis campus), Minneapolis, MN
October 2830, 2016 (Friday  Sunday)
Meeting #1123
Associate secretaries:
Georgia Benkart, AMS benkart@math.wisc.edu
Special Session on Effective Mathematics in Discrete and Continuous Worlds

Friday October 28, 2016, 2:30 p.m.4:50 p.m.
Special Session on Effective Mathematics in Discrete and Continuous Worlds, I
TMH 355, Terrence Murphy Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Timothy McNicholl, Iowa State University

Saturday October 29, 2016, 8:30 a.m.10:50 a.m.
Special Session on Effective Mathematics in Discrete and Continuous Worlds, II
TMH 355, Terrence Murphy Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Timothy McNicholl, Iowa State University

8:30 a.m.
Kolmogorov complexity and generalized length functions.
Christopher P Porter*, Drake University
Cameron Fraize, University of Florida
(112303239)

9:00 a.m.
Efficient Computation of Absolutely Normal Numbers.
Jack H. Lutz*, Iowa State University
(112303335)

9:30 a.m.
Dimension 1 sequences are close to randoms.
Noam Greenberg, Victoria University of Wellington
Joseph S. Miller, University of WisconsinMadison
Alexander Shen, LIRMM, CNRS & University of Montpellier
Linda Brown Westrick*, University of Connecticut
(112303343)

10:00 a.m.
Polynomial space randomness and analysis.
Donald M. Stull*, Iowa State University
(112303324)

10:30 a.m.
Fourier series and Schnorr randomness.
Johanna N.Y. Franklin*, Hofstra University
Timothy H. McNicholl, Iowa State University
Jason Rute, Pennsylvania State University
(112303109)

Saturday October 29, 2016, 2:30 p.m.4:20 p.m.
Special Session on Effective Mathematics in Discrete and Continuous Worlds, III
TMH 355, Terrence Murphy Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Timothy McNicholl, Iowa State University

2:30 p.m.
Computable structures of Scott rank $\omega_1^{CK}$.
Matthew HarrisonTrainor, University of California, Berkeley
Gregory Igusa, University of Notre Dame, Victoria University, Wellington
Julia Knight*, University of Notre Dame
(11230365)

3:00 p.m.
Khisamiev functions and algebraic structures.
Valentina Harizanov*, George Washington University
(112303253)

3:30 p.m.
Effective labelings of infinite graphs.
Oscar Levin*, University of Northern Colorado
(112303303)

4:00 p.m.
A computable structure of finite computable dimension without a strong degree of categoricity.
Barbara Csima, University of Waterloo
Jonathan Stephenson*, University of Waterloo
(112303320)

Sunday October 30, 2016, 9:00 a.m.11:50 a.m.
Special Session on Effective Mathematics in Discrete and Continuous Worlds, IV
TMH 355, Terrence Murphy Hall
Organizers:
Wesley Calvert, Southern Illinois University wcalvert@siu.edu
Timothy McNicholl, Iowa State University

9:00 a.m.
The structure of computably enumerable equivalence relations.
Uri Andrews*, University of Wisconsin  Madison
(112303364)

9:30 a.m.
Effectiveness for the Dual Ramsey theorem.
Damir Dzhafarov, University of Connecticut
Stephen Flood, Bridgewater State University
Reed Solomon*, University of Connecticut
Linda Brown Westrick, University of Connecticut
(112303250)

10:00 a.m.
Bounded Quantifier Strong Minimality.
Tamvana Makuluni*, University of WisconsinMadison
(112303389)

10:30 a.m.
A uniform reducibility in computably presented Polish spaces.
Timothy H. Rute, Iowa State University
Jason M. Rute*, Pennsylvania State University
(112303230)

11:00 a.m.
Formal languages, topology, and some challenging computations.
James D Currie*, The University of Winnipeg
(11230583)

11:30 a.m.
Computabilitytheoretic methods in descriptive set theory.
Takayuki Kihara*, Department of Mathematics, University of California, Berkeley
(11230352)
Inquiries: meet@ams.org