Omitting types for finite variable fragments and complete representations of algebras (Q5387302)

From MaRDI portal
scientific article; zbMATH DE number 5273196
Language Label Description Also known as
English
Omitting types for finite variable fragments and complete representations of algebras
scientific article; zbMATH DE number 5273196

    Statements

    Omitting types for finite variable fragments and complete representations of algebras (English)
    0 references
    0 references
    0 references
    0 references
    8 May 2008
    0 references
    0 references
    0 references
    0 references
    0 references
    complete representation
    0 references
    cylindric algebra
    0 references
    finite-variable fragment
    0 references
    first-order logic
    0 references
    omitting types
    0 references
    relation algebra
    0 references
    0 references