Σn集合
Σn述語で元かどうかを判定できる集合
補集合はΠn集合
$ \Sigma_1集合は、半決定可能集合に一致する
ref 半決定可能#5f94311319827000009c08a0
定義
自然数の集合$ \alphaに対して、
$ A(x)\iff x\in\alphaとなる1変数述語$ AがΣn述語であるとき、
$ \alphaをΣn集合という