Variants of subtlety in ρκλ--comparison of ideals defined by combinatorial principles (集合論的手法による相対的無矛盾性の証明の周辺)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 阿部 吉弘

  神奈川大学工学部

関連論文

• (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)

スポンサーリンク