Forcing as a computational process, Kobe Set Theory Workshop, March 2021 Posted on February 10, 2021 by Joel David Hamkins Reply
