University of Cambridge > Talks.cam > Set Theory Seminar > Forcing as a computational process

Forcing as a computational process

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

If you have a question about this talk, please contact Benedikt Loewe.

part of STUK 1

We investigate the senses in which set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for the atomic or elementary diagram of a model of set theory ⟨M,∈M⟩, for example, we explain senses in which one may compute M-generic filters G⊂P∈M and the corresponding forcing extensions M[G]. Meanwhile, no such com­pu­ta­tio­nal process is functorial, for there must always be isomorphic alternative presentations of the same model of set theory M that lead by the computational process to non-isomorphic forcing extensions M[G]≆M[G′]. Indeed, there is no Borel function providing generic filters that is functorial in this sense. This is joint work with Russell Miller and Kameryn Williams.

This talk is part of the Set 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-2019 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity