Interpolation, compactness and JEP in soft model theory

DOI10.1007/BF02318027zbMATH Open0495.03019MaRDI QIDQ3958441FDOQ3958441

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

• δ-Logics and generalized quantifiers
• Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
• Title not available (Why is that?)
• Axioms for abstract model theory
• Theorems of Beth and Craig in Abstract Model Theory. I The Abstract Settin
• Applications of Many‐Sorted Robinson Consistency Theorem

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)