Randall Holmes: Preliminaries for Proving the Consistency of NF

Wednesday, February 11 from 3 to 4pm
Room: Math 124
Speaker: Randall Holmes (BSU)
Title: Preliminaries for Proving the Consistency of NF

Abstract: We will discuss some preliminary machinery intended for use in a consistency proof of Quine’s set theory New Foundations.
No particular familiarity with New Foundations is presupposed.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.