Axiomatisability problems for \(S\)-acts, revisited. (Q1935462)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Axiomatisability problems for \(S\)-acts, revisited.
scientific article

    Statements

    Axiomatisability problems for \(S\)-acts, revisited. (English)
    0 references
    0 references
    15 February 2013
    0 references
    The paper discusses necessary and sufficient conditions on a monoid \(S\), such that a class of left \(S\)-acts is first order axiomatisable. Among others free, projective, strongly flat, flat, weakly flat, principally weakly flat acts are considered. Let \(\mathcal C\) be a class of embeddings of right \(S\)-acts. A left \(S\)-act \(B\) is called \(\mathcal C\)-flat if tensoring with \(B\) preserves the embeddings in \(\mathcal C\). We find two sets (depending on a property of \(\mathcal C\)) of necessary and sufficient conditions on \(S\) such that the class of all \(\mathcal C\)-flat left \(S\)-acts is axiomatisable. These results are similar to certain ``replacement tossings'' results for \(S\)-posets. Further, the author shows how to axiomatise some classes using both replacement tossings and interpolation conditions.
    0 references
    first order axiomatisability
    0 references
    free acts
    0 references
    projective acts
    0 references
    strongly flat acts
    0 references
    principally weakly flat acts
    0 references
    tensor products
    0 references
    ultraproducts
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references