Basic notions of (constructive) semigroups with apartness

DOI10.1007/S00233-016-9776-YMaRDI QIDQ309964zbMATHOpenAlexFDO

Authors Siniša Crvenković, Daniel Abraham Romano, Melanija Mitrović

Publication date 7 September 2016

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-016-9776-y

zbMATH Keywords

coquasiorderpositive coquasiordersemigroup with apartnessset with apartness

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 4057811 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3501790 (Why is no real title available?)
• scientific article; zbMATH DE number 1560296 (Why is no real title available?)
• scientific article; zbMATH DE number 2109353 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3375774 (Why is no real title available?)
• A constructive version of the spectral mapping theorem
• A course in constructive algebra
• Apartness and uniformity. A constructive development.
• Classical finite transformation semigroups. An introduction.
• Constructive Mathematics in Theory and Programming Practice
• Constructivism in mathematics. An introduction. Volume I
• Intuitionism. An introduction
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• Quasi-orders, Generalized Archimedeaness and Semilattice Decompositions
• Semigroups with apartness
• Techniques of constructive analysis

Cited in

(5)

• Co-quasiordered residuated systems: an introduction
• Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
• Inverse semigroups with apartness
• On co-filters in semigroups with apartness
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice

This page was built for publication: Basic notions of (constructive) semigroups with apartness

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