NF in the Bay Area
Program


Location: CORDURA HALL (CSLI), Room 100.


June 25 9:00 -- 9:10 Opening Remarks

9:10 -- 10:40 Thomas Forster: A Discussion of Some Open Problem in NF and Related Systems

11:00 -- 12:30 Sergei Tupailo: Consistency of Strictly Impredicative NF

12:30 -- 2:30 Lunch

2:30 -- 4:00 Sergei Tupailo: Consistency of Strictly Impredicative NF

4:20 -- 5:50 Randall Holmes: Symmetry, Comprehension and Indiscernibility of Urelements in NFU
June 26 9:00 -- 9:10 Morning Remarks

9:10 -- 10:40 Thomas Forster: A Discussion of Some Open Problem in NF and Related Systems

11:00 -- 12:30 Randall Holmes: Symmetry, Comprehension and Indiscernibility of Urelements in NFU

12:30 -- 2:30 Lunch

2:30 -- 4:00 Open Discussion: Is NF Consistent? Chair: Sergei Tupailo

4:20 -- 5:50 Open Discussion: Advantages and Disadvantages of Doing Mathematics in NF-type Theories. Chair: Randall Holmes
June 27 Reserved Day Suggestions are welcome!