|
|||||
|
|
Semigroups with apartness |
|
| Authors: | Siniša Crvenković Melanija Mitrović Daniel Abraham Romano |
| Affiliation: | 1. Department of Mathematics and Informatics, University of Novi Sad, Trg Dositeja Obradovica 4, , 21000 Novi Sad, Serbia;2. Department of Mathematics, University of Ni?, Aleksandra Medvedeva 14, , 18000 Ni?, Serbia;3. Faculty of Education, East Sarajevo University, Svetog Save 24, , 76300 Bijeljina, Bosnia and Herzegovina |
| Abstract: | Proving a constructive version of the Spectral Mapping Theorem, Bridges and Havea used a constructive semigroup with inequality in 8 . This motivated us to achieve a little progress in that direction. The starting point is the structure  called a semigroup with apartness. Our primary objective is to prove isomorphism theorems for such constructive semigroups. In doing so our main ideas and notions come from 10 . |
| Keywords: | Set with apartness semigroup with apartness coequivalence cocongruence 03F65 20M99 |