Revision #353 → #1662 · back to history
addedTransitivity tacitly required3603bafd4842
addedWell-order27332daabaed
addedWell-ordered setbc08be407bf2
addedExistence of least elementdcacadb5c169
addedUnique successor69ad49a0b289
addedLeast upper bound of bounded subsets0acf7c651b3b
addedNon-strict yields strict well ordering1259397265bc
addedStrict well ordering characterization85306096528e
addedOrder type ordinal isomorphism9a2c2f6e3fa2
addedWell-ordering theorem2294662781f0
addedTransfinite induction applicability978d8ec139e5
addedWell-ordering principle81760a927823
addedStandard order on naturals38ba5e38ab7e
addedEvens-before-odds order (type ω+ω)874ef6a98e7a
addedStandard order on integers not a well orderf2b81a11caa6
addedWell order R of integers (type ω+ω)53d97532ad1a
addedAlternate well order of integers (type ω)893b040946f9
addedReal interval not a well order817fc7d7b002
addedZFC implies a well order of the reals15c0ecf304b6
addedSierpiński: ZF+GCH implies AC60f83621ee90
addedNo definable well order from ZFC+GCH alone2368713abb9b
addedZFC+V=L gives definable well orderf8355b03f4e4
addedUncountable real subset cannot be well ordered by ≤d734ee467f64
addedNaturals well ordered by ≤1c497e8df5bd
addedSet with no least elementa9fd74753cd2
addedReal set of order type ω752a68a296f1
addedReal set of order type ω²d5a86226d75f
addedReal set of order type ω+1a11f54c43172
addedEquivalent formulations of well orderd1b23fe814dd
addedInitial segment39e8e5f33fe5
addedInitial segments are lower setsdc7c19ada0d1
addedOrdinal number via initial segmentsc5d5a493ed5a
addedNot isomorphic to proper initial segmentbb569b2fd7df
addedComparability of well-ordered sets3e55c7cb8666
addedMorphisms preserve initial segments37a1a1c9a2d5
addedOrdering on the class of well-ordered sets2a7d1160d967
addedUnion of a chain is well-orderedfe0833a4bcd1
addedInitial-segment order coincides with inclusion for ordinals88546d0c3b56
addedWell-foundedness via initial segmentsb08d3cb18c24
addedOrder topology on a well-ordered setbc2d79a00058
addedIsolated points and limit points48e5dfbb47a9
addedCofinal subset7e07ac34e185
addedFirst-countability criterion00d4e23d5fcb
addedOrder type as unique ordinale421ddd05de1
addedFinite set size equals order typea6d022975a18
addedOrder type determines cardinalityd93e605f0397
addedUncountably many order types for countable sets5f9d09885f8d