Model-Theoretic Logics

Editor(s) J. Barwise, S. Feferman

Perspect. Logic, 8: 893pp. (1985).

Abstract

No abstract available

Hide All Book Information -

Information

Perspectives in Logic, Volume 8

893 pp.

Published: 1985

First available in Project Euclid: 23 February 2009

MathSciNet: MR0819531

ISBN: 3540909362

Subjects:

Primary: 03Cxx

Perspectives in Logic

Next Volume >

Association for Symbolic Logic

TABLE OF CONTENTS
View All Abstracts +

Miscellaneous Frontmatter

Perspectives in Logic Vol. 8, - (1985). Open Access

List of Contributors

Perspectives in Logic Vol. 8, xvii-xviii (1985). Open Access

Part A: Introduction, Basic Theory and Examples

Chapter I: Model-Theoretic Logics: Background and Aims

J. Barwise

Perspectives in Logic Vol. 8, 3-23 (1985). Open Access

Chapter II: Extended Logics: The General Framework

H.-D. Ebbinghaus

Perspectives in Logic Vol. 8, 25-76 (1985). Open Access

Chapter III: Characterizing Logics

J. Flum

Perspectives in Logic Vol. 8, 77-120 (1985). Open Access

Part B: Finitary Languages with Additional Quantifiers

Chapter IV: The Quantifier "There Exist Uncountably Many" and Some of Its Relatives

M. Kaufmann

Perspectives in Logic Vol. 8, 123-176 (1985). Open Access

Chapter V: Transfer Theorems and Their Applications to Logics

J. H. Schmerl

Perspectives in Logic Vol. 8, 177-209 (1985). Open Access

Chapter VI: Other Quantifiers: An Overview

D. Mundici

Perspectives in Logic Vol. 8, 211-233 (1985). Open Access

Chapter VII: Decidability and Quantifier-Elimination

A. Baudisch, D. Seese, P. Tuschik, M. Weese

Perspectives in Logic Vol. 8, 235-268 (1985). Open Access

Part C: Infinitary Languages

Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part I: Compactness Lost

M. Nadel

Perspectives in Logic Vol. 8, 271-287 (1985). Open Access

Chapter VIII: ${\scr L}_{\omega_1\omega}$ and Admissible Fragments; Part II: Compactness Regained

M. Nadel

Perspectives in Logic Vol. 8, 288-316 (1985). Open Access

Chapter IX: Larger Infinitary Languages

M. A. Dickmann

Perspectives in Logic Vol. 8, 317-363 (1985). Open Access

Chapter X: Game Quantification

Ph. G. Kolaitis

Perspectives in Logic Vol. 8, 365-421 (1985). Open Access

Chapter XI: Applications to Algebra

P. C. Eklof

Perspectives in Logic Vol. 8, 423-442 (1985). Open Access

Part D: Second-Order Logic

Chapter XII: Definable Second-Order Quantifiers

J. Baldwin

Perspectives in Logic Vol. 8, 445-477 (1985). Open Access

Chapter XIII: Monadic Second-Order Theories

Y. Gurevich

Perspectives in Logic Vol. 8, 479-506 (1985). Open Access

Part E: Logics of Topology and Analysis

Chapter XIV: Probability Quantifiers

H. J. Keisler

Perspectives in Logic Vol. 8, 507-556 (1985). Open Access

Chapter XV: Topological Model Theory

M. Ziegler

Perspectives in Logic Vol. 8, 557-577 (1985). Open Access

Chapter XVI: Borel Structures and Measure and Category Logics

C. I. Steinhorn

Perspectives in Logic Vol. 8, 579-596 (1985). Open Access

Part F: Advanced Topics in Abstract Model Theory

Chapter XVII: Set-Theoretic Definability of Logics

J. Väänänen

Perspectives in Logic Vol. 8, 599-643 (1985). Open Access

Chapter XVIII: Compactness, Embeddings and Definability

J. A. Makowsky

Perspectives in Logic Vol. 8, 645-716 (1985). Open Access

Chapter XIX: Abstract Equivalence Relations

J. A. Makowsky, D. Mundici

Perspectives in Logic Vol. 8, 717-746 (1985). Open Access

Chapter XX: Abstract Embedding Relations

J. A. Makowsky

Perspectives in Logic Vol. 8, 747-791 (1985). Open Access

Bibliography

D. S. Scott , D. C. McCarty , J. F. Horty

Perspectives in Logic Vol. 8, 793-893 (1985). Open Access

Miscellaneous Backmatter

Perspectives in Logic Vol. 8, - (1985). Open Access

Abstract

Information

KEYWORDS/PHRASES

PUBLICATION TITLE:

PUBLICATION YEARS