NF is consistent

M. Randall Holmes, Boise State University. Part of the Logic Seminar Series.

In two successive one hour talks, I will give a brief account of the NF consistency problem, explain why consistency of NF follows from the existence of something called a "tangled web of cardinals" in a model of ZFA, and then give the barest hint of a Frankel-Mostowski construction of a model of ZFA in which there is a tangled web. The third goal is difficult and the degree of success to be expected should not be overrated.