1. Models of arithmetic. Ph. D. Thesis, Manchester 1978.
2. and , ∑n-collection schemas in arithmetic. In: Logic Colloquium 1977, North-Holland Publ. Comp., Amsterdam 1978, pp. 199–209.
3. and , Truth definitions for Δ0 formulae. Monographie No. 30 de L'Enseignement Mathématique, Université de Genève, 1982, pp. 319–329.
4. and , A note on the end exetension problem. To appear.