Forcing as a computational process, Cambridge, Februrary 2019
This will be a talk for Set Theory in the United Kingdom (STUK 1), to be held in the other place, February 16, 2019. Abstract. We investigate the senses in which set-theoretic forcing can be seen a…
