Pages that link to "Item:Q1866804"

The following pages link to Axiomatizability of reducts of algebras of relations (Q1866804):

Displaying 21 items.

• Axiomatizability of representable domain algebras (Q624383) (← links)
• Axiomatizability of positive algebras of binary relations (Q647324) (← links)
• The universal theory of first order algebras and various reducts (Q895827) (← links)
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations (Q1377626) (← links)
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection (Q1800460) (← links)
• Axiomatization of identity-free equations valid in relation algebras (Q1913874) (← links)
• Algebraic dependences and reducibilities of constructivizations in universal domains (Q1914756) (← links)
• On the equational complexity of RRA (Q1935010) (← links)
• On algebras of binary relations with conjunctive operations (Q2036387) (← links)
• On groupoids of relations with one conjunctive operation of rank 2 (Q2082252) (← links)
• Reducts of relation algebras: the aspects of axiomatisability and finite representability (Q2151415) (← links)
• On Jónsson's problem for groupoids of relations with operation of binary cylindrification (Q2217780) (← links)
• Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions (Q2295738) (← links)
• On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation (Q2304501) (← links)
• Lower semilattice-ordered residuated semigroups and substructural logics (Q2350965) (← links)
• The reducts of equality up to primitive positive interdefinability (Q3066793) (← links)
• (Q4806615) (← links)
• Yet some more non-finite axiomatizability results for algebras of relations and ways to avoid them (Q5350184) (← links)
• On canonicity and completions of weakly representable relation algebras (Q5388728) (← links)
• Cylindric structures and dependencies in relational databases (Q5958623) (← links)
• On the variety generated by generalized subreducts of Tarski's algebras of relations (Q6053400) (← links)