19.06.2001 15:00
P not= NP for infinite time Turing machines.
12.06.2001 15:00
K^c without large cardinals in V
22.05.2001 15:00
