Quotient structures in set theory of the reals
Project/Area Number |
21540128
|
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 |
JORG Brendle 神戸大学, 大学院・システム情報学研究科, 准教授 (70301851)
|
Project Period (FY) |
2009 – 2011
|
Project Status |
Completed (Fiscal Year 2011)
|
Budget Amount *help |
¥4,550,000 (Direct Cost: ¥3,500,000、Indirect Cost: ¥1,050,000)
Fiscal Year 2011: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2010: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
Fiscal Year 2009: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | 数学基礎論 / 集合論 / トポロジー / 測度論 / 強制法の理論 / 組合せ論的集合論 / 記述集合論 / 強制法 |
Research Abstract |
We investigated the continuum and its subsets from the point of view of combinatorial and descriptive set theory. In particular, using forcing theory, which is the main method for obtaining independence results in set theory, and other techniques, we focused on combinatorial properties of quotient structures in set theory, like Boolean algebras of the form P(ω)/I where I is a definable ideal on the power set P(ω) of the natural numbersω.
|
Report
(4 results)
Research Products
(33 results)