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.