Compactness=JEP in any logic

DOI10.4064/FM-116-2-99-108MaRDI QIDQ3677753zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 1983

Published in Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

Craig's interpolation theoremjoint embedding propertyLöwenheim's propertyRobinson's consistency theorem

Mathematics Subject Classification ID

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

Recommendations

• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• Positive results in abstract model theory: a theory of compact logics
• Duality for Compact Logics and Substitution in Abstract Model Theory
• scientific article; zbMATH DE number 554987
• scientific article; zbMATH DE number 3873304

Cited in

(9)

• Syntactic features and synonymy relations: A unified treatment of some proofs of the compactness and interpolation theorems
• Compactness of fuzzy logics.
• Natural limitations of decision procedures for arithmetic with bounded quantifiers
• Embeddings, amalgamation and elementary equivalence: the representation of compact logics
• scientific article; zbMATH DE number 554987 (Why is no real title available?)
• COMPACTNESS, THE LÖWENHEIM‐SKOLEM PROPERTY AND THE DIRECT PRODUCT OF LATTICES OF TRUTH VALUES
• A lower bound for the complexity of Craig's interpolants in sentential logic
• Compactness in equational logic
• Elementary Amalgamation and Joint Embedding Property for Intermediate Logics

This page was built for publication: Compactness=JEP in any logic

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