Finite models of field theory have the cardinality of prime powers. Of course, they don't quite fit your signature.
However, the answer to this question demonstrates methods to capture both addition and multiplication in a single binary operation. For each constant and function defined, you will have to 'reverse skolemize' into a FOL sentence, 'and' them all together with unique variable names, and then 'and' all the axioms that use these functions into one sentence (this ensures the 'reverse skolemized' function is the same for each axiom).
Actually performing all this would be a nasty bit of work, but I believe this information is sufficient to demonstrate the answer to your question is an affirmative.