LFCS
4pm Tuesday 18th March 2008
Room 2511, JCMB, King's Buildings
I'll give an overview of intuitionistic versions of set theory, and the various possible reasons for being interested in them. A theme will emerge of classifying theories according to their collections of models. I'll end with discussion of a new contribution in this direction (joint work with Thomas Streicher), a new class of models for Peter Aczel's Constructive Zermelo Fraenkel set theory CZF.