複雑性理論の再帰理論領域からの古典的な論文は何ですか？

私が含める2つの論文は次のとおりです。

1. D.コーゼン、「サブ再帰クラスの索引付け」、STOC、1978

2. R.ラドナー、「多項式時間還元性の構造について」、JACM、1975

Hajek、P. 算術的階層と計算の複雑さ。理論。比較 科学 8（2）：227-237、1979。インデックスセットの複雑さの研究を開始しました（「複雑さ」はしばしば算術階層のどこかにあります。別の質問に対するこの回答を参照してください）。

多項式時間度の研究（buzzword = "polynomial-time degree theory"、将来の検索のため）で、これらの論文は興味深いと思います（そのうちのいくつかはLadnerの手法に基づいています）。

• ホーマー、S 。多項式の可換性の最小次数。J. ACM 34（2）：480-491、1987
• Schöning、U . Pの最小ペア。理論。比較 科学 31：41-48、1984。
• ダウニー、R 。多項式時間縮約性の非ダイヤモンド定理。Journal of Computer and System Sciences 45（3）：385-195、1992。
• Downey、R.およびFortnow、L. 一様に難しい言語。理論。比較 科学 298（2）：303-315、2003。
• Fenner、S.、Homer、S.、Prium、R. and Schaefer、M. ハイパー多項式階層と多項式ジャンプ。理論。比較 科学 262：241-256、2001。

おそらく、前方参照検索と後方参照検索では、同じエリアでさらにいくつかの論文が見つかります（ただし、それほど大きなエリアではありません！）。