Strictly Order Primal Algebras


Partial orders and the clones of functions preserving them have been thoroughly studied in recent years. The topic of this papers is strict orders which are irreflexive, asymmetric and transitive subrelations of partial orders. We call an algebra A = (A,Ω) strictly order primal if for some strict order (A,<) the term functions are precisely the functions… (More)


  • Presentations referencing similar topics