• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2022 年度 研究成果報告書

反映原理の高濃度への一般化と基数算術

研究課題

  • PDF
研究課題/領域番号 18K03397
研究種目

基盤研究(C)

配分区分基金
応募区分一般
審査区分 小区分12030:数学基礎関連
研究機関神戸大学

研究代表者

酒井 拓史  神戸大学, システム情報学研究科, 准教授 (70468239)

研究期間 (年度) 2018-04-01 – 2023-03-31
キーワード反映原理 / 基数算術 / 巨大基数
研究成果の概要

アレフ2のレベルの反映原理は様々な興味深い帰結を持つことが知られており,定常性反映原理やラドー予想をはじめ,これまでに多くの反映原理が定式化されている.また,それらの相互関係や,基数算術・無限組合せ論に及ぼす影響が幅広く研究されてきた.本研究では,これらの反映原理をアレフ2より大きなレベルに一般化したものについて,それらの相互関係や基数算術に及ぼす影響を調べた.まず,高レベルの反映原理の相互関係については,アレフ2レベルの関係が概ね一般化できることが明らかになった.一方で基数算術への帰結については,アレフ2のレベルのものが,多くの場合に高レベルのものに一般化されないことが明らかになった.

自由記述の分野

公理的集合論

研究成果の学術的意義や社会的意義

定常性反映原理やフォドア型反映原理などのアレフ2レベルの反映原理は,マルティンの極大強制法公理という強い強制法公理から帰結され,この関係からも興味が持たれている.近年,強制法の手法の開発により,強制法公理の高レベルへの一般化が考察されている.これらの高レベルの強制法公理を考察する上で,本研究の研究成果は重要な知見となる.また,反映原理や強制法公理に限らず,アレフ1やアレフ2のレベルの集合や数学的構造については理解が進んでいるが,より高レベルの集合や数学的構造についての理解は集合論の大きな課題になっている.本研究の成果は,この集合論の課題の克服に貢献するものである.

URL: 

公開日: 2024-01-30  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi