Un programme d’algebrisation pour la réalisabilité ? (annulé)
Mauricio Guillermo
Universidad de la República, Uruguay
http://www.cmat.edu.uy/~mauricio/
Date(s) : 05/12/2019 iCal
11h00 - 12h30
Dans cet exposé, je me propose d’introduire les motivations du programme de travail qu’on poursuit à Montevideo depuis un moment. On remonte à la lecture attentive du papier de Streicher « Krivine’s classical realisability from a categorical perspective » et aux idées qu’on a trouvées nous amenant à ce programme d’algebrisation. Après, et en fonction du temps, je prétends presenter les structures algebriques ordonnées en question (IOCAs, KOCAs, Algèbres implicatives, algèbres conjonctives/disjonctives). Et voilà qu’on regarde maintenant avec Emmanuel (Beffara, n.d.l.r.) si sa réalisabilité concurrente peut entrer dans ce programme.
Catégories
