On combinatiral problems using P_kappa lambda structures
Project/Area Number |
15K17587
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Foundations of mathematics/Applied mathematics
|
Research Institution | Waseda University (2016-2017) Kobe University (2015) |
Principal Investigator |
|
Research Collaborator |
Bagaria Joan Universitat de Barcelona, ICREA and Departament de Lògica,Històriai Filosofia de Ciència, professor
Hamkins Joel David The City University of New York, The Graduate Center, professor
Tsaprounis Konstantinos University of the Aegean, Department of Mathematics, posdoc fellow
MATSUBARA Yo 名古屋大学, 大学院情報学研究科, 教授
SAKAI Hiroshi 神戸大学, 大学院システム情報学研究科, 准教授
ISHII Hiromi 筑波大学, 大学院数理物質科学研究科, 大学院生
YAMAURA Naoki 筑波大学, 大学院数理物質科学研究科, 大学院生
|
Project Period (FY) |
2015-04-01 – 2018-03-31
|
Project Status |
Completed (Fiscal Year 2017)
|
Budget Amount *help |
¥2,470,000 (Direct Cost: ¥1,900,000、Indirect Cost: ¥570,000)
Fiscal Year 2017: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000)
|
Keywords | 巨大基数 / 反映原理 / 集合論的多元宇宙論 / 無限組み合わせ論 / 集合論的地質学 / リンデレフ空間 / パラコンパクト空間 / 強制法 / Pκλ |
Outline of Final Research Achievements |
On infinitely combinatorics, we obtained various results such as: applications of the unbranching principle to the ideal theory, comparison between cardinals and P_kappa lambda via combinatorial properties, applications of large cardinals to Lindeloef spaces. For the reflection principle, we separated the strong reflection principle from the weak one, and got the characterization of paracompact spaces. In addition, for the set-theoretic multiverse and the set-theoretic geology, we showed the fundamental theorem that the downward directedness of all ground models. Furthermore, we proved that there exists the minimum ground model if there exists a large cardinal.
|
Report
(4 results)
Research Products
(38 results)
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 有向集合の分類2016
Author(s)
薄葉季路
Organizer
山陰 基礎論・解析学セミナー 2016
Place of Presentation
米子, 皆生の宿 ゆるり
Year and Date
2016-01-30
Related Report
Invited
-
[Presentation] The Downward Directed Grounds hypothesis2016
Author(s)
Toshimichi Usuba
Organizer
IMS-JSPS Joint Workshop in Mathematical Logic and Foundations of Mathematics
Place of Presentation
National University of Singapore, Singapore
Year and Date
2016-01-16
Related Report
Int'l Joint Research
-
-
-
-
-
-
-
-
-
-
-
[Presentation] 強制法と様相論理2015
Author(s)
薄葉季路
Organizer
数学基礎論サマースクール2015
Place of Presentation
神戸大学
Year and Date
2015-08-18
Related Report
Invited
-
-
-