Set Theory of the Reals and its Applications
| Project/Area Number |
19540127
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Single-year Grants |
|---|
| Section | 一般 |
|---|
| Research Field |
General mathematics (including Probability theory/Statistical mathematics)
|
|---|
| Research Institution | Kobe University |
|---|
Principal Investigator |
BRENDLE Jorg Kobe University, 大学院・工学研究科, 准教授 (70301851)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Project Status |
Completed (Fiscal Year 2008)
|
| Budget Amount *help |
¥5,330,000 (Direct Cost: ¥4,100,000、Indirect Cost: ¥1,230,000)
Fiscal Year 2008: ¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2007: ¥1,950,000 (Direct Cost: ¥1,500,000、Indirect Cost: ¥450,000)
|
|---|
| Keywords | 数学基礎論 / 集合論 / トポロジー / 測度論 / 強制法 / 組合せ論的集合論 / 記述集合論 / 数理論理学 / 連続体の基数不変量 |
|---|
| Research Abstract |
独立性証明というのは、数学的な命題が数学の標準的な公理系のもとでは証明できないことを示すための論法のことである。独立性証明を行う際の主要な集合論的な技法である強制法を用いることによって、実数の集合論、組合せ論的集合論、記述集合論や、一般位相幾何学などの様々な数学の分野における問題に関するいくつかの無矛盾性の結果を証明した。
|
Report
(3 results)
Research Products
(28 results)
