Paris-Harringtonの結果について (数学基礎論)

スポンサーリンク

概要

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

著者

• 大浜 茂生

  豊田工業高等専門学校一般学科

関連論文

• S2°=P2°{|-□A⇒|-A}
• Paris-Harringtonの結果について (数学基礎論)
• 実数上の関数と述語のある類について

スポンサーリンク