Loading…
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers /
Provability, Computability and Reflection.
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Amsterdam :
North-Holland Pub. Co.,
1971.
|
| Series: | Studies in logic and the foundations of mathematics ;
v. 62. |
| Subjects: | |
| Online Access: | Texto completo Texto completo Texto completo |
Table of Contents:
- Front Cover; Model Theory for Imfinitary Logic; Copyright Page; Table of Contents; PART I; Chapter 1. Introduction; Chapter 2. Scott's Isomorphism Theorem; Chapter 3. Model Existence Theorem; Chapter 4. Completeness Theorem; Chapter 5. Craig Interpolation Theorem; Chapter 6. Lyndon Interpolation Theorem; Chapter 7. Malitz Interpolation Theorem; Chapter 8. Admissible sets; Chapter 9. Barwise Compactness Theorem; Chapter 10. Undefinability of well order; Chapter 11. Omitting Types Theorem; Chapter 12. Prime models; PART II; Chapter 13. Skolem functions and indiscernibles