On decidability and axiomatizability of some ordered structures