Send the following on WhatsApp
Continue to ChatSet-theoretic forcing as a computational process, Midwest Computability Seminar, Chicago, May 2023 https://jdh.hamkins.org/forcing-as-a-computational-process-mcs-chicago-may-2023/
Set-theoretic forcing as a computational process, Midwest Computability Seminar, Chicago, May 2023 https://jdh.hamkins.org/forcing-as-a-computational-process-mcs-chicago-may-2023/