BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Juan Aguilera (Vienna University of Technology)
DTSTART:20230404T100000Z
DTEND:20230404T110000Z
DTSTAMP:20260423T005709Z
UID:CTA/91
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/91/">Det
 erminacy in Second-Order Arithmetic</a>\nby Juan Aguilera (Vienna Universi
 ty of Technology) as part of Computability theory and applications\n\n\nAb
 stract\nWe survey some recent results on the Reverse Mathematics of determ
 inacy principles in Second-Order Arithmetic.\n
LOCATION:https://researchseminars.org/talk/CTA/91/
END:VEVENT
END:VCALENDAR