Erschienen in: Intellectica. Revue de l'Association pour la Recherche Cognitive ; Vol. 51, n° 1, pp. 135-144

Erschienen in: Archiv der Mathematik, 41 (1983) 3, Seite 238-242

Erschienen in: Archiv der Mathematik, 38 (1982) 1, Seite 184-188

Erschienen in: Annales de l’institut Fourier, 32 (1982) 1, Seite 1-5

Erschienen in: Annales de l’institut Fourier, 31 (1981) 1, Seite 1-15

Erschienen in: Lecture Notes in Mathematics (1981), Seite 44-89

Erschienen in: Acta Arithmetica, 109 (2003) 1, Seite 27-63

Erschienen in: Lecture Notes in Mathematics (1981), Seite 91-110

Erschienen in: Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic (1982), Seite 57-68