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

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

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.

Other lists

Hispanic Research Seminars Statistics Meets Public Health Economics

Other talks

Positive definite kernels for deterministic and stochastic approximations of (invariant) functions Development of a Broadly-Neutralising Vaccine against Blood-Stage P. falciparum Malaria Bringing Personality Theory Back to Life: On Persons-in-Context, Idiographic Strategies, and Lazarus Language Adaptation experiments: Cross-lingual embeddings for related languages Modularity, criticality and evolvability of a developmental GRN Non-Spherically Symmetric Collapse in Asymptotically AdS Spacetimes
 

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