scientific article

zbMATH Open1212.03046MaRDI QIDQ3587705

Marian Alexandru Baroni

Publication date: 8 September 2010

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

zbMATH Keywords

constructive mathematicsorder completenessorder locatedness

Mathematics Subject Classification ID

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

Related Items (1)

On the well-foundedness of adequate orders used for construction of complete unfolding prefixes

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Towards an axiomatization of orderings 👍 👎
• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes 👍 👎
• Constructive order theory 👍 👎
• On the completeness of ordered sets 👍 👎
• On the completeness of a partially ordered space 👍 👎
• Definably extending partial orders in totally ordered structures 👍 👎
• A Completion for Partially Ordered Sets 👍 👎

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)