Constructive ordered algebraic structures

MaRDI QIDQ5089601FDOQ5089601

Authors: Marian Alexandru Baroni 

Publication date: 19 July 2022

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

zbMATH Keywords

constructive mathematicsstrongly monotone functionco-ordered ringco-ordered semigroup

Mathematics Subject Classification ID

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

Cited In (7)

• Continuous functions over discrete partial orders
• On quasi-antiorder in semigroups
• Monoids, Boolean algebras, materially ordered sets
• Suprema in ordered vector spaces: a constructive approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)