Theory of constructive semigroups with apartness -- foundations, development and practice

DOI10.3233/FI-2021-2098MaRDI QIDQ6347699arXivFDO

Authors Melanija Mitrović, Mahouton Norbert Hounkonnou, Marian Alexandru Baroni

Publication date 6 August 2020

Published in arXiv

Full work available at URL https://doi.org/10.3233/FI-2021-2098

Mathematics Subject Classification ID

Other constructive mathematics (03F65) General structure theory for semigroups (20M10)

arXiv classification

math.GM

Abstract: 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.

This page was built for publication: Theory of constructive semigroups with apartness -- foundations, development and practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6347699)