Pages that link to "Item:Q1224578"
From MaRDI portal
The following pages link to Amalgamation properties and interpolation theorems for equational theories (Q1224578):
Displayed 22 items.
- Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
- Logical matrices and the amalgamation property (Q800348) (← links)
- Interpolation and the Robinson property for logics not closed under the Boolean operations (Q1074573) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- Amalgamation in categories with concrete duals (Q1248154) (← links)
- Model-companions and definability in existentially complete structures (Q1254309) (← links)
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras (Q1260029) (← links)
- Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation (Q1317604) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Interpolation and amalgamation for arrays with MaxDiff (Q2233410) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Modularity results for interpolation, amalgamation and superamalgamation (Q2636527) (← links)
- On Interpolation and Symbol Elimination in Theory Extensions (Q2817926) (← links)
- Amalgamation and Elimination of Quantifiers for Theories of Fields (Q3877658) (← links)
- On the Structure of Equationally Complete Varieties. II (Q3953826) (← links)
- A characterization of companionable, universal theories (Q4172042) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- Quantifier-free interpolation in combinations of equality interpolating theories (Q5410332) (← links)
- Complete instantiation-based interpolation (Q5890659) (← links)
- Interpolation Results for Arrays with Length and MaxDiff (Q6082222) (← links)