Throwing a dart at Freiling's argument against the continuum hypothesis (Q918547)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Throwing a dart at Freiling's argument against the continuum hypothesis
scientific article

    Statements

    Throwing a dart at Freiling's argument against the continuum hypothesis (English)
    0 references
    1990
    0 references
    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.)
    0 references
    0 references
    0 references
    negation of CH
    0 references
    axioms of symmetry
    0 references
    0 references