An Outline of a Variant of Jamie Gabbay's recent proof of the Consistency of Quine's NF
- Date: Wednesday 8 March 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
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