| 研究課題/領域番号 |
25K07101
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 基金 |
|---|
| 応募区分 | 一般 |
|---|
| 審査区分 |
小区分12030:数学基礎関連
|
|---|
| 研究機関 | 神戸大学 |
|---|
研究代表者 |
Brendle Jorg 神戸大学, システム情報学研究科, 教授 (70301851)
|
|---|
| 研究分担者 |
メヒア ディエゴ 神戸大学, システム情報学研究科, 准教授 (70777961)
|
|---|
| 研究期間 (年度) |
2025-04-01 – 2028-03-31
|
| 研究課題ステータス |
交付 (2025年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2027年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2026年度: 1,430千円 (直接経費: 1,100千円、間接経費: 330千円)
2025年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
|
|---|
| キーワード | 数理論理学 / 集合論 / 強制法の理論 / 実解析 |
|---|
| 研究開始時の研究の概要 |
We will investigate set-theoretic aspects of some phenomena from real analysis, like measure theory, Baire category, and density of sets of natural numbers. Particular focus will be on the order relationship between cardinal numbers describing these phenomena. For showing that no such order relationships exist, we will use forcing theory to carry out independence proofs.
|
