On Generalized Ordered Sets: A constructive development
Logic
2019-07-29 v3
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.
Cite
@article{arxiv.1809.05230,
title = {On Generalized Ordered Sets: A constructive development},
author = {Jean S. Joseph},
journal= {arXiv preprint arXiv:1809.05230},
year = {2019}
}