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

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
 
(5 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Istvan Németi / rank
Normal rank
 
Property / author
 
Property / author: Istvan Németi / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(82)90030-5 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1988609263 / rank
 
Normal rank
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
links / mardi / namelinks / mardi / name
 

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