论文标题
具有分离性的建设性半群的理论 - 基础，发展和实践
Theory of constructive semigroups with apartness -- foundations, development and practice
论文作者
论文摘要
本文有几个目的。我们通过批判性综述介绍了已经发表的有关建设性半群理论的论文的结果，并通过为开放问题提供解决方案为进一步的发展做出了贡献。我们还提请人们注意其在其他（建设性的）数学学科，计算机科学，社会科学，经济学等中的可能应用。本文的另一个重要目标是提供具有主教风格的建设性半群的清晰，可理解的图片，包括（经典）代数主义者和应用代数知识的人。
This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop's style both to (classical) algebraists and the ones who apply algebraic knowledge.
