包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 矢田部 俊介

  神戸大学工学部

関連論文

• 包括原理のある集合論と超準的自然数(自然数の超準モデルにおける1階定義可能性の研究)
• Iterated forcing indestructibility of MAD families (集合論的手法による相対的無矛盾性の証明の周辺)

スポンサーリンク