17.01.2002 15:00
Sharps, pistols, and the \Sigma^1_3 correctness of K
10.01.2002 15:00
A combinatorial proof of \Sigma^1_3 correctness of K
13.12.2001 15:00
Some words on well-foundedness principles over definable sets
29.11.2001 15:00
Canonization Theorems
22.11.2001 15:00
More on a convenient property for $[\gamma]^{\aleph_0}$
15.11.2001 15:00