Revision #507 → #1085 · back to history
addedCofinality of a poset19f05679004b
addedCofinality via least ordinal (without choice)80b0ca33b22e
addedCofinality of a directed set73a8a6c16446
addedCofinality with greatest element is 1cd6174919681
addedCofinality of finite ordinal/directed set is 17b77b0a4ee0b
addedCofinality of successor ordinal is 1b159fc7ddf5b
addedCofinal subset contains maximal elements009b598f6c71
addedCofinality of finite poset = number of maximal elements59555ddc89b6
addedCofinality of bounded subsets poset4830bfc7c40b
addedCofinal subsets of naturals are the infinite ones9ddd4efdf27b
addedCofinality of the real numbers8ae9fec063cb
addedCofinality depends on the order4d32809e394b
addedTotally ordered cofinal subset yields well-ordered cofinal subset46be5a93749f
addedMinimal-cardinality cofinal subsets need not be isomorphic233a4b4c0b5b
addedMinimal order type cofinal subsets are isomorphic852699928e5c
addedCofinality of an ordinal4e87ea87fc01
addedCofinality of a set of ordinalsaaa46daeabb1
addedLimit ordinal has increasing cofinal sequencecd528dad2c96
addedCountable limit ordinal has cofinality omega86d73e7cc71b
addedUncountable limit ordinal cofinality5b7059435b77
addedCofinality of 0 is 05d5beb6b82b8
addedCofinality of successor ordinal is 18256e75613a6
addedCofinality of nonzero limit ordinal is regular cardinal1eddad02862a
addedRegular ordinala0953417d282
addedSingular ordinal51a793963e04
addedRegular ordinal is initial ordinal4e3ba9598385
addedLimit of regular ordinals is initial but maybe not regular3cc23a29c798
addedSuccessor aleph is regular under choice572f892c3d09
addedCofinality is idempotent (regular)fedf0b8ced20
addedCofinality of an infinite cardinal00cea46d8828
addedCofinality as smallest sum of smaller cardinals3ddac8d2fe53
addedCofinality of totally ordered set is regular232d0e1a54d8
addedKönig's theorem inequalities for cofinality3ec53d42726a
addedCofinality of the continuum is uncountablea70c3c6cb44c
addedCofinality of aleph-omega is countable (singular)549317180d8f
addedCofinality of aleph at limit ordinalf4a7a3d958a4
addedCofinality of aleph at successor/zero ordinal5ef2e4c82fb7