Publications de l'Institut Mathématique, Nouvelle Série Vol. 82(96), pp. 119–128 (2007) 

A THEOREM ON ANTIORDERED FACTORSEMIGROUPSSinisa Crvenkovic and Daniel A. RomanoPrirodnomatematicki fakultet, 21000 Novi Sad, Serbia and Prirodnomatematicki fakultet, 78000 Banja Luka, Srpska, Bosnia and HerzegovinaAbstract: Let $K$ be an antiideal of a semigroup $(S,=,\neq,\cdot,\theta)$ with apartness. A construction of the anticongruence $Q(K)$ and the quasiantiorder $\theta$, generated by $K$, are presented. Besides, a construction of the antiorder relation $\Theta$ on syntactic semigroup $S/Q(K)$, generated by $\theta$, is given in Bishop's constructive mathematics. Keywords: constructive mathematics; semigroup with apartness; antiorder; quasiantiorder; antiordered semigroup Classification (MSC2000): 03F65; 06F05; 20M99 Full text of the article: (for faster download, first choose a mirror)
Electronic fulltext finalized on: 20 Feb 2008. This page was last modified: 26 Feb 2008.
© 2008 Mathematical Institute of the Serbian Academy of Science and Arts
