Axiomatisability problems for S-posets

Victoria Gould, Lubna Shaheen

Let C be a class of algebras of a given fixed type t. Associated with the type is a first order language L_t. One can then ask the question, when is the class C axiomatisable by se…