(logic) A hierarchy which classifies the complexity of first-order formulae (and sets defined by them) based on the number of alternations between series of unbounded existential quantifiers and universal quantifiers.
arithmetical hierarchy
異なる断片の記述力を判断するために、研究者たちは第一階述語論理の式やそれらが定義する集合の複雑さを、非有界の存在量化子と全称量化子のブロックの交替回数によって分類する算術階層を調べる。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
