Publication:3982061
From MaRDI portal
zbMath0742.08005MaRDI QIDQ3982061
Publication date: 26 June 1992
signature; quasivariety; ultraproduct; many-sorted algebra; module algebra; first-order formula; Interpolation Theorem; equational implication; export distribution axiom; Lifting Lemma
03B10: Classical first-order logic
08C15: Quasivarieties
03C40: Interpolation, preservation, definability
03C20: Ultraproducts and related constructions
Related Items
A semantic approach to interpolation, Interpolation in computing science: The semantics of modularization, The institution-theoretic scope of logic theorems