基礎論関連の報告
スポンサーリンク
概要
著者
関連論文
- (17)専門科目の周辺から見た工学教育(第5セッション 教育システム(講義・演習)(V))
- A counterpart of strong normality(Forcing and Infinitary Combinatorics)
- Variants of subtlety in ρκλ--comparison of ideals defined by combinatorial principles (集合論的手法による相対的無矛盾性の証明の周辺)
- BASIC FORCING NOTIONS IN $P_\kappa\lambda$ (Properties of Ideals on $P_\kappa\lambda$)
- 基礎論関連の報告
- REFINEMENT OF CARR AND JOHNSON'S RESULTS ON $\mathcal{P}_k\lambda$-COMBINATORICS(Metamathematics and it's applications)