The University of Tokyo · Graduate School of Mathematical Sciences · 教授

Research keywords数理論理学・無限組み合わせ論・巨大基数・公理的集合論・強制法公理

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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

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

• Official profile