BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jeff Hirst (Appalachian State University)
DTSTART:20220418T203000Z
DTEND:20220418T213000Z
DTSTAMP:20260423T022714Z
UID:CTA/86
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/86/">Thr
 ee views of LPO and LLPO</a>\nby Jeff Hirst (Appalachian State University)
  as part of Computability theory and applications\n\n\nAbstract\nThe Limit
 ed Principle of Omniscience (LPO) and Lesser Limited\nPrinciple of Omnisci
 ence (LLPO) are frequently included in discussions of\nconstructive mathem
 atics.  We will compare and contrast the principles using\nideas from Weih
 rauch reducibility\, reverse mathematics\, and higher order\nreverse mathe
 matics.  The preliminary results in higher order reverse\nmathematics are 
 joint work with Carl Mummert.\n
LOCATION:https://researchseminars.org/talk/CTA/86/
END:VEVENT
END:VCALENDAR