Sets with apartness ordered under co-quasiorder. Review and some new reflections

DOI10.7251/JIMVI2301093RMaRDI QIDQ6587889zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 14 August 2024

Published in Journal of the International Mathematical Virtual Institute (Search for Journal in Brave)

zbMATH Keywords

set with apartnessBishop constructive mathematicsco-equality relationco-quasiorder relation and co-order relationstrongly extensional mapping between co-quasiordered (co-ordered) sets

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Generalizations of ordered sets (06A75)

Recommendations

• Co-ideals and co-filters in ordered set under co-quasiorder
• On coequality relation on set with apartness
• On co-filters in semigroups with apartness
• scientific article; zbMATH DE number 6889820
• Some algebraic structures with apartness, a review

This page was built for publication: Sets with apartness ordered under co-quasiorder. Review and some new reflections

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