帰納的可算集合の束とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 帰納的可算集合の束の意味・解説 

帰納的可算集合の束(lattice)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/06/24 05:44 UTC 版)

再帰理論」の記事における「帰納的可算集合の束(lattice)」の解説

ポスト単純集合(「無限帰納的可算集合一つ含まないような無限補集合」を持つ帰納的可算集合)を定義し、そこから帰納的可算集合同士包含関係研究し始めた。この束 (lattice) は今日では詳細に研究され構造となっている。ある集合帰納的である必要十分条件は、集合とその補集合が共に帰納的可算であることである。この基本的な結果用いて、この構造内に帰納的集合定義できる。無限帰納的可算集合は常に無限帰納的集合部分集合として持つのに対し単純集合は余無限 (coinfinite) な帰納的集合上位集合として持たないポスト(1944)は既に超単純集合超々単純集合導入していた。後に極大集合 (maximal set) が構成されたが、これは帰納的可算である全ての上位集合所与極大集合有限な変種かまたは余有限 (co-finite) であるよう帰納的可算集合である。ポストがこの束を研究した元々の動機は、この性質満たす全ての集合チューリング次数が、帰納的集合停止問題何れのチューリング次数とも異なということ構造的に示せないかという点にあったポストそのような性質見出すことはできず、彼の問題代わりに優先度法用いて解決されたが、Harrington と Soare (1991) はそのような性質をついに発見した

※この「帰納的可算集合の束(lattice)」の解説は、「再帰理論」の解説の一部です。
「帰納的可算集合の束(lattice)」を含む「再帰理論」の記事については、「再帰理論」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「帰納的可算集合の束」の関連用語

帰納的可算集合の束のお隣キーワード
検索ランキング

   

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



帰納的可算集合の束のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS