Perspectives in Logic

Model-Theoretic Logics

J. Barwise (Editor) and S. Feferman (Editor)

Book information

Contributors
J. Barwise (Editor) and S. Feferman (Editor)

Publication information
Perspectives in Mathematical Logic, Volume 8
New York: Springer-Verlag, 1985
893 pp.

Dates
Publication date: 1985
First available in Project Euclid: 23 February 2009

Permanent link to this book
https://projecteuclid.org/euclid.pl/1235417263

ISBN:
0-387-90936-2
3-540-90936-2

Mathematical Reviews (MathSciNet):
MR0819531

Subjects
Primary: 03CXX

Rights
Copyright © 1985, Association for Symbolic Logic

Citation
J. Barwise, S. Feferman, eds., Model-Theoretic Logics (New York: Springer-Verlag, 1985)

Select/deselect all
  • Export citations
Miscellaneous Frontmatter
Abstract PDF
List of Contributorsxvii - xviii
Abstract PDF

Part A: Introduction, Basic Theory and Examples

Chapter I: Model-Theoretic Logics: Background and AimsJ. Barwise; 3 - 23
Abstract PDF
Chapter II: Extended Logics: The General FrameworkH.-D. Ebbinghaus; 25 - 76
Abstract PDF
Chapter III: Characterizing LogicsJ. Flum; 77 - 120
Abstract PDF

Part B: Finitary Languages with Additional Quantifiers

Chapter IV: The Quantifier "There Exist Uncountably Many" and Some of Its RelativesM. Kaufmann; 123 - 176
Abstract PDF
Chapter V: Transfer Theorems and Their Applications to LogicsJ. H. Schmerl; 177 - 209
Abstract PDF
Chapter VI: Other Quantifiers: An OverviewD. Mundici; 211 - 233
Abstract PDF
Chapter VII: Decidability and Quantifier-EliminationA. Baudisch, D. Seese, P. Tuschik, and M. Weese; 235 - 268
Abstract PDF

Part C: Infinitary Languages

Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part I: Compactness LostM. Nadel; 271 - 287
Abstract PDF
Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part II: Compactness RegainedM. Nadel; 288 - 316
Abstract PDF
Chapter IX: Larger Infinitary LanguagesM. A. Dickmann; 317 - 363
Abstract PDF
Chapter X: Game QuantificationPh. G. Kolaitis; 365 - 421
Abstract PDF
Chapter XI: Applications to AlgebraP. C. Eklof; 423 - 442
Abstract PDF

Part D: Second-Order Logic

Chapter XII: Definable Second-Order QuantifiersJ. Baldwin; 445 - 477
Abstract PDF
Chapter XIII: Monadic Second-Order TheoriesY. Gurevich; 479 - 506
Abstract PDF

Part E: Logics of Topology and Analysis

Chapter XIV: Probability QuantifiersH. J. Keisler; 507 - 556
Abstract PDF
Chapter XV: Topological Model TheoryM. Ziegler; 557 - 577
Abstract PDF
Chapter XVI: Borel Structures and Measure and Category LogicsC. I. Steinhorn; 579 - 596
Abstract PDF

Part F: Advanced Topics in Abstract Model Theory

Chapter XVII: Set-Theoretic Definability of LogicsJ. Väänänen; 599 - 643
Abstract PDF
Chapter XVIII: Compactness, Embeddings and DefinabilityJ. A. Makowsky; 645 - 716
Abstract PDF
Chapter XIX: Abstract Equivalence RelationsJ. A. Makowsky and D. Mundici; 717 - 746
Abstract PDF
Chapter XX: Abstract Embedding RelationsJ. A. Makowsky; 747 - 791
Abstract PDF
BibliographyD. S. Scott, D. C. McCarty, and J. F. Horty; 793 - 893
Abstract PDF
Miscellaneous Backmatter
Abstract PDF
Select/deselect all
  • Export citations

Top

Association for Symbolic Logic

Perspectives in Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?