1. П12 logic;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. Boundedness theorems for dilators and ptykes;Kechris;Ann. Pure Appl. Logic,1991
4. D. Normann and J.-Y. Girard, Embeddability of ptykes, Preprint.