Alex Kiselev claims to have shown “There are no weakly inaccessible cardinals” in Zermelo-Fraenkel set theory (ZF). This would have the consequence that strongly inaccessible cardinals don’t exist either and so on for all the other large cardinals. Martin Davis on the FOM list cautions that the claim is “highly dubious”.
Here are links to Kiselev’s papers:
Part 1: http://arxiv.org/abs/1010.1956
Part 2: http://arxiv.org/abs/1011.1447
Link to the FOM list entry: http://www.cs.nyu.edu/pipermail/fom/2011-August/015694.html
August 18, 2011 at 9:22 AM |
The link to Martin Davis’s comment is http://www.cs.nyu.edu/pipermail/fom/2011-August/015694.html, though there’s no content beyond “regarded as very dubious.”
August 18, 2011 at 7:28 PM |
Hi, thank you for the direct link! I’ll add it to the post. It is important to note that there was no content to MD’s comment beyond the claim of dubiousness. Thanks again!