I haven't read it carefully, but the new paper here by Licata-Vértesi appears to be (finally) a complete proof, albeit one that is different from the original.
Andy Putman
- 44.8k
- 14
- 186
- 272