Semigroups with apartness

DOI10.1002/MALQ.201200107MaRDI QIDQ5396223zbMATH OpenOpenAlexFDO

Authors Melanija Mitrović, Daniel Abraham Romano, 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

cocongruencecoequivalencesemigroup with apartnessset with apartness

Mathematics Subject Classification ID

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

Recommendations

• Inverse semigroups with apartness
• A theorem on subdirect product of semigroups with apartnesses
• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview
• scientific article; zbMATH DE number 7540049
• A construction of completely prime subsets associated with idempotents of a semigroup with apartness

Cites work

• A constructive algebraic hierarchy in Coq.
• A constructive version of the spectral mapping theorem
• A course in constructive algebra
• A theorem on anti-ordered factor-semigroups
• Apartness and uniformity. A constructive development.
• Constructive Mathematics in Theory and Programming Practice
• Constructivism in mathematics. An introduction. Volume I
• Errett Bishop: Reflections on him and his research
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• scientific article; zbMATH DE number 3042973 (Why is no real title available?)
• ON SEMILATTICES OF ARCHIMEDEAN SEMIGROUPS — A SURVEY
• PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
• The early development of the algebraic theory of semigroups

Cited in

(15)

• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview
• Inverse semigroups with apartness
• A construction of completely prime subsets associated with idempotents of a semigroup with apartness
• A note on coradical of consistent subset of -reflexive semigroups with apartness
• Basic notions of (constructive) semigroups with apartness
• On co-filters in semigroups with apartness
• A construction of free -semigroup with apartness
• Co-quasiordered residuated systems: an introduction
• Strongly extensional homomorphism of implicative semigroups with apartness
• A theorem on subdirect product of semigroups with apartnesses
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
• The first isomorphism theorem of implicative semigroup with apartness
• Constructive semigroups with apartness: a state of the art
• A journey through constructive inverse semigroups with apartness

This page was built for publication: Semigroups with apartness

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