Forcing Theory and the Size of the Continuum
Project/Area Number |
15K04977
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Research Field |
Foundations of mathematics/Applied mathematics
|
Research Institution | Kobe University |
Principal Investigator |
Brendle Jorg 神戸大学, システム情報学研究科, 教授 (70301851)
|
Project Period (FY) |
2015-04-01 – 2018-03-31
|
Project Status |
Completed (Fiscal Year 2017)
|
Budget Amount *help |
¥4,810,000 (Direct Cost: ¥3,700,000、Indirect Cost: ¥1,110,000)
Fiscal Year 2017: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
Fiscal Year 2015: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
|
Keywords | 数学基礎論 / 集合論 / トポロジー / 測度論 / 強制法 / 国際情報交換 |
Outline of Final Research Achievements |
We investigated the combinatorial structure of the continuum using novel techniques from forcing theory. In particular, we employed techniques like Mathias forcing with a filter and other ccc forcing notions, a sophisticated version of finite support iteration of forcing, matrix iterations of forcing, generalizations of forcing notions on the real numbers to large cardinals etc, to obtain new independence results about the order relationship between cardinal invariants of the continuum, and about sets of real numbers with maximality properties like ultrafilters and maximal almost disjoint families.
|
Report
(4 results)
Research Products
(39 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Journal Article] Q2017
Author(s)
Joerg Brendle
-
Journal Title
Sets and Computations. World Scientific
Volume: ー
Pages: 1-10
Related Report
Peer Reviewed
-
-
-
-
-
[Journal Article] Q2017
Author(s)
Joerg Brendle
-
Journal Title
Proceedings of the IMS Program "Sets and Computations", Singapore
Volume: 印刷中
Related Report
Peer Reviewed
-
-
-
-
-
-
-
[Presentation] Rearrangements2017
Author(s)
Joerg Brendle
Organizer
Workshop on Computability Theory and the Foundations of Mathematics, Singapore
Related Report
Int'l Joint Research / Invited
-
-
-
-
-
-