Decidability and Finite Axiomatizability of Theories of 0-Categorical Partially Ordered Sets