1. Indicators, recursive saturation and expandability
2. and , ∑n-collection schemas in arithmetic. In: Logic Colloquium '77, North Holland Publ. Comp., Amsterdam 1978, pp. 199–209.
3. and , Subsets of models of arithmetic. In: Open days in model theory and set theory, Univ. of Leeds, 1984.
4. A note on satisfaction classes.
5. On elementary cuts in recursively saturated models of Peano Arithmetic