1. Hyperhypersimple sets and Δ2 systems;Chong;Ann. Pure Appl. Logic,1989
2. C.T. Chong, Recursively enumerable sets and models of BΣ2, Proc. Kyoto Conf. in Math. Logic, Lecture Notes in Math. (Springer, Berlin, to appear).
3. A note on the MacDowell-Speaker theorem;Clote;Fund. Math.,1987
4. H. Friedman, On fragments of Peano arithmetic, preprint.
5. K.J. Mourad, The Sacks splitting theorem and Σ1 induction to appear.