Descending Chains and Antichains of the Unary, Linear, and Monotone Subfunction Relations

Erkko Lehtonen. Descending Chains and Antichains of the Unary, Linear, and Monotone Subfunction Relations. Order, 23(2-3):129-142, 2006. [doi]

Abstract

Abstract is missing.