About this document
Order Types and Least Upper Bounds by Muthumanikandan Hariraman is a document available to read on EtoBox.
(i) The document discusses three different ordered sets: (1) Z+ × Z+ under a dictionary order, (2) Z+ × Z+ under a rotated dictionary order, and (3) Z+ × Z+ under another rotated dictionary order. (ii) It proves that these three ordered sets have different order types by analyzing the number of elements without immediate predecessors in each set. (iii) It also contains examples and proofs showing that the real number intervals [0,1] and [0,1) have the least upper bound property, while the Cartesian prod
- Author
- Muthumanikandan Hariraman
- Language
- EN