@dblp

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

. J. Symb. Log., 46 (1): 101-120 (1981)

Links and resources

Tags