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

The C-subfunction relations on the set of functions on a finite base set A defined by function classes C are examined. For certain clones C on A, it is determined whether the partial orders induced by the respective C-subfunction relations have infinite descending chains or infinite antichains. More specifically, we investigate the subfunction relations defined by the clone of all functions on A, the clones of essentially at most unary operations, the clones of linear functions on a finite field, and the clones of monotone functions with respect to a partial order.

• Type: Journal
• Year: 2006
• Where: ORDER
• Authors: Erkko Lehtonen
• Keywords: C-subfunction Relations, Clones, ORDER 2006, Partial Order