算術還元性と次数とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 算術還元性と次数の意味・解説 

算術還元性と次数

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

算術的階層」の記事における「算術還元性と次数」の解説

算術還元性は、チューリング還元性と超算術還元性中間の概念である。 ある集合算術的であるとは、それがペアノ算術言語書かれた式で定義されることを意味する。これと等価的に X が算術的であるとは、X が何らかの整数 n の Σ n 0 {\displaystyle \Sigma _{n}^{0}} または Π n 0 {\displaystyle \Pi _{n}^{0}} に属することを意味する集合 X が集合 Y において算術的であるということを X ≤ A Y {\displaystyle X\leq _{A}Y} で表し、Y についてのメンバーシップ述語拡張されペアノ算術言語書かれた式で X を定義可能であることを意味する。これと等価的に X が Y において算術的であるとは、ある整数 n に対し X が Σ n 0 , Y {\displaystyle \Sigma _{n}^{0,Y}} または Π n 0 , Y {\displaystyle \Pi _{n}^{0,Y}} に属することを意味する。 X ≤ A Y {\displaystyle X\leq _{A}Y} は、X が Y に算術還元可能であることを意味する。 X ≤ A Y {\displaystyle X\leq _{A}Y} は反射関係かつ推移関係であり、したがって ≡ A {\displaystyle \equiv _{A}} という関係を次のように定義すると、これは同値関係となる。 X ≡ A Y ⇔ X ≤ A Y ∧ Y ≤ A X {\displaystyle X\equiv _{A}Y\Leftrightarrow X\leq _{A}Y\land Y\leq _{A}X} この関係における同値類算術次数arithmetic degrees)と呼ぶ。これらは ≤ A {\displaystyle \leq _{A}} のもとで半順序的である。

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

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



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

辞書ショートカット

すべての辞書の索引

「算術還元性と次数」の関連用語

算術還元性と次数のお隣キーワード
検索ランキング

   

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



算術還元性と次数のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS