1. North-Holland Stud. Logic, vol. 79;P. Aczel,1974
2. North-Holland Stud. Logic, vol. 90;S. Feferman,1977
3. North-Holland Stud. Logic, vol. 79;G.E. Sacks,1974
4. North-Holland Stud. Logic, vol. 80;H. Schwichtenberg,1975
5. Lect. Notes Math., vol. 500;H. Schwichtenberg,1975