Revision #237 → #1446 · back to history
addedOrdinal numberf2adde09e517
addedComparability of well-ordered sets818a2eeaca6f
addedWell-orderdd12f8631460
addedOrdinals as isomorphism class representativesfdc305d374d4
addedLeast element of a collection of ordinalsd19c17ea993f
addedOpen interval has no least element84486569643b
addedWell-ordered set (ZF)11ce9cc4fbda
addedOrder isomorphisma4b63fb79c01
addedOrder type of a well-ordering4b9d1560c15b
addedOrder-isomorphism is an equivalence relation9e2ffed0c8ac
addedOrder type as isomorphism class (Principia)2f8a0e192bb8
addedMostowski collapse lemma30ef18707a68
addedFinite von Neumann ordinals9e9877e6d942
addedOrdinal (von Neumann, formal)1909d730e59b
addedOmega as smallest inductive setd15e245a266d
addedElements of an ordinal are ordinals70d78e7cbeaa
addedCharacterization of the order relationa8e045300231
addedOrdinals are totally ordered and well-ordered15ce227a47bc
addedUnion of a set of ordinals is an ordinalc19ac3f1aac1
addedExistence of a greater ordinaldfcd78d6b99a
addedBurali-Forti paradox99a3ceffdbd7
addedEvery well-ordered set has a unique order type416de53fea51
addedThree types of ordinals8057ae79e4da
addedZero ordinal0865bbac54ac
addedSuccessor ordinal9f2ed9575b80
addedLimit ordinal5d7b630bb1a4
addedCharacterization of nonzero limit ordinals41b3ef5f3943
addedLimit ordinal is supremum of smaller ordinals71f12ccbfa1c
addedOmega is the least limit ordinal523b06a7a331
addedDecreasing sequences of ordinals are finiteac86dc687bd2
addedNo infinite descending chainsdc75ac5c675d
addedTermination of procedures9c2ee59dcd92
addedTransfinite sequence7ba67198e28b
addedClass-indexed sequence is a proper class94408091ce67
addedLimit of an increasing transfinite sequenceeff11e7fe830
addedContinuous transfinite sequence434b89809709
addedNormal sequencecb02d9c21a25
addedTransfinite induction89ca4a82e52d
addedTransfinite recursion9b14f6f1e7e4
addedExistence and uniqueness of recursive functionse2d52f0da2fa
addedOrdinal exponentiation by recursionde9c7bace86f
addedNormal functions have arbitrarily large fixed points146eb3555bfc
addedClasses of ordinals can be indexed14b8d8335d7b
addedAdditively indecomposable ordinal299f6c2bbbf8
addedEpsilon numbers138e4375267e
addedCantor normal form26ce20db9aaf
addedNatural operations on ordinalsbc97163ca742
addedInitial ordinal of a cardinal96b2a6c78dde
addedAxiom of choice and well-ordering5ba0d0b375cb
addedInfinite initial ordinals are limit ordinalsf28135ad3663
addedSmallest uncountable ordinal22dfbf0e27d4
addedCofinalityb9adb51adf7a
addedCountable limit ordinals have cofinality omegad549a1d0b12d
addedCofinality of successor ordinalsabace0d1bc4a
addedRegular ordinald4854f5f2f15
addedCofinality is idempotente2224fd9cc97
addedUnbounded (cofinal) subsetd40864263e29
addedLimit pointfd67df621bc0
addedClosed set491c61e0a4c7
addedClub set3d51e154cd3d
addedSet of limit ordinals is a clubcf07471afddc
addedRange of a normal function is club7d2e18082216
addedIntersection of club sets is clubc744b796f7fe
addedClosed unbounded filter0bf1eb7db297
addedStationary set4158f5f10ae8
addedMahlo cardinalcde50a4e3fbd
addedWeakly Mahlo cardinal48e7a833e2cd
addedClub filter is not an ultrafilter1a9009227ed7
addedPartition into disjoint stationary sets904a24188647
addedUnbounded and closed classes of ordinals50205e53c861
addedStationary classdbfaee2ff8bf
addedEpsilon-zerod18bf0236138
addedChurch–Kleene ordinal13c3a4cb089a
addedOrder topology is discrete iff at most omegab067cbb3c608
addedOpen subsets of omega plus one4f743c1bbb64
addedDerived setcacc5105ee35
addedCantor's derived set theoremsab6a90570b0f
addedCantor's second theorem (countable ordinal)f7e76d49a220
addedFirst and second number classesee5fdfe2800a
addedCardinality of the second number classa7a517d3ac46
addedNumber classes correspond to aleph numbers39cfc64ff526