Product Description: This book is intended to give a fairly comprehensive account of the theory of constructible sets at an advanced level. The intended reader is a graduate mathe­ matician with some knowledge of mathematical logic. In particular, we assume familiarity with the notions of formal languages, axiomatic theories in formal languages, logical deductions in such theories, and the interpretation oflanguages in structures...read more