skip to content
 

Models of Intuitionistic Zermelo-Frankel Set Theory based on Scott's $D_{\infty}$

Presented by: 
E Dihoum University of Leeds
Date: 
Tuesday 1st September 2015 - 15:30 to 16:30
Venue: 
INI Seminar Room 1
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons