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)
Classical first-order logic (03B10) Axiomatic model classes (08C10) Other classical first-order model theory (03C68) Algebraic structures (08Axx)
Related Items
Bjarni Jónsson's contributions in algebra ⋮ Uniform interpolation and compact congruences ⋮ Amalgamation and Elimination of Quantifiers for Theories of Fields ⋮ Modularity results for interpolation, amalgamation and superamalgamation ⋮ Interpolation Results for Arrays with Length and MaxDiff ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Complete instantiation-based interpolation ⋮ On the Structure of Equationally Complete Varieties. II ⋮ Interpolation and amalgamation for arrays with MaxDiff ⋮ Amalgamation and interpolation in normal modal logics ⋮ Quantifier-free interpolation in combinations of equality interpolating theories ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Amalgamation in categories with concrete duals ⋮ A characterization of companionable, universal theories ⋮ Model-companions and definability in existentially complete structures ⋮ Maksimova, Relevance and the Study of Lattices of Non-classical Logics ⋮ Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ On Interpolation and Symbol Elimination in Theory Extensions ⋮ Logical matrices and the amalgamation property ⋮ Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation ⋮ Interpolation and the Robinson property for logics not closed under the Boolean operations
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
