巨大基数公理と無限組合せ論

巨大的基本公理和无限组合

• 批准号: 06740141
• 负责人: 塩谷 真弘
• 金额: $ 0.58万
• 依托单位: University of Tsukuba
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1994
• 资助国家: 日本
• 起止时间: 1994 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-06740141/
• 关键词: Precipitovs filter; Pay

60年度以降急速に発展しつつある現代的な意味での公理的集合論において一貫した研究テーマとなっているのは、ZFC集合論自体のモデルを構成し、その構造を詳しく解析することである.その構成法のうちの一つの大きな流れが、巨大基数とその上の超フィルターを用いたいわゆるultra paver constvuctionである.こうして導入された巨大基数公理から自然に、一般の(必ずしも巨大でない)正則非可算基数u上の(正規)フィルタの研究が以上の組合せ論の名の下に始まった.そこでは、モデルの構成法のもの一つの大きな流れであるforcing constvuctionにおけるgeneric filterを仮想的なultrafilterとしてultra powerを行うといういわゆるgeneric ultra powerが有力な手法であり、こうして作られたモデルがwell foudcd か否かという問題は最も基本的である.ところじに上の最小のフィルタがこうした性質(precipitous)を特ちえないことはみく知られていたが、最近、それがはるかに一般的にPn入上でも成り立つことが証明された。その証明が実はフィルタがprecipitonsにならない為の簡単な十分条件を備えていることを松原氏(名古屋大)は指摘した.現在,氏との共著論文をJocrual of Symbolic Logicに投稿中である.

In 1960, the rapid development of modern axiomatic set theory has been studied consistently. ZFC set theory itself has been analyzed in detail. The composition of the method is very large, the base is very large, and the upper part is very large. This paper introduces the axiom of large cardinality from natural to general, regular to non-calculable cardinality u to normal, and studies the combination of the above. The most basic problem is to force the transmission of power to the ultrafilter and generate ultrapower. The smallest of the three is the property (precitious), and the most recent is the proof of the three. The proof of this is that there is no such thing as a simple and perfect condition for Matsuhara. Now, I'm co-author of Jocratic of Symbolic Logic.

项目成果

塩谷真弘: "Infinitary Jousson furctions and elevnentary eunbedding" Archive for Math.Logic. 33. 81-86 (1994)

Masahiro Shioya：“Infinitary Jousson Furctions and elevnentary eunbedding”Math.Logic 档案 33. 81-86 (1994)

塩谷真弘: "The minimal nonmad N-complete filten on Puy" Proc,of Amer.Math,Soc.(印刷中). (1995)

Masahiro Shioya：“Puy 上的最小非疯狂 N 完全过滤”Proc，of Amer.Math，Soc.（正在出版）（1995 年）。