Book contents
- Frontmatter
- Preface to the Series Perspectives in Mathematical Logic
- Preface
- Contents
- List of Contributors
- Part A Introduction, Basic Theory and Examples
- Part B Finitary Languages with Additional Quantifiers
- Part C Infinitary Languages
- Part D Second-Order Logic
- Part E Logics of Topology and Analysis
- Part F Advanced Topics in Abstract Model Theory
- Chapter XVII Set-Theoretic Definability of Logics
- Chapter XVIII Compactness, Embeddings and Definability
- Chapter XIX Abstract Equivalence Relations
- Chapter XX Abstract Embedding Relations
- Bibliography
Chapter XVIII - Compactness, Embeddings and Definability
from Part F - Advanced Topics in Abstract Model Theory
Published online by Cambridge University Press: 31 March 2017
Book contents
- Frontmatter
- Preface to the Series Perspectives in Mathematical Logic
- Preface
- Contents
- List of Contributors
- Part A Introduction, Basic Theory and Examples
- Part B Finitary Languages with Additional Quantifiers
- Part C Infinitary Languages
- Part D Second-Order Logic
- Part E Logics of Topology and Analysis
- Part F Advanced Topics in Abstract Model Theory
- Chapter XVII Set-Theoretic Definability of Logics
- Chapter XVIII Compactness, Embeddings and Definability
- Chapter XIX Abstract Equivalence Relations
- Chapter XX Abstract Embedding Relations
- Bibliography
- Type
- Chapter
- Information
- Model-Theoretic Logics , pp. 645 - 716Publisher: Cambridge University PressPrint publication year: 2017
- 7
- Cited by