1. Infinite products in monoids;Dehornoy;Semigroup Forum,1986
2. Turing complexity of ordinals;Dehornoy;Inform. Process. Lett.,1986
3. Homogeneous trees and projective scales;Kechris,1981
4. Infinite games;Martin;Proceedings of the International Congress of Math.,1978
5. Sketch of Woodin's proof of PD;Martin;Notes,1985