Inverse semigroups with apartness

DOI10.1007/s00233-019-10019-yzbMath1467.20077OpenAlexW2935081965MaRDI QIDQ2416389

Achille Frigeri, A. Cherubini Spoletini

Publication date: 23 May 2019

Published in: Semigroup Forum (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11311/1086906

zbMATH Keywords

semigroup with apartnessset with apartnesscocongruenceinverse semigroup with apartness

Mathematics Subject Classification ID

Inverse semigroups (20M18) Other constructive mathematics (03F65)

Related Items (1)

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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic notions of (constructive) semigroups with apartness
• Techniques of constructive analysis
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• The lattice of congruences on an inverse semigroup
• Apartness and Uniformity
• Constructive mathematics and computer programming
• A Network of Congruences on an Inverse Semigroup
• Kernels of inverse semigroup homomorphisms
• Constructive Mathematics in Theory and Programming Practice
• Semigroups with apartness
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Inverse Semi-Groups

This page was built for publication: Inverse semigroups with apartness