演算適用の体系と集合論の体系との間の翻訳の構築

• 資料種別: 文書・図像類
• タイトル: 演算適用の体系と集合論の体系との間の翻訳の構築
• 著者・編者: 根元, 多佳子
• 著者標目: 根元, 多佳子
• 出版年月日等: 2014-06-06
• 出版年（W3CDTF）: 2014-06-06
• 並列タイトル等: Construction of an interpretation between systems of applicative theory and set theory
• タイトル（掲載誌）: 科学研究費助成事業研究成果報告書
• 掲載ページ: 1-4
• 本文の言語コード: jpn
• 件名標目: 集合論; 演算適用の理論; 証明論; 翻訳; 算術
• 対象利用者: 一般
• 一般注記: 集合を基本的な対象とする集合論の体系と、文字列に対しての変換規則からなる演算適用の体系の間の翻訳について、P.Aczelによって与えられた集合論から型理論の体系への翻訳を応用した翻訳を構築した。結果としてはこの手法で演算適用の体系に翻訳可能な集合論の体系は通常の集合論とは異なり「集合全体から成る集合」が存在する一方で、比較的弱いと考えられている集合内包公理のいくつかが翻訳できないことがわかった。また、この方法で翻訳できる集合論で、証明能力の意味で最適と言える集合論が構成できた。 : We gave an interpretation from set theory, whoes basic objects are sets, into applicative theory, whoes basic objects are operators and natural numbers, by modefing the interpretation method from set theory into type theory, proposed by P.Aczel. It turned out that set theories which can be interpreted by this new method is defferent from ordinal set theory in the following sense: 1. They allows the existtence of universal set, namely, the set of ALL set; 2. They does not allow rather weak set comperehension axioms. We have constructed an appropreate set theory which can be interpreted by this method in the sense of the proof theoretic strength.; 研究種目：研究活動スタート支援; 研究期間：2012～2013; 課題番号：24840022; 研究者番号：20546155; 研究分野：数理論理学; 科研費の分科・細目：数学、数学一般（含確率論・統計数学）; identifier:https://dspace.jaist.ac.jp/dspace/handle/10119/12185
• 記録形式（IMT）: application/pdf
• 一次資料へのリンクURL: https://dspace.jaist.ac.jp/dspace/bitstream/10119/12185/1/24840022seika.pdf
• オンライン閲覧公開範囲: 限定公開
• 連携機関・データベース: 国立情報学研究所 : 学術機関リポジトリデータベース（IRDB）（機関リポジトリ）; https://irdb.nii.ac.jp
• 提供元機関・データベース: 北陸先端科学技術大学院大学 : JAIST学術研究成果リポジトリ