Interpolation and compactness in categories of pre-institutions

DOI10.1017/S0960129500001006zbMath0860.03035MaRDI QIDQ4715675

Giuseppe Scollo, Antonino Salibra

Publication date: 21 April 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

interpolationcompactnesscategoriesjoint consistencyinstitutionpre-institutionsanalogues of ultraproducts

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Abstract model theory (03C95)

Related Items

An institution-independent proof of the Robinson consistency theorem, Some general results about proof normalization, Amalgamation in the semantics of CASL, An institution-independent proof of the Beth definability theorem, Logical systems for structured specifications.

Cites Work

• Equational type logic
• On the existence of free models in abstract algebraic institutions
• Specifications in an arbitrary institution
• A simple algebraic proof of the equational interpolation theorem
• Institutions: abstract model theory for specification and programming