東京大学 · 数理科学研究科 · 教授

研究キーワード数理論理学・無限組み合わせ論・巨大基数・公理的集合論・強制法公理

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• SEPARATING SUBVERSION FORCING AXIOMS
• Strong downward Löwenheim–Skolem theorems for stationary logics, I
• Simple proofs of from reflection principles without using better scales
• On proofs of the incompleteness theorems based on Berry's paradox by Vopenka, Chaitin, and Boolos

• 反映原理の高濃度への一般化と基数算術
• 非可算集合上のイデアルについての記述集合論的観点からの研究
• 非可算無限グラフの彩色に関する反映原理について
• 小さな非可算基数に関する反映原理について

• 公式プロフィール