Jamie Gabbay
(Heriot-Watt University)
Consistency of Quine's NF Using Nominal Techniques

I will outline a recent proof of the consistency of Quine's New Foundations using nominal techniques, as described in

Consistency of Quine's New Foundations using nominal techniques.

This talk will be non-technical: I will describe NF, why its consistency matters, why it is difficult to prove, and - in broad terms - I will outline how the "nominal" proof works.