Model-Theoretic Logics
Editor: J. Barwise
Editor: S. Feferman
Perspectives in Mathematical Logic, Volume 8
New York: Springer-Verlag, 1985.
893 pp.
Subjects:
03CXX (primary)
Permanent link to this monograph: http://projecteuclid.org/euclid.pl/1235417263
Mathmatical Reviews number (MathSciNet): MR0819531
ISBN:0-387-90936-2
ISBN:3-540-90936-2
Mathmatical Reviews number (MathSciNet): MR0819531
ISBN:0-387-90936-2
ISBN:3-540-90936-2
Copyright © 1985, Association for Symbolic Logic.
Part A: Introduction, Basic Theory and Examples
Part B: Finitary Languages with Additional Quantifiers
Chapter IV: The Quantifier "There Exist Uncountably Many" and Some of Its Relatives
M. Kaufmann; 123-176
Chapter V: Transfer Theorems and Their Applications to Logics
J. H. Schmerl; 177-209
Chapter VII: Decidability and Quantifier-Elimination
A. Baudisch, D. Seese, P. Tuschik, and M. Weese; 235-268
Part C: Infinitary Languages
Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part I: Compactness Lost
M. Nadel; 271-287
Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part II: Compactness Regained
M. Nadel; 288-316
Part D: Second-Order Logic
Part E: Logics of Topology and Analysis
Chapter XVI: Borel Structures and Measure and Category Logics
C. I. Steinhorn; 579-596
Part F: Advanced Topics in Abstract Model Theory
Chapter XVIII: Compactness, Embeddings and Definability
J. A. Makowsky; 645-716
Chapter XIX: Abstract Equivalence Relations
J. A. Makowsky, and D. Mundici; 717-746
