停止問題は計算可能ではないが、プログラムの実行をシミュレートし、実際に停止するプログラムの無限のリストを作成することは可能である。すなわち、停止問題は帰納的可算集合(計算枚挙可能、半決定可能などとも)の例であり、チューリングマシンによって枚挙可能な集合である。同様に、ある集合が帰納的可算であることの必要十分条件は、それが空であるか、または何らかの計算可能関数の値域に等しいことである。帰納的可算集合は一般には決定不能だが、再帰理論が最も詳しく研究してきた領域である。再帰理論の研究領域.上述のような再帰的な集合や関数の理論を出発点として、再帰理論は関連する主題を巻き込んで成長してきた。以下に挙げるのはそれぞれ独立した研究分野というわけではない。各分野は結果や考え方を相互に応用しており、再帰理論の研究者であればこれらの大半に親しんでいる。相対計算可能性とチューリング次数.計算不能な集合の自然な例として、さまざまな形の停止問題を符号化して得られる互いに異なる集合たちがあるが、それらには次のような共通点がある。帰納的可算でない集合は非可算個存在しており、一般の集合のチューリング次数に関する研究も、帰納的可算なチューリング次数に関する研究と同様に、再帰理論における主要な研究対象である。様々な特定の次数が構成されている。還元可能性.強い還元可能性には、次のものが含まれる。強い還元可能性に関する主要な研究においては、帰納的可算集合のクラスに対する理論と自然数からなる集合のクラスに対する理論との比較が行われてきた。さらに、各種還元可能性間の関係も研究されている。例えば、チューリング次数は真理値表次数であるか、または無限個の真理値表次数の和集合のどちらかであることが知られている。チューリング還元可能性よりも弱い還元可能性(つまり、チューリング還元可能性を内包する還元可能性)も研究されている。よく知られている例として、算術的還元可能性と超算術的還元可能性がある。これらの還元可能性は、算術の標準モデルにおける定義可能性と密接に関連している。ライスの定理と算術的階層.逆数学.ナンバリング.優先度法.保型性問題.コルモゴロフ複雑性.頻度計算.帰納的推論.チューリング計算可能性の一般化.定義可能性、証明、計算可能性の相互関係.