Amalgamation properties and interpolation theorems for equational theories
From MaRDI portal
Publication:1224578
DOI10.1007/BF02485230zbMath0324.02036MaRDI QIDQ1224578
Publication date: 1975
Published in: Algebra Universalis (Search for Journal in Brave)
03B10: Classical first-order logic
08C10: Axiomatic model classes
03C68: Other classical first-order model theory
08Axx: Algebraic structures
Related Items
Maksimova, Relevance and the Study of Lattices of Non-classical Logics, Quantifier-free interpolation in combinations of equality interpolating theories, Complete instantiation-based interpolation, Interpolation Results for Arrays with Length and MaxDiff, Amalgamation, interpolation, and implicit definability in varieties of algebras, Logical matrices and the amalgamation property, Interpolation and the Robinson property for logics not closed under the Boolean operations, Amalgamation and interpolation in normal modal logics, Amalgamation in categories with concrete duals, Model-companions and definability in existentially complete structures, Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras, Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation, Bjarni Jónsson's contributions in algebra, Interpolation and amalgamation for arrays with MaxDiff, Amalgamation and interpolation in ordered algebras., Uniform interpolation and compact congruences, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Modularity results for interpolation, amalgamation and superamalgamation, On Interpolation and Symbol Elimination in Theory Extensions, Amalgamation and Elimination of Quantifiers for Theories of Fields, On the Structure of Equationally Complete Varieties. II, A characterization of companionable, universal theories
Cites Work
- Amalgamation, congruence-extension, and interpolation properties in algebras
- Cofinal simplicity and algebraic closedness
- Residually small varieties
- Theory of models with generalized atomic formulas
- Syntactic characterisations of amalgamation, convexity and related properties
- Existentially closed structures