Strong Partition Cardinal と Spector Forcing(公理的集合論と一般帰納関数論)

スポンサーリンク

概要

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

著者

• 佐藤 洋祐

  東京理科大学理学部情報数理科学科

• 佐藤 洋祐

  ICOT

関連論文

• Discrete Comprehensive Grobner Basesと計算比較 (Computer Algebra : Design of Algorithms, Implementations and Applications)
• Stability of Grobner bases and ACGB--revised (Computer Algebra-Design of Algorithms, Implementations and Applications研究集会報告集)
• 10年大昔
• Strong Partition Cardinal と Spector Forcing(公理的集合論と一般帰納関数論)

スポンサーリンク