検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 初等解析学におけるある種の問題の集合論からの独立について (Boole代数値の解析学と超準解析) 柘植, 利之 (1981-11) 数理解析研究所講究録, 441: 143-158 |  |
| Quantifier"aa"を持つSystem STの完全性定理 (Boole代数値の解析学と超準解析) 角田, 譲 (1981-11) 数理解析研究所講究録, 441: 122-128 | |
| Boole代数値の行列 (Boole代数値の解析学と超準解析) 難波, 完爾 (1981-11) 数理解析研究所講究録, 441: 129-142 | |
| Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析) 本橋, 信義; 白井, 古希男 (1981-11) 数理解析研究所講究録, 441: 43-50 | |
| $E_h$空間の固有値問題 (Boole代数値の解析学と超準解析) 川畑, 茂徳 (1981-11) 数理解析研究所講究録, 441: 51-56 | |
| Feferman集合論の超準化とConservation Theorem (Boole代数値の解析学と超準解析) 河合, 徹 (1981-11) 数理解析研究所講究録, 441: 83-92 | |
| 直観論的理論とトポス (Boole代数値の解析学と超準解析) 上江洲, 忠弘 (1981-11) 数理解析研究所講究録, 441: 93-115 | |
| On the Existence of Cohen Extensions and $\sum_3^1$ Predicates (I) (Boole代数値の解析学と超準解析) YASUDA, YUTAKA (1981-11) 数理解析研究所講究録, 441: 15-26 | |
| Complete Heyting AlgebraのSeparation Axioms (Boole代数値の解析学と超準解析) 江田, 勝哉 (1981-11) 数理解析研究所講究録, 441: 116-121 | |
| Iterated Boolean Powers (Boole代数値の解析学と超準解析) 高橋, 真 (1981-11) 数理解析研究所講究録, 441: 57-65 | |