Revision #58 → #1058 · back to history
addedCardinality of the continuum90e8f068f4c0
addedContinuum equals power set of naturals7b4ac09ec687
addedEqual cardinality via bijectionae0def8a69c2
addedOpen interval equinumerous with R5c0b9fea6bcf
addedContinuum hypothesis (no intermediate cardinality)5ff61e46347c
addedUncountability of the reals9f953be19af8
addedCantor's theoremc640cf32424a
addedCantor–Bernstein–Schroeder theorem2db5a7a0bbf9
addedCardinal equality via cardinal arithmetic8ebb1062643b
addedFurther cardinal arithmetic identities90b332f1c95f
addedEvery real has an infinite decimal expansiond159f710efc0
addedCountably many decimal placesf6608e95fac4
addedInteger part plus decimal fraction9797a3fcbf82
addedLower bound via 3/7 decimal fractions57fa93437983
addedBeth numbers sequence0f87cf3304d9
addedBeth-two as power set of Reb23938b2d59
addedContinuum hypothesis (second aleph)d3ea5aa09288
addedIndependence of CH from ZFC520b0eeae265
addedKönig's theorem on cofinality64a4b3b2887e
addedSets with cardinality of the continuum9fdd644562a0
addedReal algebraic numbers are countablefa1b72435aac
addedReal transcendental numbers have cardinality cae74c76cd487
addedCardinality of Euclidean spacea73669f5053a
addedSets with greater cardinality42ade38706c1
addedThese sets have cardinality beth-twocc0408bd1e94