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

zbMATH Open1180.03057MaRDI QIDQ3650844FDOQ3650844

Authors: Daniel Abraham Romano 

Publication date: 15 December 2009

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

zbMATH Keywords

constructive mathematicsanti-orders on sets with apartness

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)