Semigroups with apartness

DOI10.1002/malq.201200107zbMath1349.03087OpenAlexW2104333729MaRDI QIDQ5396223

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

Publication date: 5 February 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200107

zbMATH Keywords

semigroup with apartnessset with apartnesscocongruencecoequivalence

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Semigroups (20M99)

Related Items (7)

On co-Filters in Semigroups with Apartness ⋮ Basic notions of (constructive) semigroups with apartness ⋮ Inverse semigroups with apartness ⋮ Co-quasiordered residuated systems: An introduction ⋮ Unnamed Item ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice ⋮ Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The early development of the algebraic theory of semigroups
• Constructivism in mathematics. An introduction. Volume I
• A course in constructive algebra
• A constructive algebraic hierarchy in Coq.
• A Constructive Version of the Spectral Mapping Theorem
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• Apartness and Uniformity
• A theorem on anti-ordered factor-semigroups
• ON SEMILATTICES OF ARCHIMEDEAN SEMIGROUPS — A SURVEY
• Errett Bishop: Reflections on him and his research
• Constructive Mathematics in Theory and Programming Practice

This page was built for publication: Semigroups with apartness