Midwest Computability Seminar

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:


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

Three views of LPO and LLPO

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.