Mathematics
and Interactions
-
Videos linked to 03E40 Other aspects of forcing and Boolean-valued modelsMore +
![La correspondance de Curry-Howard donne de nouveaux modèles de ZF 1/2]()
01:35:58published on May 19, 2014La correspondance de Curry-Howard donne de nouveaux modèles de ZF 1/2
By Jean Louis Krivine
![Curry-Howard correspondence gives new models of ZF 2/2]()
01:44:15published on May 19, 2014Curry-Howard correspondence gives new models of ZF 2/2
By Jean Louis Krivine
