A complete anti-order is the intersection of family of all anti-orders containing it

MaRDI QIDQ3650844zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 15 December 2009

zbMATH Keywords

constructive mathematicsanti-orders on sets with apartness

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5647803
• A theorem on anti-ordered factor-semigroups
• Quasi-antiorder relational system
• A construction of anti-ordered group by an anti-ordered semigroup with apartness
• A construction of quasi-antiorders on semigroups generated by coradicals of principal consistent subsets

Cited in

(1)

• scientific article; zbMATH DE number 5647803 (Why is no real title available?)

This page was built for publication: A complete anti-order is the intersection of family of all anti-orders containing it

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