Asaf Karagila

Models of Bristol

The Bristol model is lies between L and a Cohen extension given by a single real. It is an unusual model of set theory without the axiom of choice in that it is not of the form L(x) for any set x. We will outline the construction, and discuss some of its consequences.

The full construction can be found in the following paper "The Bristol model: an abyss called a Cohen real". https://arxiv.org/abs/1704.06939