A Construction of the Maximal Matrix Anticongruence
Daniel A. Romano, Mladen Stojanovic · 2008
This investigation is in Bishop’s constructive mathematics. A con-struction (without of the axiom of choose) of the maximal anticongru-ence q on a semigroup S such that qC is a matrix congruence on S and description of q-classes are given. For every element a of S a construc-tion (without of the axiom of choose) of the strongly extensional maxi-mal consistent ideal A(a) of S, such that a A(a) and A(a2) = A(a),