Throwing a dart at Freiling's argument against the continuum hypothesis (Q918547)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Throwing a dart at Freiling's argument against the continuum hypothesis |
scientific article; zbMATH DE number 4158624
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Throwing a dart at Freiling's argument against the continuum hypothesis |
scientific article; zbMATH DE number 4158624 |
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
0.7999427914619446
0 references
0.7455755472183228
0 references