| 書誌情報 | ファイル |
|---|
表紙・目次
(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
| |
