順序極小理論とペアノ算術のモデル理論の交差

• Project/Area Number: 25K00213
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 12030:Basic mathematics-related
• Research Institution: University of Tsukuba
• Principal Investigator: 竹内 耕太 筑波大学, 数理物質系, 助教 (50722485)
• Project Period (FY): 2025-02-28 – 2029-03-31
• Project Status: Adopted (Fiscal Year 2025)
• Budget Amount: ¥3,900,000 (Direct Cost: ¥3,000,000、Indirect Cost: ¥900,000); Fiscal Year 2028: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2027: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000); Fiscal Year 2026: ¥910,000 (Direct Cost: ¥700,000、Indirect Cost: ¥210,000); Fiscal Year 2025: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)