1991 Fiscal Year Annual Research Report

モデルの理論とその関連分野の総合的研究

Research Project

Project/Area Number	01302006
Research Institution	University of Tsukuba
Principal Investigator	本橋信義筑波大学, 数学系, 教授 (70015874)
Co-Investigator(Kenkyū-buntansha)	佐藤雅彦東北大学電気電信研究所, 教授 (20027387) 上江洲忠弘東京理科大学, 理学部, 教授 (60015550) 八杉満利子京都産業大学, 理学部, 教授 (90022277) 坪井明人筑波大学, 数学系, 講師 (30180045) 江田勝哉筑波大学, 数学系, 助教授 (90015826)
Keywords	モデルの理論 / 情報と論理 / ブ-ル値モデル / 公理化 / 様相論理 / 安定性理論 / 超準解析 / 計算可能性
Research Abstract	文研究の最終年度となる平成3年度、今までに得られてきた成果を各グル-プ毎に整理する作業がおもに行われた。この中で、証明論のグル-プは、八杉満利子を中心とする京都産業大学の研究グル-プが、超準解析学に関する証明論的研究を発開し、モデルの理論的超準解析学と証明論的解析学の対照研究に新機軸を打ち出し注目された。また、上江洲忠広は、本橋信義により、モデルの理論的手法で研究された「公理化」の問題を証明論的に追求する手法を開発し、その成果は、日本数学会の欧文機関誌にされた。また、小野寛晰を中心とするグル-プは、従来から、MLG数理論理研究集会を足場に、様相論理、中間論理、多値論理等の非標準論理の研究を進めていた。アジア論理会議では、共産圏から、この方面の研究者が多数参加したこともあり、彼らとの研究交流の結果、これらの方面で多くの研究成果が得られている。モデルの理論のグル-プでは、本橋信義が、情報概念を用いた新しい論理学を構築しつつある。この論理学はアジア論理会議でのオ-ストラリア、モナッシュ大学のクロスリ-教授と討論を経てさらに精錬された。そして、その成果は新しい論理学の啓蒙書として結実しつつある。この間の事情については、この啓蒙書「情報時代の論理学ーあたらし論理学への誘い」の後書に詳しく説明されている。また。坪井明人は、アジア論理会議の招待講演で群の定義可能性に関するモデルの理論的研究を発表している。さらに、坪井を中心とするグル-プは、ガロワ理論のモデルの理論的研究という、あたらし意欲的な研究を始めている。集合論のグル-プでは、江田勝哉が、ア-ベル群の研究を、集合論とモデルの理論を駆使して発展させている。それらの成果の一部はアジア論理会議でも発表された。計算可能性の理論のグル-プでは、このグル-プの中心的指導者である島内剛一氏の急死という事態に研究活動が一時的には停滞したが、最近では、佐藤雅彦を中心に、新たに活動を始めている。

Research Products
(7 results)

All Other

All Publications (7 results)

[Publications] K.Eda: "A factor of singular homology" Tsukuba J.Math.15. 351-388 (1991)
[Publications] M.Yasugi: "A metatheory of nonstandard analysis" Tsukuba J.Math.
[Publications] T.Uesu: "A general method of axiomatizing frayment" J.of Math.Sol.Japan. 43. 413-432 (1991)
[Publications] H.Mishimura: "Boolean Transfer from Coherent Quantum Logics to Quantum Logics with Continubas Superselection Rules" International J.of Theoretical Physics,. 31. 855-869 (1992)
[Publications] S.Maehara: "Lattice-valued representation of the wat-elimination theorem" Tsukuba J.Math.15. 509-521 (1991)
[Publications] S.Kamo: "Ideals on W which are oblained from Hausdorff-gaps" Tsukuba J.Math.15. 523-528 (1991)
[Publications] 本橋信義: "情報時代の論理ー新しい論理学への誘いー" 日本評論社, 220 (1992)

1991 Fiscal Year Annual Research Report

モデルの理論とその関連分野の総合的研究

Principal Investigator

本橋 信義 筑波大学, 数学系, 教授 (70015874)

Research Products

[Publications] K.Eda: "A factor of singular homology" Tsukuba J.Math.15. 351-388 (1991)

[Publications] M.Yasugi: "A metatheory of nonstandard analysis" Tsukuba J.Math.

[Publications] T.Uesu: "A general method of axiomatizing frayment" J.of Math.Sol.Japan. 43. 413-432 (1991)

[Publications] H.Mishimura: "Boolean Transfer from Coherent Quantum Logics to Quantum Logics with Continubas Superselection Rules" International J.of Theoretical Physics,. 31. 855-869 (1992)

[Publications] S.Maehara: "Lattice-valued representation of the wat-elimination theorem" Tsukuba J.Math.15. 509-521 (1991)

[Publications] S.Kamo: "Ideals on W which are oblained from Hausdorff-gaps" Tsukuba J.Math.15. 523-528 (1991)

[Publications] 本橋 信義: "情報時代の論理ー新しい論理学への誘いー" 日本評論社, 220 (1992)

本橋信義筑波大学, 数学系, 教授 (70015874)

[Publications] 本橋信義: "情報時代の論理ー新しい論理学への誘いー" 日本評論社, 220 (1992)