A THEOREM ON QA-HOMOMORPHISMS

Daniel Abraham Romano (Bosnia and Herzegovina)

Received December 4, 2008

Abstract

Setting of this investigation is Bishop’s constructive mathematics. Notions of QA-mappings and Q-quasi-antiorders were introduced and studied by the author in a recent article. Yet another theorem on antiordered semigroups is given in this paper. Let S and T be antiordered semigroups, d be a Q-quasi-antiorder on T and  be a QA-homomorphism of S onto T. Then if s is a Q-quasi-antiorder on S satisfying  there exists a unique QA-homomorphism y of  onto

Keywords and phrases: constructive mathematics, semigroup with apartness, antiorder, quasi-antiorder, isotone and reverse isotone homomorphism.