Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
The term “linear order” is too ambiguous of a term; sometimes it is used in the literature as a synonym of “weak total order” and sometimes it is used in the literature as a synonym of “strict total order”.
Renaming page to strict linear order based off this comment by Jonas Frey
https://nforum.ncatlab.org/discussion/684/classifying-topos/?Focus=95119#Comment_95119
Daniel Freedman
Moving section on the classifying topos of linear order to total order from the article now renamed to strict linear order
Daniel Freedman
This object goes by the name of pseudo-order in the constructive literature. See
as well as the Wikipedia article on pseudo-orders
Daniel Freedman
1 to 7 of 7