1992 Fiscal Year Annual Research Report

数理論理及びその周辺分野,総合的研究

Research Project

Project/Area Number	04302009
Research Institution	Kobe University
Principal Investigator	角田譲神戸大学, 工学部, 教授 (50031365)
Co-Investigator(Kenkyū-buntansha)	八杉舶満利子京都産業大学, 理学部, 教授 (90022277) 田中一之東北大学, 教養部, 助教授 (70188291) 篠田寿一名古屋大学, 人間情報学研究科, 助教授 (30022685) 本橋信義筑波大学, 数学系, 教授 (70015874) 小野寛晰広島大学, 工学部, 教授 (90055319)
Keywords	Honest Polynomial Degree / Substructural Logic / Reverse Mathemtics / Motomsthematics / New-stardird Analysis / Inner Models / Supercompect Cardinals / BCK algchra
Research Abstract	篠田を中心とする帰納的関数の研究グループはHorest polynamial time reducbilitiesについてrecursive tegreeに対地さして興味ある新しい結果を得た。小野等を中心とする数理論理学研究グループはBCA代数についての話の問題やsubitractural logicについての新しい結果及び知見を得た。又、中間論理に関する新しい結果も得えている。本橋を中心とする模型理論の研究グループは数理論理学と代数の境界領域で新しい結果を得て、現在も新しい試みがなされている。田中を中心とする構成数学の研究グループではFriedman-Simpsonの提唱する逆数学のプログラムに沿って種々の数学理定理の論理的構造を解明している。釜江、八形を中心とするノンスタンダードアメリシスの研究グループは解析学の超数学的構造を研究し、新しい知見を得ている。角田を中心とする公理的集合論研究グループはある種の組合せ論題命題のexgivconsistentの研究に一定の成果をあげている。特筆すべき成果は、集合論グルーブの加茂が自然数の集分w上で成立する組合せ論的命題を正則基数Kで成立するかどうかを検証して、その命題がKで成立するならば内的モデルで任意個の可測量数を持つものか存たする事を証明した。また、super conpact cardinalの存在より、その様な性質を満足する正側基数の存在を強制法によって示した。この結果は本研究の可算概念の解明という中心的課題に多大な寄与をするものと思われる。次に重要な成量は八杉による解析学,超数学的構造の研究に対する成果で、これは論理学の数学への応用が模型理論的のみでなく、証明論的な側面からも可能ある事を示唆している意味で重要である。

Research Products
(6 results)

All Other

All Publications (6 results)

[Publications] Hiroakira Ono: "Algebraic cspect of logics without structural rulas" Contemporary Msthematics American Msthematical Siciety. 131. 601-621 (1992)
[Publications] mariko Yasugi: "A metatheary of mon-standard analysis" Tsukuba J.Msthematics. 17. (1992)
[Publications] K.Aoki,J.shinoda and T.Tsuda: "Strong minimal pair theovem for the honest polynomial degrees of Δﾟ_2low sets" J.Moth.Sopc.Japan. 44. (1952)
[Publications] K.aoki,J.Shinoda and T.TSuda: "On π_2theories of hp-T-dgrees of low sats" Theovetical Comprter Scieue. 123. (1994)
[Publications] R.K.Moyer and H.Ono: "The finite madel propeity for BCK and BCIW" Studia Logica. 52. (1992)
[Publications] K.Tanaka: "A game-theoretic proof of analytic Ramsey theorem" Z.Msth Logic Grund lagen Mith. 38. 301-304 (1992)

1992 Fiscal Year Annual Research Report

数理論理及びその周辺分野,総合的研究

Principal Investigator

角田 譲 神戸大学, 工学部, 教授 (50031365)

Research Products

[Publications] Hiroakira Ono: "Algebraic cspect of logics without structural rulas" Contemporary Msthematics American Msthematical Siciety. 131. 601-621 (1992)

[Publications] mariko Yasugi: "A metatheary of mon-standard analysis" Tsukuba J.Msthematics. 17. (1992)

[Publications] K.Aoki,J.shinoda and T.Tsuda: "Strong minimal pair theovem for the honest polynomial degrees of Δﾟ_2low sets" J.Moth.Sopc.Japan. 44. (1952)

[Publications] K.aoki,J.Shinoda and T.TSuda: "On π_2theories of hp-T-dgrees of low sats" Theovetical Comprter Scieue. 123. (1994)

[Publications] R.K.Moyer and H.Ono: "The finite madel propeity for BCK and BCIW" Studia Logica. 52. (1992)

[Publications] K.Tanaka: "A game-theoretic proof of analytic Ramsey theorem" Z.Msth Logic Grund lagen Mith. 38. 301-304 (1992)

角田譲神戸大学, 工学部, 教授 (50031365)