自然数の集合の算術的階層とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 自然数の集合の算術的階層の意味・解説 

自然数の集合の算術的階層

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/05/20 04:36 UTC 版)

算術的階層」の記事における「自然数の集合の算術的階層」の解説

ペアノ算術言語書かれた式 φ(n) で、集合 X が n ∈ X ↔ N ⊨ ϕ ( n ) {\displaystyle n\in X\leftrightarrow \mathbb {N} \models \phi (n)} のように定義されるとする。これはつまり、X の元が φ を満足するということ意味している。集合一階算術で定義可能であるとは、ペアノ算術言語書かれた式で定義されることに他ならない一階算術で定義可能な自然数集合 X は、 n {\displaystyle n} を自然数としたときの階層 Σ n 0 {\displaystyle \Sigma _{n}^{0}} 、 Π n 0 {\displaystyle \Pi _{n}^{0}} 、 Δ n 0 {\displaystyle \Delta _{n}^{0}} に以下のように分類される。X が Σ n 0 {\displaystyle \Sigma _{n}^{0}} に属する式で定義可能なら、 X {\displaystyle X} は階層 Σ n 0 {\displaystyle \Sigma _{n}^{0}} に分類される。X が Π n 0 {\displaystyle \Pi _{n}^{0}} に属する式で定義可能なら、 X {\displaystyle X} は階層 Π n 0 {\displaystyle \Pi _{n}^{0}} に分類される。 X {\displaystyle X} が Σ n 0 {\displaystyle \Sigma _{n}^{0}} にも Π n 0 {\displaystyle \Pi _{n}^{0}} にも属するなら、 X {\displaystyle X} は追加階層 Δ n 0 {\displaystyle \Delta _{n}^{0}} に分類される。 なお、 Δ n 0 {\displaystyle \Delta _{n}^{0}} に属する式と言った場合、ほとんど意味をなさない。これはつまり、先頭量化子存在量化子か全称量化子の式を意味する。従って Δ n 0 {\displaystyle \Delta _{n}^{0}} に属す集合は Δ n 0 {\displaystyle \Delta _{n}^{0}} に属する式で定義されるではなく、 Σ n 0 {\displaystyle \Sigma _{n}^{0}} に属する式と Π n 0 {\displaystyle \Pi _{n}^{0}} に属する式の両方定義される集合である。 自然数有限な直積集合算術的階層の定義には並列定義が使われる1つ自由変項の式の代わりに k 個の自由変項の式を使い、k-タプル自然数集合についての算術的階層定義する

※この「自然数の集合の算術的階層」の解説は、「算術的階層」の解説の一部です。
「自然数の集合の算術的階層」を含む「算術的階層」の記事については、「算術的階層」の概要を参照ください。

ウィキペディア小見出し辞書の「自然数の集合の算術的階層」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「自然数の集合の算術的階層」の関連用語

自然数の集合の算術的階層のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



自然数の集合の算術的階層のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの算術的階層 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS