Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
type: Item
instance of: scholarly article
title: Every free algebra in the variety generated by the representable dynamic algebras is separable and representable
zbMATH Open document ID: 0491.08012
DOI: 10.1016/0304-3975(82)90030-5
published in: Theoretical Computer Science
publication date: 1982-01-01T00:00:00Z
Mathematics Subject Classification ID: 08B20
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 08A05
Mathematics Subject Classification ID: 08C15
zbMATH DE Number: 3771689
zbMATH Keywords: separable dynamic algebras
zbMATH Keywords: Kripke structure
zbMATH Keywords: free algebra
zbMATH Keywords: infinitary quasi-variety
author: István Németi
MaRDI profile type: Publication
full work available at URL: 0304-3975(82)90030-5
OpenAlex ID: W1988609263
cites work: Q5572358
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
cites work: Q3897035
cites work: Q4152588
cites work: Dynamic algebras: Examples, constructions, applications
cites work: Q4749182
description: scientific article; zbMATH DE number 3771689