我目前的理解(大概不到 1%)是: 幾個主要的技巧在 Descriptive Complexity 裡面都算是已經被做出來的工具。然而整個證明的體系和架構倒是從前比較少見的。

他似乎甚至沒放到 ArXiv 上，更新的版本都還是要到他的 HP 網站上抓。不過一堆 Fields Medalists 和 Goedel Prize winners 聯手出擊，要一直改也是很合理的-_-