BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Vasco Brattka (Universität der Bundeswehr München)
DTSTART:20211202T190000Z
DTEND:20211202T200000Z
DTSTAMP:20260423T035635Z
UID:OLS/77
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/77/">A G
 alois connection between Turing jumps and limits</a>\nby Vasco Brattka (Un
 iversität der Bundeswehr München) as part of Online logic seminar\n\n\nA
 bstract\nWe discuss a Galois connection between Turing jumps and limits\nt
 hat offers a fresh view on the class of limit computable functions\nand it
 s properties. This view does not only offer simplified proofs\nof many kno
 wn classical results in computable analysis\, but also\nnew insights. With
  this approach we also propagate a more uniform\nview on computability the
 ory in general.\n
LOCATION:https://researchseminars.org/talk/OLS/77/
END:VEVENT
END:VCALENDAR
