BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Manlio Valenti (University of Udine)
DTSTART:20220331T180000Z
DTEND:20220331T190000Z
DTSTAMP:20260423T021157Z
UID:OLS/90
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/90/">The
  first-order part of Weihrauch degrees</a>\nby Manlio Valenti (University 
 of Udine) as part of Online logic seminar\n\n\nAbstract\nGiven an order $(
 P\,\\le)$\, a natural strategy to prove that $a \\not\\le b$ is to present
  an example of some $c\\le a$ such that $c \\not\\le b$. Of course\, choos
 ing such a $c$ can be very challenging.\n\nIn the context of TTE and Weihr
 auch reducibility\, (Dzhafarov\, Solomon\, Yokoyama) introduced the notion
  of ``first-order part" of a computational problem $f$\, capturing the ``s
 trongest computational problem that is Weihrauch-below $f$". Characterizin
 g the first-order part of a given problem can be challenging as well\, but
  it proved to be a very useful tool\, especially when comparing principles
  that are (relatively) high in the Weihrauch hierarchy.\n\nIn this talk\, 
 we will study the first-order part from a more algebraic perspective\, and
  study its relation with several other operators already defined in the li
 terature. We will then show how the obtained results can be used to easily
  characterize the first-order part of many known problems.\n
LOCATION:https://researchseminars.org/talk/OLS/90/
END:VEVENT
END:VCALENDAR