
AMS Sectional Meeting AMS Special Session
Current as of Friday, October 21, 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
Please note room assignments are subject to change right
up until the meeting occurs.
The program published here is continually updated and
may be more current than the printed program.
The following material has been posted without being
proofread in order to provide you with the most current
information.
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

