IdealのSaturationの問題について (ブール代数値の解析学と超準解析)
スポンサーリンク
概要
著者
関連論文
- 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拡大の一条件について (数学基礎論)
- 最近の集合論