Interpolation, compactness and JEP in soft model theory

DOI10.1007/BF02318027MaRDI QIDQ3958441zbMATH OpenFDO

Authors 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

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

Cites work

• scientific article; zbMATH DE number 3762044 (Why is no real title available?)
• Applications of Many‐Sorted Robinson Consistency Theorem
• Axioms for abstract model theory
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• δ-Logics and generalized quantifiers

Cited in

(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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3958441)