A Reiterman theorem for pseudovarieties of finite first-order structures (Q1921405): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4848740 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3123634 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Free profinite semigroups over semidirect products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Varieties of ordered algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385543 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Eilenberg's theorem for positive varieties of languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial closure and unambiguous product / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Birkhoff theorem for finite algebras / rank
 
Normal rank
Property / cites work
 
Property / cites work: AN ALGEBRAIC THEORY FOR REGULAR LANGUAGES OF FINITE AND INFINITE WORDS / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/bf01243597 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2009062978 / rank
 
Normal rank

Latest revision as of 09:56, 30 July 2024

scientific article
Language Label Description Also known as
English
A Reiterman theorem for pseudovarieties of finite first-order structures
scientific article

    Statements

    A Reiterman theorem for pseudovarieties of finite first-order structures (English)
    0 references
    0 references
    0 references
    27 August 1996
    0 references
    Birkhoff's Theorem on classes of algebras being varieties was generalized by J. Reiterman as follows: a class of finite algebras is a pseudovariety (that is, it is closed under taking subalgebras, homomorphic images and finitary direct products) iff it is defined by a set of equations in the appropriate free profinite structures. Here, the result is generalized to first-order structures: under certain natural conditions of finiteness and non-emptiness, pseudovarieties of first-order structures are defined by relational identities (pseudoidentities) in some relatively free profinite structures.
    0 references
    pseudoidentities
    0 references
    pseudovariety
    0 references
    finitary direct products
    0 references
    free profinite structures
    0 references
    first-order structures
    0 references
    relational identities
    0 references

    Identifiers