Personal tools
You are here: Home Events Abstract Archives 2007-2008 Intuitionistic set theories and their models

Intuitionistic set theories and their models

Alex Simpson 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.

Document Actions