复杂度理论的递归理论领域有哪些经典论文？

我要发表的两篇论文是：

1. D. Kozen，“子递归类的索引”，STOC，1978年。

2. R. Ladner，“关于多项式时间可约性的结构”，JACM，1975年。

Hajek，P. 算术层次和计算复杂度。定理。比较 科学 8（2）：227-237，1979年。开始研究索引集的复杂性（其中“复杂性”通常位于算术层次结构中的某个位置；请参见对另一个问题的答案）。

在研究多项式时间度（为了将来搜索而使用的流行语“多项式时间度理论”）中，我认为这些论文很有趣（其中一些是基于Ladner的技术）：

• Homer，S .多项式约简的最小度。J.ACM 34（2）：480-491，1987。
• Schöning，U . P的最小对。定理。比较 科学 31：41-48，1984年。
• Downey，R .多项式时间可约性的Nondiamond定理。计算机与系统科学学报45（3）：385-195，1992。
• R. Downey和L.Fortnow。统一的硬语言。定理。比较 科学 298（2）：303-315，2003。
• S. Fenner，S。Homer，S。Prium和M. Schaefer。超多项式层次结构和多项式跳跃。定理。比较 科学 262：241-256，2001年。

向前和向后参考搜索可能会在同一区域中找到更多论文（尽管面积并不大！）。