BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Sarah Reitzes (U of Chicago)
DTSTART:20210415T180000Z
DTEND:20210415T190000Z
DTSTAMP:20260423T021147Z
UID:OLS/42
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/42/">Red
 uction games over $\\textup{RCA}_0$</a>\nby Sarah Reitzes (U of Chicago) a
 s part of Online logic seminar\n\n\nAbstract\nIn this talk\, I will discus
 s joint work with Damir D. Dzhafarov and Denis R. Hirschfeldt. Our work ce
 nters on the characterization of problems P and Q such that P $\\leq_{\\om
 ega}$ Q\, as well as problems P and Q such that\n$\\textup{RCA}_0 \\vdash$
  Q $\\to$ P\, in terms of winning strategies in certain games. These chara
 cterizations were originally introduced by Hirschfeldt and Jockusch. I wil
 l discuss extensions and generalizations of these characterizations\, incl
 uding a certain\nnotion of compactness that allows us\, for strategies sat
 isfying particular conditions\, to bound the number of moves it takes to w
 in. This bound is independent of the instance of the problem P being consi
 dered. This allows us to develop the idea of Weihrauch\nand generalized We
 ihrauch reduction over some base theory. Here\, we will focus on the base 
 theory $\\textup{RCA}_0$. In this talk\, I will explore these notions of r
 eduction among various principles\, focusing particularly on bounding and 
 induction principles.\n
LOCATION:https://researchseminars.org/talk/OLS/42/
END:VEVENT
END:VCALENDAR