Model-Theoretic Logics
by Barwise, J.
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an intr…
Read More ↓Title Statements
- Full title :Model-Theoretic Logics
Summary
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. This volume, the eighth publication in the Perspectives in Logic series, brings together several directions of work in model theory between the late 1950s and early 1980s. It contains expository papers by pre-eminent researchers. Part I provides an introduction to the subject as a whole, as well as to the basic theory and examples. The rest of the book addresses finitary languages with additional quantifiers, infinitary languages, second-order logic, logics of topology and analysis, and advanced topics in abstract model theory. Many chapters can be read independently.
Read More ↓Edition Statements
- Publication Date:2017.
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge
- Language:eng
- Publication Date:2017.
The Physical Object
- Description:1 online resource (913 pages)
Edition Identifiers
- ISBN:9781316717158, 1316717151, 9781316749043, 1316749045, 1316752909, 9781316752906
- oclc:ocn983738180
- LC Classification:QA9.7
- Dewey Decimal:511.3
Table of Contents
Cover ; Half-title ; Series information ; Title page ; Copyright information ; Preface to the Series ; Preface ; Table of contents ; List of Contributors; Part A Introduction, Basic Theory and Examples; Chapter I Model-Theoretic Logics: Background and Aims; 1. Logics Embodying Mathematical Concepts; 1.1. Logic, Structures and Logics; 1.2. The First-Order Thesis ; 1.3. The Completeness Problem; 1.4. Compactness ; 1.5. Mostowski's Proposal and Generalized Quantifiers ; 1.6. Infinitary Logics; 1.7. Second-Order Logic ; 1.8. Applications to Mathematics; 2. Abstract Model Theory
2.1. Lindstrom's Theorem2.2. Characterization Theorems; 2.3. Uses of Abstract Model Theory; 2.4. The Interpolation Theorem and the ∆-Closure; 2.5. Pinning Down Ordinals; 2.6. Hanf Numbers; 2.7. Strong Logics and First-Order Set Theory; 2.8. Other Types of Structures; 2.9. Unnatural Logics; 3. Conclusion; Chapter II Extended Logics: The General Framework; 1. General Logics; 1.1. The Framework; 1.2. Basic Closure Properties; 2. Examples of Principal Logics; 2.1. Logics of Higher Order; 2.2. Examples of Logics with Cardinality Quantifiers; 2.3. Cardinality Quantifiers with Complex Scopes
2.4. Logics with Cofinal…
Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Rate & Review