Set Theory of the Reals and its Applications

实数集合论及其应用

• 批准号: 19540127
• 负责人: BRENDLE Jorg
• 金额: $ 3.41万
• 依托单位: Kobe University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19540127/
• 关键词: 数学基礎論; 集合論; トポロジー; 測度論; 強制法; 組合せ論的集合論; 記述集合論; 数理論理学; 連続体の基数不変量

独立性証明というのは、数学的な命題が数学の標準的な公理系のもとでは証明できないことを示すための論法のことである。独立性証明を行う際の主要な集合論的な技法である強制法を用いることによって、実数の集合論、組合せ論的集合論、記述集合論や、一般位相幾何学などの様々な数学の分野における問題に関するいくつかの無矛盾性の結果を証明した。

Independence proof, mathematical proposition, mathematical standard axiom system, proof, demonstration, theory, method, etc. The main techniques of set theory in the process of proving independence are peremptory norms, set theory of real numbers, set theory of combinatorial theory, descriptive set theory, general phase geometry, mathematical division, and the proof of results without contradiction.

项目成果

Mad families on singular cardinals

奇异红衣主教上的疯狂家庭

• 发表时间: 2008
• 作者: 紙屋英彦;竹村彰通;寺尾宏明;紙屋英彦;Jorg Brendle;Jorg Brendle
• 通讯作者: Jorg Brendle

Coloring ordinals by reals

按实数着色序数

• 发表时间: 2007
• 期刊: Fundamenta Mathematicae 196
• 作者: 紙屋英彦;竹村彰通;寺尾宏明;紙屋英彦;Jorg Brendle
• 通讯作者: Jorg Brendle

Malyhin's Problem

马林问题

• 发表时间: 2007
• 作者: 紙屋英彦;竹村彰通;寺尾宏明;紙屋英彦;Jorg Brendle;Jorg Brendle;Jorg Brendle;Jorg Brendle
• 通讯作者: Jorg Brendle