Abstract

Partially ordered semigroups with apartness under an antiorder are investigated from the point of view of Bishop's constructive mathematics. We analyze quasi-antiorder relations on ordered semigroups under an antiorder. The connection between two quasi-antiorders on a semigroup is presented.

Keywords: Constructive algebra; semigroup with apartness; ordered semigroup; antiorder; quasi-antiorder.

MSC: 03F65, 20M99

Pages:  190--199     

Volume  64 ,  Issue  3 ,  2012