Admissible Sets and Structures

ISBN-13: 9781107168336 / Angielski / Twarda / 2017 / 408 str.

Jon Barwise

Opis

This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.

Spis treści

Introduction; Part I. The Basic Theory: 1. Admissible set theory; 2. Some admissible sets; 3. Countable fragments of L∞ω; 4. Elementary results on HYPM; Part II. The Absolute Theory: 5. The recursion theory of Σ1, predicates on admissible sets; 6. Inductive definitions; Part III. Towards a General Theory: 7. More about L∞ω; 8. Strict Π11 predicates and Koenig principles; Appendix. Nonstandard compactness arguments and the admissible cover; References; Index of notation; Subject index.