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

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹī¸ Information

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

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 ex-directory lists are not shown.

Other lists

In person only – Rooms GS4 & 5, Donald McIntyre Building, Faculty of Education, 184 Hills Road, Cambridge CB2 8PQ MR13, CMS Webinar & FW11, Computer Laboratory, William Gates Building.

Other talks

Shining a light on the origin of supermassive black holes with cosmological simulations Loke CTR Annual Meeting 2026 - Epigenetics of embryogenesis and placentation Title to be confirmed Polar Oceans Seminar Talk Coming soon Online Causal Inference Seminar
 

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