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

## Forcing as a computational processAdd to your list(s) Download to your calendar using vCal - Joel David Hamkins (Oxford)
- Saturday 16 February 2019, 14:00-15:00
- Centre for Mathematical Sciences, MR13.
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 computational 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. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here Research Office Linked Events IfM Buns Talk## Other talksPatenting in an Entrepreneurial Region during the Great Depression: The Case of Cleveland, Ohio Ocean modelling from the Ross to the Tasman Sea Good Mood Food: Eating for Optimum Mental Health 1st Reading seminar: Harm Pinkster’s Oxford Latin Syntax THE POWER OF CATALYTIC CONVERSATIONS: An unexpected journey and response to the question 'How do we turn STEM into STEAM? How do we measure quality in higher education? |