Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (Q1167197): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q5572358 / rank
 
Normal rank
Property / cites work
 
Property / 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 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3897035 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4152588 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Dynamic algebras: Examples, constructions, applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4749182 / rank
 
Normal rank

Latest revision as of 16:24, 13 June 2024

scientific article
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

    Statements

    Every free algebra in the variety generated by the representable dynamic algebras is separable and representable (English)
    0 references
    1982
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    separable dynamic algebras
    0 references
    Kripke structure
    0 references
    free algebra
    0 references
    infinitary quasi-variety
    0 references
    0 references
    0 references