Every free algebra in the variety generated by the representable dynamic algebras is separable and representable

DOI10.1016/0304-3975(82)90030-5zbMath0491.08012OpenAlexW1988609263MaRDI QIDQ1167197

Istvan Németi

Publication date: 1982

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(82)90030-5

zbMATH Keywords

free algebraKripke structureinfinitary quasi-varietyseparable dynamic algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Structure theory of algebraic structures (08A05) Quasivarieties (08C15) Free algebras (08B20)

Related Items (9)

On dynamic algebras ⋮ Dynamic algebras with test ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Axiomatizability of positive algebras of binary relations ⋮ The equational theory of Kleene lattices ⋮ On Kleene algebras ⋮ Dynamic algebras: Examples, constructions, applications ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ Dynamic Łukasiewicz logic and its application to immune system

Cites Work

• Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
• Dynamic algebras: Examples, constructions, applications
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Every free algebra in the variety generated by the representable dynamic algebras is separable and representable