Quantifier"aa"を持つSystem STの完全性定理 (Boole代数値の解析学と超準解析)

スポンサーリンク

概要

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

著者

• 角田 譲

  神戸大学教養部

• 角田 譲

  College Of Liberal Arts Kobe University

関連論文

• IdealのSaturationの問題について (ブール代数値の解析学と超準解析)
• 抽象設計論に基づいたソフトウェア設計に関する研究
• Boole値設計論
• Non-Standard Analysis Without Non-Standard Models(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)
• Reflection Principles via Filter Quantifier
• Quantifier"aa"を持つSystem STの完全性定理 (Boole代数値の解析学と超準解析)
• 正規イデアルのPrecipitousnessを保持するCohen拡大の一条件について (数学基礎論)
• 最近の集合論

スポンサーリンク