scientific article; zbMATH DE number 5781387

zbMATH Open1212.03046MaRDI QIDQ3587705FDOQ3587705

Marian Alexandru Baroni

Publication date: 8 September 2010

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

constructive mathematicsorder completenessorder locatedness

Mathematics Subject Classification ID

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

Cited In (4)

• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
• Constructive completions of ordered sets, groups and fields
• Suprema in ordered vector spaces: a constructive approach
• Title not available (Why is that?)

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)