解析的階層
数理論理学や記述集合論において、解析的階層は算術的階層の拡張である。論理式の解析的階層には二階算術の言語による式が含まれ、すなわち、自然数全体の集合 N {\displaystyle \mathbb {N} } をわたる量化と N {\displaystyle \mathbb {N} } から N {\displaystyle \mathbb {N} } への関数全体をわたる量化を持つものが含まれる。集合の解析的階層は、集合を定義するのに使える論理式によって集合を分類するもので、射影階層の細字版である。