C Compactness theorem for generalized second-order language

Kapitel in diesem Buch

1. Frontmatter i
2. Contents vii
3. Historical foreword on the centenary after Felix Hausdorff’s classic Set Theory xiii
4. Preface xvii
5. 1 Fundamentals of the theory of classes, sets, and numbers 1
6. A Characterization of all natural models of Neumann – Bernays – Gödel and Zermelo – Fraenkel set theories 185
7. B Local theory of sets as a foundation for category theory and its connection with the Zermelo – Fraenkel set theory 281
8. C Compactness theorem for generalized second-order language 361
9. Index of terms 387
10. Index of notations 409
11. Bibliography 417