Revision #707 → #992 · back to history
addedAleph-zeroa4eae9b296ef
addedCharacterization of cardinality aleph-zeroc456ace0d1ee
addedWell-ordering of positive integers with order type ω+ω759c63108d6c
addedAleph-zero is the smallest infinite cardinal under countable choice8e5db3a434de
addedAleph-one4b2691af060f
addedNo cardinal strictly between aleph-zero and aleph-onea2e090b5c57b
addedCountable subsets of omega-one have an upper boundfce01aaffb60
addedClosing under countable-arity operations using omega-one335788efc5f7
addedCardinality of the continuumf410e109fc43
addedContinuum hypothesisc50f28873f3f
addedIndependence of CH from ZFCa000650ac5e3
addedAleph-omega8e45679b56ad
addedAleph-omega not equal to continuum83231e9a1d83
addedCofinality omega175c2bddeea0
addedSuccessor cardinal operation06d8d98b8c5d
addedAleph numbers for general ordinal681894efb9c1
addedInitial ordinal notationc04712d0a83b
addedIndex of an infinite cardinal via transfinite induction2149a2d3f756
addedAleph as a function-like class on ordinals50a25b201122
addedAlpha bounded by aleph-alphaa221bda05ff5
addedStrict inequality at successor ordinalsf0338a813046
addedFirst fixed point of the aleph functionb2594abbec1f
addedWeakly inaccessible cardinals are fixed points of aleph85eed3eb78cb
addedEvery aleph is the cardinality of some ordinal; initial ordinal551e8d0a3c3f
addedFinite sets are well-orderable but not alephscb24441f0630
addedEvery cardinality is an aleph iff axiom of choice0fbb6e19be91
addedScott's trick for cardinal representatives9afb74397005