scientific article; zbMATH DE number 5781387

MaRDI QIDQ3587705zbMATH OpenFDO

Authors Marian Alexandru Baroni

Publication date 8 September 2010

zbMATH Keywords

constructive mathematicsorder completenessorder locatedness

Mathematics Subject Classification ID

Partial orders, general (06A06) Other constructive mathematics (03F65) Constructive and recursive analysis (03F60)

Recommendations

• scientific article; zbMATH DE number 589365
• On definable completeness for ordered fields
• On the completeness of ordered sets
• Towards an axiomatization of orderings
• On the completeness of a partially ordered space
• scientific article; zbMATH DE number 5071270
• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
• Definably extending partial orders in totally ordered structures
• A Completion for Partially Ordered Sets
• Constructive order theory

Cited in

(5)

• Suprema in ordered vector spaces: a constructive approach
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
• Constructive completions of ordered sets, groups and fields
• Constructive suprema

This page was built for publication:

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