Constructive ordered algebraic structures

MaRDI QIDQ5089601zbMATH OpenFDO

Authors Marian Alexandru Baroni

Publication date 19 July 2022

zbMATH Keywords

co-ordered ringco-ordered semigroupconstructive mathematicsstrongly monotone function

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Ordered semigroups and monoids (06F05) Ordered rings, algebras, modules (06F25)

Recommendations

• On quasi-antiorder in semigroups
• Some algebraic structures with apartness, a review
• Semilattice-ordered semigroups with apartness representation problem
• Suprema in ordered vector spaces: a constructive approach
• Constructive suprema

Cited in

(7)

• scientific article; zbMATH DE number 1001865 (Why is no real title available?)
• scientific article; zbMATH DE number 4210287 (Why is no real title available?)
• Continuous functions over discrete partial orders
• Suprema in ordered vector spaces: a constructive approach
• scientific article; zbMATH DE number 1795222 (Why is no real title available?)
• Monoids, Boolean algebras, materially ordered sets
• On quasi-antiorder in semigroups

This page was built for publication: Constructive ordered algebraic structures

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