This question should probably have been asked 3 years ago (perhaps it has and was removed for some reason?)
In 2011, Alexander Kiselev claimed to have proved in ZF that there are no weakly inaccessible cardinals. He posted two long papers on the arXiv (see here : http://logiciansdoitwithmodels.com/2011/08/17/fom-posting-on-a-kiselevs-claim-that-there-are-no-weakly-inaccessible-cardinals-in-zf/. There were a few reactions in 2011, e.g. this one : http://www.cs.nyu.edu/pipermail/fom/2011-August/015698.html
However, I could google absolutely nothing talking about that after 2011.
So, I was wondering if anybody knows what is going on here.
Thanks in advance.