Last Updated：2025/11/24
Sentence
異なる断片の記述力を判断するために、研究者たちは第一階述語論理の式やそれらが定義する集合の複雑さを、非有界の存在量化子と全称量化子のブロックの交替回数によって分類する算術階層を調べる。
Quizzes for review
To determine the descriptive power of different fragments, researchers examine the arithmetical hierarchy, which classifies the complexity of first-order formulas and the sets they define by counting alternations between blocks of unbounded existential and universal quantifiers.
See correct answer
To determine the descriptive power of different fragments, researchers examine the arithmetical hierarchy, which classifies the complexity of first-order formulas and the sets they define by counting alternations between blocks of unbounded existential and universal quantifiers.
音声機能が動作しない場合はこちらをご確認ください
Related words
arithmetical hierarchy
Noun
Japanese Meaning
算術階層：一階述公式やそれによって定義される集合の複雑さを、無制限の存在記号と全称記号が交互に現れる回数に基づいて分類するための論理学的な階層構造。
Related Words
English - English
Word Edit Setting
- Users who have edit permission for words - All Users
- Screen new word creation
- Screen word edits
- Screen word deletion
- Screen the creation of new headword that may be duplicates
- Screen changing entry name
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Sentence Edit Setting
- Users who have edit permission for sentences - All Users
- Screen sentence deletion
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
Quiz Edit Setting
- Users who have edit permission for quizzes - All Users
- Users authorized to vote on judging - Editor
- Number of votes required for decision - 1
