Logic seminar

We will take a close look at the first few steps of the construction of the Bristol model, which is a model intermediate to L[c], for a Cohen real c, satisfying V eq L(x) for all x.


Monday, 24 April, 2017 - 12:00 to 14:00

Repeats every week every Monday until Sun May 21 2017 except Mon May 01 2017


Ross 63