MPG.eBooks - Table of Contents: Model theory for infinitary logic

Read Now

Provability, Computability and Reflection

Bibliographic Details
Main Author:	Keisler, H. Jerome
Format:	eBook
Language:	English
Published:	Amsterdam North-Holland Pub. Co. 1971, 1971
Series:	Studies in logic and the foundations of mathematics
Subjects:	Théorie Des Modèles Model Theory / Http://id.loc.gov/authorities/subjects/sh85086421 Model Theory / Fast / (ocolc)fst01024368 Infinitary Languages / Fast / (ocolc)fst00972420 Infinitary Languages / Http://id.loc.gov/authorities/subjects/sh85066097 Langages Infinitaires
Online Access:	https://www.sciencedirect.com/science/bookseries/0...
Collection:	Elsevier eBook collection Mathematics - Collection details see MPG.ReNa

Table of Contents:

Includes bibliographical references
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