Inverse semigroups with apartness

DOI10.1007/S00233-019-10019-YMaRDI QIDQ2416389zbMATH OpenOpenAlexFDO

Authors Achille Frigeri, A. Cherubini

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

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

Recommendations

• Semigroups with apartness
• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview
• scientific article; zbMATH DE number 7540049
• An introduction to implicative semigroups with apartness
• A new co-filter in implicative semigroups with apartness

Cites work

• scientific article; zbMATH DE number 3869616 (Why is no real title available?)
• 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 1761434 (Why is no real title available?)
• scientific article; zbMATH DE number 789816 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3085208 (Why is no real title available?)
• A Network of Congruences on an Inverse Semigroup
• A course in constructive algebra
• Apartness and uniformity. A constructive development.
• Basic notions of (constructive) semigroups with apartness
• Constructive Mathematics in Theory and Programming Practice
• Constructive mathematics and computer programming
• Constructivism in mathematics. An introduction. Volume II
• Inverse Semi-Groups
• Kernels of inverse semigroup homomorphisms
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semigroups with apartness
• Techniques of constructive analysis
• The lattice of congruences on an inverse semigroup

Cited in

(11)

• A construction of completely prime subsets associated with idempotents of a semigroup with apartness
• Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
• A theorem on subdirect product of semigroups with apartnesses
• A note on coradical of consistent subset of \(\sigma\)-reflexive semigroups with apartness
• Semigroups with apartness
• scientific article; zbMATH DE number 1484033 (Why is no real title available?)
• The first isomorphism theorem of implicative semigroup with apartness
• scientific article; zbMATH DE number 723838 (Why is no real title available?)
• Domain theory and mirror properties in inverse semigroups
• Homogeneity of inverse semigroups
• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview

This page was built for publication: Inverse semigroups with apartness

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