Pages that link to "Item:Q1167197"
From MaRDI portal
The following pages link to Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197):
Displaying 9 items.
- Axiomatizability of positive algebras of binary relations (Q647324) (← links)
- The equational theory of Kleene lattices (Q655418) (← links)
- Dynamic algebras with test (Q1095141) (← links)
- Dynamic algebras: Examples, constructions, applications (Q1189900) (← links)
- On dynamic algebras (Q1341742) (← links)
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability (Q1377625) (← links)
- A unifying theorem for algebraic semantics and dynamic logics (Q1821095) (← links)
- Dynamic Łukasiewicz logic and its application to immune system (Q2100245) (← links)
- On Kleene algebras (Q5894726) (← links)
