Today I found myself at the Wikipedia page on Vaught's Conjecture,

http://en.wikipedia.org/wiki/Vaught_conjecture

and it says that Prof. Knight, of Oxford, "has announced a counterexample" to the conjecture. The phrasing is odd; I interpret it as suggesting that there is some doubt as to whether Prof. Knight attained his goal. Another Wikipedia page uses similar language, "it is thought that there is a counterexample" or something like that. (I forget which page now.)

Prof. Knight's page, which you can easily find through the link above, certainly gives the impression that he himself harbors no doubts about his achievement. Since the counterexample is a 117-page construction and not immediately perspicuous, I thought I'd ask here what the situation is. Is the paper being refereed? Apparently it's from 2002, so something unusual must be going on.