Jean-Louis Krivine (Paris 7), Some examples of realizability models of ZF

Schedule