文献

J-GLOBAL ID：201902276966137781   整理番号：19A2044380

Peano演算の固定拡張に関連した証明可能論理【JST・京大機械翻訳】

PROVABILITY LOGICS RELATIVE TO A FIXED EXTENSION OF PEANO ARITHMETIC

著者 (1件)： KURAHASHI TAISHI (DEPARTMENT OF NATURAL SCIENCE NATIONAL INSTITUTE OF TECHNOLOGY, KISARAZU COLLEGE 2-11-1 KIYOMIDAI-HIGASHI KISARAZU, CHIBA 292-0041, JAPAN E-mail: [e-mail])
資料名： Journal of Symbolic Logic  (Journal of Symbolic Logic)
巻： 83  号： 3  ページ： 1229-1246  発行年： 2018年 
JST資料番号： W5435A  ISSN： 0022-4812  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： TとUは計算の一貫した理論である。もしTが計算可能であるならば,Tの[数式:原文を参照]定義[数式:原文を参照]からTの[数式:原文を参照]を予測する可能性が自然に得られる。Uに対するτの確率論理[数式:原文を参照]は,□が[数式:原文を参照]によって解釈されるすべての計算的解釈の下でUで証明されるすべてのモード式の集合である。それは,すべての[数式:原文を参照]が論理[数式:原文を参照],[数式:原文を参照],[数式:原文を参照],および[数式:原文を参照]の1つと一致し,αとβがωとβの部分集合であるという以前の研究に基づくBeklemishevによって証明された。著者らは,もしUが,Peano AritheticとLの計算可能な一貫した拡張であるならば,αが計算可能で,βが共有限である[数式:原文を参照],[数式:原文を参照],[数式:原文を参照],および[数式:原文を参照]の1つであることを証明する。そして,[数式:原文を参照]のいくつかの拡張の[数式:原文を参照]定義[数式:原文を参照]が存在する。Please refer to the publisher for the copyright holders. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 部分集合 ,  *演算
準シソーラス用語： 確率論理 , 【Automatic Indexing@JST】

著者キーワード (6件)： 03F45 ,  03F40 ,  03B45 ,  証明可能論理 ,  証明可能性述語 ,  分類定理

分類 (2件)： 計算理論  (JB02000A) ,  論理代数  (JB03000H)

タイトルに関連する用語 (3件)： 拡張 ,  証明 ,  論理