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.
This talk is included in these lists:
Note that exdirectory lists are not shown.
