R. Holmes on consistency of NF
Sergei Tupailo
Departamento de Matemática
Universidade de Lisboa
Thursday, 14 November 2013, 14:00
Cybernetica Bldg (Akadeemia tee 21), room B101
Abstract: On March 28- April 2, 2013, there was a conference in Cambridge, called NF76, the main content of which was M. Randall Holmes presenting, in six 2-hour talks, his proof of consistency of the set theory "New Foundations" (NF). Consistency of NF, relatively to ZF, is one of the oldest (since 1937) open problems in Mathematical Logic, having, through decades, attracted attention of several great logicians of our times, including E. Specker, R. Jensen, R. Solovay. And of many others.
In this 1+-hour talk, after refreshing the minds about the area, I will try to communicate the main ideas of R. Holmes's model construction. You can try to grasp them already, before the seminar, from the attached two Cambridge pictures (-:).
.JPG)
.JPG)
Tarmo Uustalu
Last update 11.11.2013