Recursive axiomatizations for representable posets