Abstract

The first volume of a projected two-volume treatise which will provide for the first time a systematic and comprehensive exposition of an important branch of mathematical logic. Previously published research is integrated and revised in the light of later results, and much new material is presented. Highly technical and, even in introductory sections, extraordinarily dense in style, this is a work for specialists. An important contribution.--L. K. B.