Pages that link to "Item:Q5879189"
From MaRDI portal
The following pages link to MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS (Q5879189):
Displaying 4 items.
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- Uniform interpolation and compact congruences (Q2363208) (← links)
- The Model Completion of the Class of ℒ-Structures (Q3748271) (← links)
- Flat algebras and the translation of universal Horn logic to equational logic (Q5387303) (← links)