2階算術の5つの基本的部分体系とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 2階算術の5つの基本的部分体系の意味・解説 

2階算術の5つの基本的部分体系(Big Five)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/03 13:45 UTC 版)

逆数学」の記事における「2階算術の5つの基本的部分体系(Big Five)」の解説

2階算術部分体RCA 0 {\displaystyle {\mbox{RCA}}_{0}\,} 、 WKL 0 {\displaystyle {\mbox{WKL}}_{0}\,} 、 ACA 0 {\displaystyle {\mbox{ACA}}_{0}\,} 、 ATR 0 {\displaystyle {\mbox{ATR}}_{0}\,} 、 Π 1 1 -CA 0 {\displaystyle \Pi _{1}^{1}{\mbox{-CA}}_{0}\,} は, Big Five呼ばれ逆数学において頻繁に扱われるのである。 次は"big five"の特徴である。Simpson (2009, p.42)参照部分体名称の由来証明論順序数対応する哲学的原理備考 RCA 0 {\displaystyle {\mbox{RCA}}_{0}\,} Recursive comprehension axiom(再帰的内包公理) ω ω {\displaystyle \omega ^{\omega }\,} 構成的数学 (Bishop) 逆数学基本体系 WKL 0 {\displaystyle {\mbox{WKL}}_{0}\,} Weak König's lemma(弱ケーニッヒ補題) ω ω {\displaystyle \omega ^{\omega }\,} 有限還元 (Hilbert) PRA上で Π 2 0 {\displaystyle \Pi _{2}^{0}\,} 文を、 RCA 0 {\displaystyle {\mbox{RCA}}_{0}\,} 上で Π 1 1 {\displaystyle \Pi _{1}^{1}\,} 文を保存するACA 0 {\displaystyle {\mbox{ACA}}_{0}\,} Arithmetical comprehension axiom(算術的内包公理) ϵ 0 {\displaystyle \epsilon _{0}\,} 可述主義 (Weyl, Feferman) ペアノ算術上で算術的文を保存するATR 0 {\displaystyle {\mbox{ATR}}_{0}\,} Arithmetical transfinite recursion(算術的超限再帰) Γ 0 {\displaystyle \Gamma _{0}\,} 可述的還元主義 (Friedman, Simpson) フィッファーマン体系IR上で Π 1 1 {\displaystyle \Pi _{1}^{1}\,} 文を保存する。 Π 1 1 -CA 0 {\displaystyle \Pi _{1}^{1}{\mbox{-CA}}_{0}\,} Π 1 1 {\displaystyle \Pi _{1}^{1}\,} comprehension axiom ( Π 1 1 {\displaystyle \Pi _{1}^{1}\,} 内包公理) Ψ 0 {\displaystyle \Psi _{0}\,} ( Ω ω {\displaystyle \Omega _{\omega }\,} ) 非可述主義 なお, Big Five名前についている 0 {\displaystyle {}_{0}\,} は帰納法図式制限されていることを意味する例えば、 ACA 0 {\displaystyle {\mbox{ACA}}_{0}\,} は算術的論理式についての帰納法しか持たない帰納法制限した体系は、一般2階算術論理式についての帰納法をもつ体系比べ大幅に小さ証明論順序数を持つ。

※この「2階算術の5つの基本的部分体系(Big Five)」の解説は、「逆数学」の解説の一部です。
「2階算術の5つの基本的部分体系(Big Five)」を含む「逆数学」の記事については、「逆数学」の概要を参照ください。

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



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

辞書ショートカット

すべての辞書の索引

「2階算術の5つの基本的部分体系」の関連用語

1
10% |||||

2階算術の5つの基本的部分体系のお隣キーワード
検索ランキング

   

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



2階算術の5つの基本的部分体系のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

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

©2025 GRAS Group, Inc.RSS