Skip to main content
MathOverflow

Return to Answer

decided not confusing
Source Link
Andrew Critch
Andrew Critch
  • 11.3k
  • 1
  • 50
  • 72

Under ZFC, the negation of CH is equivalentactually equivalent to Freiling's "Axiom of Symmetry". Wikipedia says this equivalence was proven by Sierpinski.

Freiling's axiom is fairly intuitive, in that it basically says that (countablycountable) discrete invariants on the reals disagree at points, for "probabilistic" reasons. I think it makes a pretty cool argument against CH :)

Under ZFC, the negation of CH is equivalent to Freiling's "Axiom of Symmetry". Wikipedia says this equivalence was proven by Sierpinski.

Freiling's axiom is fairly intuitive, in that it basically says that (countably) discrete invariants on the reals disagree at points, for "probabilistic" reasons. I think it makes a pretty cool argument against CH :)

Under ZFC, the negation of CH is actually equivalent to Freiling's "Axiom of Symmetry". Wikipedia says this equivalence was proven by Sierpinski.

Freiling's axiom is fairly intuitive, in that it basically says that (countable) discrete invariants on the reals disagree at points, for "probabilistic" reasons. I think it makes a pretty cool argument against CH :)

Source Link
Andrew Critch
Andrew Critch
  • 11.3k
  • 1
  • 50
  • 72

Under ZFC, the negation of CH is equivalent to Freiling's "Axiom of Symmetry". Wikipedia says this equivalence was proven by Sierpinski.

Freiling's axiom is fairly intuitive, in that it basically says that (countably) discrete invariants on the reals disagree at points, for "probabilistic" reasons. I think it makes a pretty cool argument against CH :)