Models of Bristol
Logic and Set Theory Seminar
2nd October 2018, 3:00 pm – 4:30 pm
Howard House, 4th Floor Seminar Room
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