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
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