MARIO SERVI

I clan binari di ordine

Pages: 207-214
Received: 4 December 1998   
Mathematics Subject Classification (2000): 03C15 - 06A06

Abstract: A Binary Clan is a structure S=(S;≤; σ0;σ1;π),where ≤is a partial order on S and σ0;σ1;π;are unary operations on S satisfying suitable axioms. It is known (see[5]) that there are 2^Χ0 non-isomorphic binary clans; yet the conjecture was suggested that the underlying partially ordered set (s; ≤)is uniquely determined (up to isomorphism) no matter which clan it anderlies. We prove this conjecture; moreover we give an intrinsic characterization for such an order.