Midwest Computability Seminar

XXVIII
Part vi


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 18th, 2022

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


SPEAKER: Jeff Hirst - Appalachian State University

TITLE: Three views of LPO and LLPO

ABSTRACT: The Limited Principle of Omniscience (LPO) and Lesser Limited Principle of Omniscience (LLPO) are frequently included in discussions of constructive mathematics. We will compare and contrast the principles using ideas from Weihrauch reducibility, reverse mathematics, and higher order reverse mathematics. The preliminary results in higher order reverse mathematics are joint work with Carl Mummert.



Past Sessions

Previous Seminars:

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.