University of Cambridge > Talks.cam > Category Theory Seminar > Constructing models of constructive or intuitionistic set theory from classical models of set theory

Constructing models of constructive or intuitionistic set theory from classical models of set theory

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Tamara von Glehn.

Kripke models for intuitionistic logic are well studied. It seems natural to try to extend this technique to construct models of intuitionistic or constructive set theory IZF /CZF by associating models of set theory to the nodes. We are particularly interested in doing so with models of classical set theory ZF(C ) and their generic extensions. In a first part, we will consider an approach of Iemhoff, study its limits and underlying logic. In the second part, we will consider constructions of Lubarsky.

This talk is part of the Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity