書誌情報 | ファイル |
表紙・目次 (1986-04) 数理解析研究所講究録, 588
| |
Ultrafilters over P$\kappa \lambda$(Logic and the Foundations of Mathematics) 阿部, 吉弘 (1986-04) 数理解析研究所講究録, 588: 1-8
| |
アーベル群の$\mathbb{Z}$-双対について(数学基礎論) 江田, 勝哉 (1986-04) 数理解析研究所講究録, 588: 9-19
| |
The statement AN is equivalent to the statement n$(\beta \omega \backslash \omega)$ > c(Logic and the Foundations of Mathematics) Kamo, Shizuo (1986-04) 数理解析研究所講究録, 588: 20-24
| |
Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics) 倉田, 令二朗 (1986-04) 数理解析研究所講究録, 588: 25-28
| |
ON THE MEANINGS OF THE LOGICAL CONSTANTS AND THE JUSTIFICATIONS OF THE LOGICAL LAWS(Logic and the Foundations of Mathematics) Martin-Lof, Per (1986-04) 数理解析研究所講究録, 588: 29-107
| |
双対空間と算法(数学基礎論) 難波, 完爾 (1986-04) 数理解析研究所講究録, 588: 108-127
| |
Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics) Ono, Hiroakira (1986-04) 数理解析研究所講究録, 588: 128-135
| |
V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論) 小澤, 正直 (1986-04) 数理解析研究所講究録, 588: 136-148
| |
THREE THEOREMS ON THE COMPUTABILITY OF LINEAR OPERATORS THEIR EIGENVALUES AND EIGENVECTORS(Logic and the Foundations of Mathematics) Pour-El, Marian Boykan; Richards, Ian (1986-04) 数理解析研究所講究録, 588: 149-161
| |
Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論) 高野, 道夫 (1986-04) 数理解析研究所講究録, 588: 162-174
| |
Hyper-principle and the functional structure of ordinal diagrams(Logic and the Foundations of Mathematics) Yasugi, Mariko (1986-04) 数理解析研究所講究録, 588: 175-189
| |
On the Uniformization of Analytic Sets with countable sections : Abstract(Logic and the Foundations of Mathematics) YASUDA, Yutaka (1986-04) 数理解析研究所講究録, 588: 190-192
| |
Hilbert irreducibility sequences and nonstandard arithmetic(Logic and the Foundations of Mathematics) Yasumoto, Masahiro (1986-04) 数理解析研究所講究録, 588: 193-195
| |