Mathematical Logic Webinar

Generic realizability for intuitionistic set theory

Transmissão através de Videoconferência

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

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional