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
negation of CH
0 references
axioms of symmetry
0 references