Abstract: Daniel Romano

ON POSITIVE QUASI-ANTIRODERS IN SEMIGROUP WITH APARTNESS

 

The setting of our investigation is Bishop’s constructive mathematics. In a semigroup with apartness we give a definition and basic properties of positive quasi-antiorder. Connections between the lattice Q(S) of all quasi-antiorders and the lattice Qp(S) of all positive quasiantiorders are presented. The concept of positive quasi-antiorder has been introduced by B.Schein in the classical Theory of Semigroups. The constructive answers to the classical questions reveal surprising connections that are hidden in the classical setting.

 

 

Joint work with: Siniša Crvenković and Melanija Mitrović