CONSTRUCTIVE SEMIGROUPS WITH APARTNESS: A COMPREHENSIBLE SURVEY FOR EXPERTS AND NON-EXPERTS
Keywords:
Set with apartness, semigroup with apartness, co-quasiorder, co-equivalence, co-congruenceAbstract
Our main goal is to provide a clear, understandable picture of constructive semigroups with apartness for both (classical) algebraists and those applying algebraic knowledge. This paper will shed light on our results obtained over the last decades.