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

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home


Pick a mirror



Sinisa Crvenkovic and Daniel A. Romano

Prirodno-matematicki fakultet, 21000 Novi Sad, Serbia and Prirodno-matematicki fakultet, 78000 Banja Luka, Srpska, Bosnia and Herzegovina

Abstract: Let $K$ be an anti-ideal of a semigroup $(S,=,\neq,\cdot,\theta)$ with apartness. A construction of the anti-congruence $Q(K)$ and the quasi-antiorder $\theta$, generated by $K$, are presented. Besides, a construction of the anti-order relation $\Theta$ on syntactic semigroup $S/Q(K)$, generated by $\theta$, is given in Bishop's constructive mathematics.

Keywords: constructive mathematics; semigroup with apartness; anti-order; quasi-antiorder; anti-ordered 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
© 2008 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition