Set theory
エフェクティブ記述集合論の領域は記述集合論の手法と一般再帰理論の手法（とりわけ超算術的階層）とを結合させる。とくに古典記述集合論の階層の細字版（エフェクティブ版）に焦点が当てられる。したがって超算術的階層はボレル階層の、また解析的階層は射影階層のエフェクティブ版として研究される。これらの研究はクリプキ-プラテク集合論や二階算術などの弱い集合論に関係する。