Interpolation, compactness and JEP in soft model theory

DOI10.1007/BF02318027zbMath0495.03019MaRDI QIDQ3958441

Daniele Mundici

Publication date: 1982

Published in: Archiv für mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137992

zbMATH Keywords

joint embedding property

Mathematics Subject Classification ID

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

Related Items (3)

Definability and automorphisms in abstract logics ⋮ A lower bound for the complexity of Craig's interpolants in sentential logic ⋮ Positive results in abstract model theory: a theory of compact logics

Cites Work

• Unnamed Item
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Applications of Many‐Sorted Robinson Consistency Theorem
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Axioms for abstract model theory
• δ-Logics and generalized quantifiers

This page was built for publication: Interpolation, compactness and JEP in soft model theory