Semigroups with apartness
Siniša Crvenković, Melanija Mitrović, Daniel A. Romano · Mathematical logic quarterly · 2013
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.