The following pages link to (Q4011731):
Displaying 19 items.
- On amalgamation in algebras of logic (Q817679) (← links)
- Epimorphisms in cylindric algebras and definability in finite variable logic (Q1047108) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Modal languages and bounded fragments of predicate logic (Q1267082) (← links)
- Notions of density that imply representability in algebraic logic (Q1295366) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- Cylindric algebras and finite polyadic algebras (Q1991591) (← links)
- Quasi-polyadic algebras and their dual position (Q2134280) (← links)
- Finitary polyadic algebras from cylindric algebras (Q2462668) (← links)
- A note on neat reducts (Q2642524) (← links)
- THE NEAT EMBEDDING PROBLEM FOR ALGEBRAS OTHER THAN CYLINDRIC ALGEBRAS AND FOR INFINITE DIMENSIONS (Q2921030) (← links)
- Existence of partial transposition means representability in cylindric algebras (Q3077404) (← links)
- The polyadic generalization of the Boolean axiomatization of fields of sets (Q3116577) (← links)
- On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559) (← links)
- The class of infinite dimensional neat reducts of quasi-polyadic algebras is not axiomatizable (Q3376544) (← links)
- A note on substitutions in representable cylindric algebras (Q3632525) (← links)
- Varying interpolation and amalgamation in polyadic MV-algebras (Q4586142) (← links)
- Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic (Q4995621) (← links)
- How many varieties of cylindric algebras are there (Q5367105) (← links)
