[bibtex key=“Hamkins Miller Williams:强制作为计算过程”]

摘要。我们研究如何将集合理论强制视为集合理论模型上的计算过程。给定集合论模型$\langleM的信息预言符，在^M\rangle$中，我们解释了计算$M$-泛型过滤器$G\subseteq\mathbb{P}的意义以及相应的强制扩展$M[G]$。具体地说，可以从原子图计算$G$，可以从$\Delta_0$-图计算$M[G]$及其$\Delta _0$-关系图，可以从原理图计算$M[G]$的原理图。我们还研究了使过程成为函数的必要信息，并得出结论，在一般情况下，没有这样的计算过程是函数的。对于任何这样的过程，总是有可能对集合论模型$M$进行不同的同构表示，从而导致不同的非同构强制扩展$M[G]$。实际上，在这个意义上，没有Borel函数提供通用过滤器。