Lifting non-finite axiomatizability results to extensions of process algebras