Скачать или смотреть Joel David Hamkins: Set-theoretic forcing as a computational process

This was a talk by Joel David Hamkins for the Midwest Computability Seminar at the University of Chicago, May 2, 2023, taking place in "The Barn" at the University of Chicago.

Abstract. I shall explore several 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 (M,∈^M) of set theory, for example, there are senses in which one may compute M-generic filters G⊂ℙ∈M over that model and compute the diagrams of 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 that lead by the computational process to non-isomorphic forcing extensions. Indeed, there is no Borel function providing generic filters that is functorial in this sense. This is joint work with myself, Russell Miller and Kameryn Williams.

The paper is available on the arxiv at https://arxiv.org/abs/2007.00418.
Further commentary available at the speaker's blog http://jdh.hamkins.org/forcing-as-a-c....
The seminar web page is available at https://www.math.uchicago.edu/~drh/mc....