On Generalized Ordered Sets: A constructive development

2018/09/14 by Joseph, Jean S.
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1809.05230

Abstract

We propose a notion of a generalized order, which can be used for the notion of a strict partial order. We introduce a weak order to replace the usual weak order defined from a strict partial order. In a constructive setting, that usual weak order causes problems on the real numbers because their strict order cannot be proved to be trichotomous.

Related

• On better-quasi-ordering classes of partial orders
• Broad posets, trees, and the dendroidal category
• A nonstandard proof for Szpilrajn's theorem
• Partial orders are the free conservative cocompletion of total orders
• A generalization of the order of elements with some applications