Forcing as a computational process

Joel David Hamkins, Russell Miller, Kameryn J. Williams

We investigate how set-theoretic forcing can be seen as a computational process on the models of set theory. Given an oracle for information about a model of set theory $\langle M,…