scientific article; zbMATH DE number 7540049

DOI10.7251/BIMVI2103443RMaRDI QIDQ5865075zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 10 June 2022

zbMATH Keywords

isomorphism theoremquotient structuresBishop's constructive algebraco-congruence on implicative semigroup with apartnessco-quasiorder on implicative semigroup with apartnessimplicative semigroup with apartness

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Ordered semigroups and monoids (06F05)

Recommendations

• The first isomorphism theorem of implicative semigroup with apartness
• An introduction to implicative semigroups with apartness
• scientific article; zbMATH DE number 7370266
• The third isomorphism theorem of ternary semimodules over ternary semirings.
• Strongly extensional homomorphism of implicative semigroups with apartness
• scientific article; zbMATH DE number 5569932
• On implicative semigroups
• scientific article; zbMATH DE number 800074
• Publication:4862262
• A remark on co-ideals in implicative semigroups with apartness

Cited in

(6)

• A theorem on subdirect product of semigroups with apartnesses
• Semigroups with apartness
• The first isomorphism theorem of implicative semigroup with apartness
• A remark on co-ideals in implicative semigroups with apartness
• Inverse semigroups with apartness
• Isomorphism theorems for basic constructive algebraic structures with special emphasize on constructive semigroups with apartness -- an overview

This page was built for publication:

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