Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Every free algebra in the variety generated by the representable dynamic algebras is separable and representable |
scientific article; zbMATH DE number 3771689
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Every free algebra in the variety generated by the representable dynamic algebras is separable and representable |
scientific article; zbMATH DE number 3771689 |
Statements
Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (English)
0 references
1982
0 references
separable dynamic algebras
0 references
Kripke structure
0 references
free algebra
0 references
infinitary quasi-variety
0 references
