On Generalized Ordered Sets: A constructive development

Autor:	Joseph, Jean S.
Rok vydání:	2018
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1809.05230 Zobrazit plný text záznamu View this record from Arxiv