Axiomatisability problems for \(S\)-acts, revisited. (Q1935462): Difference between revisions

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.