Affiliations: [a] Faculty of Mechanical Engineering, University of Niš, A. Medvedeva 14, 18000 Niš, Serbia. melanija.mitrovic@masfak.ni.ac.rs | [b] Int. Chair in Mathematical Physics and Applications (ICMPA-UNESCO Chair), University of Abomey-Calavi, 072 B.P. 50 Cotonou, Republic of Benin, Africa. norbert.hounkonnou@cipma.uac.bj (with copy to hounkonnou@yahoo.fr) | [c] Dunarea de Jos University of Galati, Romania. marian.baroni@ugal.ro
Correspondence:
[*]
Address for correspondence: Faculty of Mechanical Engineering, A. Medvedeva 14, 18000 Niš, Serbia.
Abstract: This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop’s style both to (classical) algebraists and the ones who apply algebraic knowledge.
Keywords: Semigroup with apartness, set with apartness, co-quasiorder, co-equivalence, co-congruence
