Constructive suprema

MaRDI QIDQ5310874zbMATH OpenFDO

Authors Marian Alexandru Baroni

Publication date 15 October 2007

Full work available at URL http://www.jucs.org/jucs_11_12/constructive_suprema

zbMATH Keywords

Constructive mathematicspartially ordered set

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 5781387
• Suprema in ordered vector spaces: a constructive approach
• scientific article; zbMATH DE number 1795225
• Constructive order theory
• Constructive completions of ordered sets, groups and fields

Cited in

(7)

• Constructive order theory
• Suprema in ordered vector spaces: a constructive approach
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• Constructive ordered algebraic structures
• Intuitionistic mereology
• Intuitionistic mereology. II: Overlap and disjointness
• Lebesgue's dominated convergence theorem in Bishop's style

This page was built for publication: Constructive suprema

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