03E40 Other aspects of forcing and Boolean-valued models

MSC > 03Exx Set theory > 03E40 Other aspects of forcing and Boolean-valued models

Videos linked to 03E40 Other aspects of forcing and Boolean-valued models

36:18

published on December 3, 2015

Class forcing and topos theory

By David Michael Roberts

01:35:58

published on May 19, 2014

La correspondance de Curry-Howard donne de nouveaux modèles de ZF 1/2

By Jean Louis Krivine

01:44:15

published on May 19, 2014

Curry-Howard correspondence gives new models of ZF 2/2

By Jean Louis Krivine

More +

Copyright Carmin.tv 2026

Give feedback