BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Giovanni Soldà (University of Leeds)
DTSTART:20210126T150000Z
DTEND:20210126T160000Z
DTSTAMP:20260423T004913Z
UID:CTA/39
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/39/">Riv
 al-Sands principles in the Weihrauch degrees</a>\nby Giovanni Soldà (Univ
 ersity of Leeds) as part of Computability theory and applications\n\n\nAbs
 tract\nwRSg and wRSgr are consequences of RSg\, a theorem about graphs pro
 ved in 1980 by Rival and Sands. wRSg and wRSgr can be shown to be equivale
 nt to Ramsey theorem for pairs over RCA_0\, but are computationally strict
 ly weaker. In this talk\, we will study the Weihrauch degrees associated t
 o these principles\, by comparing them with the degrees of other classical
  theorems introduced in the analysis of RT22. This is a joint work with Ma
 rta Fiori Carones and Paul Shafer.\n
LOCATION:https://researchseminars.org/talk/CTA/39/
END:VEVENT
END:VCALENDAR