BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Emanuele Frittaion (TU Darmstadt)
DTSTART:20210119T090000Z
DTEND:20210119T100000Z
DTSTAMP:20260423T004826Z
UID:CTA/38
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/CTA/38/">Gen
 eric realizability for intuitionistic set theory</a>\nby Emanuele Frittaio
 n (TU Darmstadt) as part of Computability theory and applications\n\n\nAbs
 tract\nGeneric realizability goes back to Kreisel's and Troelstra's interp
 retation of intuitionistic second order arithmetic. It was later adapted t
 o systems of intuitionistic set theory by Friedman\, Beeson\, McCarthy\, a
 nd Rathjen. We survey known applications and present some recent ones. Joi
 nt with Michael Rathjen and Takako Nemoto.\n
LOCATION:https://researchseminars.org/talk/CTA/38/
END:VEVENT
END:VCALENDAR