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

2020 年度 実施状況報告書

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

研究課題

研究課題/領域番号 18K03397
研究機関神戸大学

研究代表者

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

研究期間 (年度) 2018-04-01 – 2022-03-31
キーワード公理的集合論 / 反映原理
研究実績の概要

2019年度には,3以上の n に対して,aleph_n レベルの定常性反映原理が基数算術に及ぼす影響を詳しく調べたが,2020年度は,aleph_n レベルの Fodor 型反映原理,ゲーム反映原理,Rado 仮説が基数算術に及ぼす影響について詳しく研究した.
まず,aleph_n レベルのゲーム反映原理は,aleph_(n-2) の冪集合の濃度が aleph_n 以下になることや,特異基数仮説などを帰結し,基数算術に強い影響を及ぼすことを明らかにした.一方で,3以上の n に対しては,aleph_n レベルの Fodor 型反映原理は,どのような正則基数の冪集合の濃度にも上限を与えず,また特異基数仮説も導かないことを明らかにした.これは,aleph_2 レベルの Fodor 型反映原理からは特異基数仮説が帰結されることと対照的である.
aleph_2 レベルの Rado 仮設からは,連続体濃度が aleph_2 以下になることや特異基数仮説が帰結されるが,3以上の n に対して,aleph_n レベルの Rado 仮説は,定常性反映原理を IA(uncoutable) に制限したものや Fodor 型反映原理と同様に,基数算術にほとんど影響を及ぼさないことを予想している.この予想の証明に向けて,Rado 仮説と木の特別性の諸性質を調べた.これにより,aleph_3 レベルの Rado 仮説がコーエン実数を一つ付け加える強制法で保存されることが明らかになった.また,木の aleph_m-特別性が aleph_m-鎖条件を満たす強制法で保存されることも分かった.これらの事実及びその証明法は,Rado 仮説についての上記の予想を証明する上で有用になることが予想される.

現在までの達成度 (区分)
現在までの達成度 (区分)

3: やや遅れている

理由

2020年度には,aleph_n レベルの Rado 仮説が基数算術に及ぼす影響を明らかにすることも目標としていたが,この目標を完遂することはできず,部分的な結果を得るにとどまった.また,aleph_n レベルのゲーム反映原理は基数算術に強い影響を及ぼすことが明らかになったが,基数算術に強い影響を及ぼす他の反映原理の発見には至らなかった.
2020年度は新型コロナウイルスの感染拡大で,国内外の研究集会がすべてキャンセルかオンラインでの実施になり,多くの研究者と顔を合わせて活発な議論や意見交換をすることができなかった.これが本研究がやや遅れた一因であると考えている.

今後の研究の推進方策

2021年度は,2020年度に得られた部分的結果やその証明方法を応用して,aleph_n レベルの Rado 仮説が基数算術に及ぼす影響を明らかにし,さらに aleph_n レベルに反映原理で基数算術に強い影響を持つものを模索する.
2021年度も2020年度と同様に,研究集会の多くはオンラインで実施され,また国内外の研究者を訪問・招聘することはできないことが予想される.一方で,オンラインセミナーやオンライン研究集会には参加しやすい環境が整いつつあるので,これらに積極的に参加し,多くの研究者と議論や意見交換をする.

次年度使用額が生じた理由

2020年度は,新型コロナウイルスの感染拡大で,国内外の研究集会が全てキャンセルまたはオンラインでの実施となり,研究者訪問・招聘もできなかった.研究集会参加や研究者訪問・招聘のための旅費が使用されなかった.
2021年度も研究集会がオンラインで実施され,研究者訪問・招聘も難しいことが予想される.オンライン集会参加やオンラインでの議論を円滑に進めるための機材等を購入し,多くの研究者と議論・意見交換をするとともに,得られた研究成果を発信していく.

  • 研究成果

    (3件)

すべて 2021 2020

すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (1件) (うち国際学会 1件)

  • [雑誌論文] Strong downward L?wenheim?Skolem theorems for stationary logics, II: reflection down to the continuum2021

    • 著者名/発表者名
      Fuchino Sakae、Ottenbreit Maschio Rodrigues Andre、Sakai Hiroshi
    • 雑誌名

      Archive for Mathematical Logic

      巻: 60 ページ: 495~523

    • DOI

      10.1007/s00153-020-00751-6

    • 査読あり
  • [雑誌論文] Strong downward Lowenheim Skolem theorems for stationary logics, I2020

    • 著者名/発表者名
      Fuchino Sakae、Rodrigues Andre Ottenbreit Maschio、Sakai Hiroshi
    • 雑誌名

      Archive for Mathematical Logic

      巻: 60 ページ: 17~47

    • DOI

      10.1007/s00153-020-00730-x

    • 査読あり
  • [学会発表] Higher stationary reflection and cardinal arithmetic2020

    • 著者名/発表者名
      酒井 拓史
    • 学会等名
      RIMS Set Theory Workshop 2020: Reals and Topology
    • 国際学会

URL: 

公開日: 2021-12-27  

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

Powered by NII kakenhi