Constructibility (Perspectives in Mathematical Logic)

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. Practically Any Introductory Text On Mathematical Logic Will Supply The Necessary Material. We Also Assume Some Familiarity With Zermelo-fraenkel Set Theory Up To The Development Or Ordinal And Cardinal Numbers. Any Number Of Texts Would Suffice Here, For Instance Devlin (1979) Or Levy (1979). The Book Is Not Intended To Provide A Complete Coverage Of The Many And Diverse Applications Of The Methods Of Constructibility Theory, Rather The Theory Itself. Such Applications As Are Given Are There To Motivate And To Exemplify The Theory. The Book Is Divided Into Two Parts. Part A (elementary Theory) Deals With The Classical Definition Of The La-hierarchy Of Constructible Sets. With Some Prun Ing, This Part Could Be Used As The Basis Of A Graduate Course On Constructibility Theory. Part B (advanced Theory) Deals With The Fa-hierarchy And The Jensen Fine-structure Theory. Disseminate......Page 1 Disseminate_001......Page 15 Disseminate_002......Page 70 Disseminate_003......Page 122 Disseminate_004......Page 151 Disseminate_005......Page 183 Disseminate_006......Page 237 Disseminate_007......Page 317 Disseminate_008......Page 346 Disseminate_009......Page 397 Disseminate_010......Page 423 Disseminate_011......Page 429 Disseminate_012......Page 433 Disseminate_013......Page 436 Disseminate_014......Page 441