Stephen G. Simpson
Department of Mathematics
Pennsylvania State University
t20@psu.edu
February 4, 1986
This article was originally written in MathText in January 1986. It was published in 1988 in the Journal of Symbolic Logic, volume 53, pages 349-363. The conversion to LaTeX was performed on December 7, 1996.