Por Emanuele Frittaion (Mathematics Department of TU-Darmstadt - Germany).
Generic realizability goes back to Kreisel's and Troelstra's interpretation of intuitionistic second order arithmetic. It was later adapted to systems of intuitionistic set theory by Friedman, Beeson, McCarthy, and Rathjen. We survey known applications and present some recent ones.
Joint with Michael Rathjen and Takako Nemoto.
Zoom Meeting | ID da reunião: 890 8479 3299 - senha de acesso: 409604