Part v

The Midwest Computability Seminar will meet remotely in the winter and spring of 2022, jointly with the Computability Theory and Applications Online Seminar. The recurring Zoom link is:

https://notredame.zoom.us/j/99754332165?pwd=RytjK1RFZU5KWnZxZ3VFK0g4YTMyQT09

Meeting ID: 997 5433 2165

Passcode: midwest

slides Panopto video YouTube video

DATE: Monday, April 4th, 2022

TIME: 3:30 - 4:30 PM Central Time

SPEAKER: Jun Le Goh - University of Wisconsin

TITLE: Extensions of embeddings in the Σ

ABSTRACT: In order to measure the algorithmic content of partial functions, or the positive information content of subsets of the natural numbers, one can use the notion of enumeration reducibility. The associated degree structure, known as the enumeration degrees (e-degrees), forms a superstructure of the Turing degrees. We present ongoing work with Steffen Lempp, Keng Meng Ng and Mariya Soskova on the algebraic properties of a countable substructure of the e-degrees, namely the Σ

The Σ

One can view Ahmad's result as a two-quantifier sentence in the language of partial orders which holds in the Σ

We shall also discuss speculative generalizations of the above result, and how they may lead to an algorithm which decides a class of two-quantifier sentences in the Σ

- January 24th, 2022 Donald Stull - Northwestern University
- February 7th, 2022 Matthew Harrison-Trainor - University of Michigan
- February 21st, 2022 Ekaterina Fokina - Vienna University of Technology
- March 21st, 2022 Meng Che "Turbo"
Ho
- California State University Northridge

- April 18th, 2022: Jeff Hirst - Appalachian State University

- 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
- April 18th, 2019 Wesley Calvert - Russell Miller - Steffen Lempp
- February 11th, 2020 Rachael Alvir - Tejas Bhojraj - Jun Le Goh - Neil Lutz
- August - December, 2020 Nine Online Talks
- February - May, 2021 Seven Online Talks
- September - December, 2021 Ten Online Talks

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.