Revision #2911 → #3452 · back to history
addedTransfinite recursion theorem8fe891eebcfc
addedHartogs number682e7b193510
addedLimit ordinald84eadbefa67
addedChain-complete partial ordercdd251abea0e
addedFinite character097792b1c8de
addedTukey's lemma (finite character family has maximal element)0fcd0c197439
addedDirected complete partial order (dcpo)dafec49371b3
addedInitial segmentd622d130af8a
addedSuccessor cardinal0aadee30f10d
addedUnion of a chain of ideals is an idealdfaa4b7e2956