18.10.2001 15:00
The Topological Baumgartner-Hajnal Theorem
25.08.2001 15:00
Bounded Forcing Axioms and Sets of Reals
27.06.2001 15:00
Higher type recursion in Infinite Time Turing Machines
19.06.2001 15:00
P not= NP for infinite time Turing machines.
12.06.2001 15:00
