Basic notions of (constructive) semigroups with apartness

DOI10.1007/S00233-016-9776-YzbMath1402.03096OpenAlexW2276288049MaRDI QIDQ309964

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

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

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

Related Items (5)

On co-Filters in Semigroups with Apartness ⋮ Inverse semigroups with apartness ⋮ Co-quasiordered residuated systems: An introduction ⋮ 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

• Intuitionism. An introduction
• Techniques of constructive analysis
• Classical finite transformation semigroups. An introduction.
• Constructivism in mathematics. An introduction. Volume I
• A course in constructive algebra
• A Constructive Version of the Spectral Mapping Theorem
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• Apartness and Uniformity
• Quasi-orders, Generalized Archimedeaness and Semilattice Decompositions
• Constructive Mathematics in Theory and Programming Practice
• Semigroups with apartness
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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