Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin

DOI10.2307/1998109zbMath0428.03032OpenAlexW4231598444MaRDI QIDQ3864498

Saharon Shelah, Johann A. Makowsky

Publication date: 1979

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1998109

zbMATH Keywords

compactnessdefinabilitycharacterization theoremsBeth's theoremCraig's interpolation theoremRobinson's consistency lemmasystematic study

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Abstract model theory (03C95)

Related Items

Remarks in abstract model theory, The Interior Operator Logic and Product Topologies, Interpolation Fails for the Souslin-Kleene Closure of the Open Set Quantifier Logic, Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent?, The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics, Duality Between Logics and Equivalence Relations, Completeness theorems for continuous functions and product topologies, Harmonious logic: Craig's interpolation theorem and its descendants, The theorems of beth and Craig in abstract model theory II. Compact logics, Positive results in abstract model theory: a theory of compact logics, A topological characterization of \((\lambda,\mu)^*-compactness\), Definability properties and the congruence closure, Interpolation, compactness and JEP in soft model theory