Finite algebras of relations are representable on finite sets (Q4254632): 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: Hajnalka Andréka / rank
Normal rank
 
Property / author
 
Property / author: I. M. Hodkinson / rank
Normal rank
 
Property / author
 
Property / author: Hajnalka Andréka / rank
 
Normal rank
Property / author
 
Property / author: I. M. Hodkinson / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1992702120 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial isomorphisms on finite structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relativised quantification: Some canonical varieties of sequence-set algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Modal languages and bounded fragments of predicate logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability of cylindric set algebras of dimension two and first-order logic with two variables / rank
 
Normal rank
Property / cites work
 
Property / cites work: Boolean Algebras with Operators. Part I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Extending partial isomorphisms of graphs / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 20:08, 28 May 2024

scientific article; zbMATH DE number 1310706
Language Label Description Also known as
English
Finite algebras of relations are representable on finite sets
scientific article; zbMATH DE number 1310706

    Statements

    Finite algebras of relations are representable on finite sets (English)
    0 references
    0 references
    0 references
    0 references
    29 November 1999
    0 references
    relativized cylindric set algebras
    0 references
    finite base property
    0 references
    weakly associative relation algebras
    0 references
    decidable universal theories
    0 references
    finite algebra
    0 references

    Identifiers