Some results in constructive semigroup theory

Erik Darpö, Melanija Mitrović

We give a constructive treatment of some basic concepts and results in semigroup theory. Focusing on semigroups equipped with an apartness relation, we give analogues, from the poi…