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