The Midwest Computability Seminar is a joint venture between the University of Chicago, the University of Notre Dame, and the University of Wisconsin-Madison. It meets once or twice per semester at the University of Chicago, and is attended by faculty and students from these universities and others in the area. The seminar started in the fall of 2008.

DATE: Thursday, April 18th, 2019.

PLACE: Ryerson Hall 352 (the Barn), The University of Chicago.

1100 East 58th Street, Chicago, IL 60637.

Speakers:

- Wesley Calvert - Southern Illinois University

- Steffen Lempp - University of Wisconsin

- Russell Miller - Queens College - CUNY

- 12:00 - 1:00 Lunch
- 1:00 - 1:50 Wesley Calvert

- 2:00 - 2:50 Russell Miller

- 3:00 - 4:00 Coffee Break

- 4:00 - 4:50 Steffen Lempp

- 5:30 Dinner at Nella, 1125 E. 55th St.

Title: Probability, Density, and Structure

Abstract: This talk will give account of some converging trends at the intersection of logic and probability. Randomized computation, dense/generic/coarse computability, theories of random graphs and structures, and theoretical machine learning have subtle connections, and their points of contact pose interesting problems for mathematical logic. In addition to an exposition on several older results and their interactions, this talk will include some recent results on categoricity in an environment of generic and coarse computability.

Title: Toward deciding the ∀∃-theory of the enumeration degrees

Abstract: I will outline an approach, in joint work with Slaman and M. Soskova, toward deciding the ∀∃-theory of the enumeration degrees. The procedure is necessarily more difficult than for the Turing degrees since the enumeration degrees are downward dense; however, by a result of Calhoun and Slaman, even the Π

Title: Hilbert's Tenth Problem as an enumeration operator

Abstract: For a ring

It is natural to view

- Sept 23rd 2008 Antonio Montalbán - Logan Axon - Joe Miller
- Nov 11th 2008 Chris Conidis - Keng Meng (Selwyn) Ng - Peter Gerdes
- Feb 3rd 2009 David Diamondstone - Bart Kastermans - Richard A. Shore
- April 21st 2009 Dan Turetsky - Julia Knight - Ted Slaman
- Sept 29th 2009 Carl Jockusch - Rachel Epstein - Rebecca Weber
- Jan 26th 2010 Sara Quinn - John Wallbaum - Steffen Lempp - Reed Solomon
- May 11th 2010 Adam Day - Liang Yu - Rod Downey - Boris Zilber
- Sept 28th 2010 Maurice Chiodo - Peter Gerdes - Damir Dzhafarov - Andy Lewis
- Feb 15th 2011 Uri Andrews - Paola D'Aquino - David Diamondstone - Christopher Porter - Rebecca Steiner
- Nov 1st 2011 Mingzhong Cai - Chris Conidis - Stephen Flood - Jeff Hirst - Asher Kach
- Nov 15th 2012 Achilles Beros - Rod Downey - Jesse Johnson - Sam Sanders - Steven VanDendriessche - Matthew Wright
- April 2nd 2013 Howard Becker - Denis Hirschfeldt - Paul Schupp
- October 1st 2013 Peter Cholak - Mushfeq Khan - Victor Ocasio-González - Jonathan Stephenson
- April 29th, 2014 Rod Downey - Noam Greenberg - Gregory Igusa - Alexander Melnikov - Kyle Riggs
- September 30th, 2014 Eric Astor - Quinn Culver - Jack Lutz - Timothy McNicholl
- February 17th, 2015 Carl Jockusch - Julia Knight - Steffen Lempp
- January 28th, 2016 Reese Johnston - Rutger Kuyper - Mariya Soskova - Mars Yamaleev
- October 22nd and 23rd, 2016 Special Meeting in Honor of Carl Jockusch's 75th Birthday
- March 16th, 2017 Greg Igusa - Jack Lutz - Sasha Melnikov - Reed Solomon
- October 24th, 2017 Noah Schweber - Don Stull - Dan Turetsky - Rose Weisshaar
- April 17th, 2018 Peter Cholak - Meng-Che "Turbo" Ho - Ethan McCarthy - Joe Miller
- October 9th, 2018 Uri Andrews - Timothy McNicholl - Alexandra Soskova

If you haven't been receiving the announcements and would like to be included in the list, send an email to drh@math.uchicago.edu.