チューリング次数
は二階算術の真の理論は、半順序のシグネチャにおいて、すべてのチューリング次数の半順序の理論と計算可能な解釈が可能であり、"その逆も成り立つ"ことを示した。