Non-Standard Analysis Without Non-Standard Models(LOGIC AND THE FOUNDATIONS OF MATHEMATICS)

スポンサーリンク

概要

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

著者

• 角田 譲

  College Of Liberal Arts Kobe University

関連論文

• IdealのSaturationの問題について (ブール代数値の解析学と超準解析)
• 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拡大の一条件について (数学基礎論)

スポンサーリンク