Three views of LPO and LLPO
Jeff Hirst (Appalachian State University)
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.
logic
Audience: researchers in the topic
Computability theory and applications
Series comments: Description: Computability theory, logic
The goal of this endeavor is to run a seminar on the platform Zoom on a weekly basis, perhaps with alternating time slots each of which covers at least three out of four of Europe, North America, Asia, and New Zealand/Australia. While the meetings are always scheduled for Tuesdays, the timezone varies, so please refer to the calendar on the website for details about individual seminars.
Organizers: | Damir Dzhafarov*, Vasco Brattka*, Ekaterina Fokina*, Ludovic Patey*, Takayuki Kihara, Noam Greenberg, Arno Pauly, Linda Brown Westrick |
*contact for this listing |