Revision #92 → #1117 · back to history
addedContinuum hypothesis7adf578324da
addedCH equivalent in aleph/beth numbersd5feb75e7a72
addedGeneralized continuum hypothesis7a68c80adc11
addedKőnig's theorem43463be61c9a
addedSame cardinality2e03cfea75b8
addedRationals are countablec6bfb88ff425
addedIntegers strictly smaller than reals716dde66202e
addedUnique smallest cardinal greater than aleph-null7981f711c720
addedContinuum Hypothesis (formal)60327217338f
addedGödel: CH not disprovable in ZF7cc93c715ce9
addedCohen: CH not provable in ZFC3e1b5f7a8e6e
addedSolovay's forcing result on the continuumf8f1aa53c83a
addedFreiling's axiom of symmetry equivalent to ¬CH001b7a6cce21
addedStar axiom falsifies CHc974e732f141
addedGeneralized continuum hypothesis (full statement)d038866b8553
addedGCH in beth numbers70c4aa222e19
addedSierpiński: ZF + GCH implies ACc11f9e2404b3
addedGödel: GCH consistent via V=L75806a910172
addedEaston's theorem53a96f189294
addedForeman–Woodin consistency resulta83fbe59870b
addedMerimovich consistency result06166ca08d31
addedPatai's theorem on successor exponentiation1fc695477a02
addedInjection lifts to subsets80d74b772211
addedGCH determines cardinal exponentiation66c53e01135e