書誌情報 | ファイル |
表紙・目次 (1981-11) 数理解析研究所講究録, 441
| |
Reflection Principle, Transfinite Induction, and Paris, Harrington Principle (Boole代数値の解析学と超準解析) 倉田, 令二朗 (1981-11) 数理解析研究所講究録, 441: 1-14
| |
On the Existence of Cohen Extensions and $\sum_3^1$ Predicates (I) (Boole代数値の解析学と超準解析) YASUDA, YUTAKA (1981-11) 数理解析研究所講究録, 441: 15-26
| |
S. Shelahの結果について (Boole代数値の解析学と超準解析) 金井, 康雄 (1981-11) 数理解析研究所講究録, 441: 27-42
| |
Skolem-Mincの定理の一般化について (Boole代数値の解析学と超準解析) 本橋, 信義; 白井, 古希男 (1981-11) 数理解析研究所講究録, 441: 43-50
| |
$E_h$空間の固有値問題 (Boole代数値の解析学と超準解析) 川畑, 茂徳 (1981-11) 数理解析研究所講究録, 441: 51-56
| |
Iterated Boolean Powers (Boole代数値の解析学と超準解析) 高橋, 真 (1981-11) 数理解析研究所講究録, 441: 57-65
| |
Definability Problems in Metric Spaces : a Summary (Boole代数値の解析学と超準解析) YASUGI, MARIKO (1981-11) 数理解析研究所講究録, 441: 66-82
| |
Feferman集合論の超準化とConservation Theorem (Boole代数値の解析学と超準解析) 河合, 徹 (1981-11) 数理解析研究所講究録, 441: 83-92
| |
直観論的理論とトポス (Boole代数値の解析学と超準解析) 上江洲, 忠弘 (1981-11) 数理解析研究所講究録, 441: 93-115
| |
Complete Heyting AlgebraのSeparation Axioms (Boole代数値の解析学と超準解析) 江田, 勝哉 (1981-11) 数理解析研究所講究録, 441: 116-121
| |
Quantifier"aa"を持つSystem STの完全性定理 (Boole代数値の解析学と超準解析) 角田, 譲 (1981-11) 数理解析研究所講究録, 441: 122-128
| |
Boole代数値の行列 (Boole代数値の解析学と超準解析) 難波, 完爾 (1981-11) 数理解析研究所講究録, 441: 129-142
| |
初等解析学におけるある種の問題の集合論からの独立について (Boole代数値の解析学と超準解析) 柘植, 利之 (1981-11) 数理解析研究所講究録, 441: 143-158
| |