1. П12 logic, part 1;Girard;Ann. Math. Logic,1981
2. J.-Y. Girard and J.P. Ressayre, Elements de logique П1n, in: A. Nerode and R. Shore, eds., Recursion Theory, Proc. Symp. Pure. Math. 42 (Amer. Math. Soc., Providence, RI) 389-446.
3. A.S. Kechris, Homogeneous trees and projective scales, Cabal Seminar 1977-79, Lecture Notes in Math. 839 (Spinger, Berlin) 33-74.
4. A.S. Kechris, On the projective ordinals, Cabal seminar 1976–, Lecture Notes in Math. 689 (Spinger, Berlin) 91-132.
5. A strong boundedness theorem for dilators;Kechris;Ann. Pure Appl. Logic,1991