Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 14.

前
1
2
次

検索結果:

書誌情報	ファイル
Kripkeモデルの基底としての$\mathbb{R}$ と $\mathbb{Q}$(数学基礎論) 高野, 道夫 (1986-04) 数理解析研究所講究録, 588: 162-174
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
アーベル群の$\mathbb{Z}$-双対について(数学基礎論) 江田, 勝哉 (1986-04) 数理解析研究所講究録, 588: 9-19
Ultrafilters over P$\kappa \lambda$(Logic and the Foundations of Mathematics) 阿部, 吉弘 (1986-04) 数理解析研究所講究録, 588: 1-8
表紙・目次 (1986-04) 数理解析研究所講究録, 588
V$^{(\mathrm{B})}$ の Banach 空間論とその応用(数学基礎論) 小澤, 正直 (1986-04) 数理解析研究所講究録, 588: 136-148
Some results on reflection principles in fragments of Peano arithmetic(Logic and the Foundations of Mathematics) Ono, Hiroakira (1986-04) 数理解析研究所講究録, 588: 128-135
Reflexion Principle on Second order Arithmetic(Logic and the Foundations of Mathematics) 倉田, 令二朗 (1986-04) 数理解析研究所講究録, 588: 25-28
双対空間と算法(数学基礎論) 難波, 完爾 (1986-04) 数理解析研究所講究録, 588: 108-127
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