布里斯托模型：一个名为Cohen实数的深渊

我们构造了一个ZF的模型$M$，它位于$L$与$L[c]$之间（其中$c$为一个Cohen实数），且不具有任何集合$x$的$L(x)$形式。这大致基于2011年布里斯托一次关于Woodin的HOD猜想的研讨会上未发表的工作。此处给出的构造允许对基模型上所需假设进行更精细的分析，从而使我们向理解ZF模型以及HOD猜想及其相关猜想迈近一步。该模型也对Grigorieff关于ZF中间模型的一个问题给出了肯定回答，并且我们用它展示了ZF中Kinna--Wagner原理的失效。