Throwing a dart at Freiling's argument against the continuum hypothesis (Q918547): Difference between revisions

The author gives an argument which he claims is against the proposed axioms of symmetry of \textit{C. Freiling} [J. Symb. Logic 51, 190-200 (1986; Zbl 0619.03035)]; indeed, he uses the word fallacy. He gives a variant \(A_{n.d.}\) of Freiling's axiom \(A_{\aleph_ 0}\), replacing ``countable'' by ``nowhere dense'', and then notes that \(A_{n.d.}\) is not a `starting conclusion' but is in fact a known theorem. However it seems to the reviewer that this is not counter to Freiling's intuitions at all; for that, one would need a plausible variant \(A_{?}\) of Freiling's axioms which can be disproved (not proved). (And in fact Freiling himself does give stronger arguments which contradict the axiom of choice.)