NF is consistent
- Date: Wednesday 5 June 2019, 15:00 – 17:00
- Location: Mathematics Level 8, MALL 1, School of Mathematics
- Type: Logic, Seminars, Pure Mathematics
- Cost: Free
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.