Custom cover image
Custom cover image

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler

Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Studies in logic and the foundations of mathematics ; v. 62Publisher: Amsterdam : North-Holland Pub. Co, 2010Description: Online Ressource (x, 208 pages)ISBN:
  • 0720422582
  • 9780720422580
Subject(s): Additional physical formats: 0720422582 | Erscheint auch als: Model theory for infinitary logic. Druck-Ausgabe Amsterdam : North-Holland Pub. Co, 1971DDC classification:
  • 511.3
LOC classification:
  • QA9
Online resources: Additional physical formats: Online-Ausg. [S.l.] : HathiTrust Digital LibrarySummary: 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 indiscerniblesSummary: Provability, Computability and ReflectionPPN: PPN: 878888322Package identifier: Produktsigel: BSZ-33-EBS-C1UB | BSZ-33-EBS-HSAA | GBV-33-EBS-MRI | GBV-33-EBS-ZHB | GBV-33-Freedom-BL | ZDB-1-ELC | ZDB-33-EBS | ZDB-33-ESD
No physical items for this record

Restrictions unspecified star

Online-Ausg. [S.l.] : HathiTrust Digital Library

Online-Ausg. [S.l.] : HathiTrust Digital Library. Online-Ausg. [S.l.] : HathiTrust Digital Library

Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.

English

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT