Suprema in ordered vector spaces: a constructive approach

MaRDI QIDQ3634923zbMATH OpenFDO

Authors Marian Alexandru Baroni

Publication date 3 July 2009

zbMATH Keywords

constructive analysisordered vector spacesupremum

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Constructive functional analysis (46S30)

Recommendations

• Constructive suprema
• scientific article; zbMATH DE number 5781387
• A constructive version of the extremum value theorem for spaces of vector-valued functions
• scientific article; zbMATH DE number 2040943
• Constructive ordered algebraic structures

Cited in

(3)

• A constructive version of the extremum value theorem for spaces of vector-valued functions
• Constructive ordered algebraic structures
• Constructive suprema

This page was built for publication: Suprema in ordered vector spaces: a constructive approach

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