宮元 忠敏 | 南山大学数理情報学部
スポンサーリンク
概要
関連著者
著作論文
- A maximal forcing axiom compatible with weak club guessing (Combinatorial and Descriptive Set Theory)
- Club guessing on the least uncountable cardinal and CH (Axiomatic Set Theory and Set-theoretic Topology)
- A weak reflection compatible with tail club guessing via semiproper iteration (実数の集合論と反復強制法の相互関係--RIMS研究集会報告集)
- A Strong Form of $\psi_\mathrm{AC}$(Forcing and Infinitary Combinatorics)
- Weak Kurepa trees and weak diamonds (Forcing Method and Large Cardinal Axioms)
- BSPFA Combined with One Measurable Cardinal (集合論的手法による相対的無矛盾性の証明の周辺)
- Iterated Forcing with ωω-bounding and Semiproper Preorders (公理的集合論)