BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Patrick Uftring (TU Darmstadt)
DTSTART:20200908T140000Z
DTEND:20200908T150000Z
DTSTAMP:20260423T021605Z
UID:CTA/21
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/21/">The
  characterization of Weihrauch reducibility in systems containing $E$-$PA^
 \\omega$ + $QF$-$AC^{0\,0}$</a>\nby Patrick Uftring (TU Darmstadt) as part
  of Computability theory and applications\n\n\nAbstract\nWe characterize W
 eihrauch reducibility in E-PAω + QF-AC0\,0 and all systems containing it 
 by the provability in a linear variant of the same calculus using modifica
 tions of Gödel's Dialectica interpretation that incorporate ideas from li
 near logic\, nonstandard arithmetic\, higher-order computability\, and pha
 se semantics.  A full preprint is available here: https://arxiv.org/abs/20
 03.13331\n
LOCATION:https://researchseminars.org/talk/CTA/21/
END:VEVENT
END:VCALENDAR