| 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!
|