An Outline of a Variant of Jamie Gabbay's recent proof of the Consistency of Quine's NF

Peter Aczel, University of Manchester. Part of the proofs, constructions and computations seminar series.

I aim to present an outline of a variant of Jamie's recent proof. The presentation is my own, based on discussions with Jamie about his paper that has been submitted for publication.

Peter Aczel, University of Manchester