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

Englisch

Amsterdam : North-Holland Pub. Co, 2010

Online Ressource (x, 208 pages)

Includes bibliographical references. - Print version record

Print version record

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

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

Erscheint auch als: Druck-Ausgabe- Keisler, H. Jerome: Model theory for infinitary logic. - Amsterdam : North-Holland Pub. Co, 1971

0-7204-2258-2

978-0-7204-2258-0

Weitere Ausgaben: 0-7204-2258-2 (Druckausgabe)

*Langages infinitaires ; Modèles, Théorie des ; Electronic books ; Model theory ; Infinitary languages ; Infinitary languages ; Model theory

*Electronic books ; Langages infinitaires ; Modèles, Théorie des ; Infinitary languages ; Model theory

Klassifikation der Library of Congress: QA9

Dewey Dezimal-Klassifikation: 511/.3 ; 511.3

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

Provability, Computability and Reflection

 

Online-Ausg.

[S.l.] : HathiTrust Digital Library

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

Elektronische Ressource - Nutzung mit Bibliotheksausweis in den Lesesälen der Staatsbibliothek zu Berlin - kein REMOTE ACCESS möglich

Der deutschlandweite Zugriff auf diesen Titel wird durch die Förderung der Deutschen Forschungsgemeinschaft ermöglicht und durch die Universitätsbibliothek Johann Christian Senckenberg Frankfurt organisiert. Einzelpersonen mit ständigem Wohnsitz in der Bundesrepublik Deutschland können sich persönlich bei der Universitätsbibliothek Johann Christian Senckenberg Frankfurt für einen kostenlosen Zugriff registrieren lassen, falls ihnen der Zugang über ein Universitätsnetz bzw. eine Wissenschaftliche Bibliothek nicht zur Verfügung steht: "http://www.nationallizenzen.de"