|
|
|
|
example of law of trichotomy on <
|
(Example)
|
|
"example of law of trichotomy on <" is owned by me_and.
|
|
(view preamble | get metadata)
Cross-references: negative, positive, axiom, law of trichotomy, satisfies, relation, axiomatic definition of the real numbers
This is version 2 of example of law of trichotomy on <, born on 2007-06-13, modified 2007-06-13.
Object id is 9586, canonical name is ExampleOfLawOfTrichotomyOn.
Accessed 581 times total.
Classification:
| AMS MSC: | 03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory ) | | | 06A05 (Order, lattices, ordered algebraic structures :: Ordered sets :: Total order) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|