COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

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 theoryAdd to your list(s) Download to your calendar using vCal - Robert Passmann (University of Amsterdam)
- Tuesday 13 February 2018, 15:45-16:45
- MR5, Centre for Mathematical Sciences.
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:- All CMS events
- All Talks (aka the CURE list)
- CMS Events
- Category Theory Seminar
- DPMMS Lists
- DPMMS Pure Maths Seminar
- DPMMS info aggregator
- DPMMS lists
- MR5, Centre for Mathematical Sciences
- School of Physical Sciences
Note that ex-directory lists are not shown. |
## Other listsHispanic Research Seminars Statistics Meets Public Health Economics## Other talksPositive 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 |