| Budget Amount *help |
¥3,510,000 (Direct Cost: ¥2,700,000、Indirect Cost: ¥810,000)
Fiscal Year 2012: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2011: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2010: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
|---|
| Research Abstract |
Cohen discovered the methodof forcing, which enables us to show that some mathematical statements cannot proved from axiomatic set theory ZFC. After the Cohen’s discovery, the forcing theory has been developing so deeply, and so it has been shown that several mathematical statements are independent from ZFC. The aim of this research is the investigation of independence of mathematical statements which includes ones outside of ZFC by developing infinite combinatorics and forcing theory
|
