Kyoto University Research Information Repository: 検索

検索

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

検索結果:

書誌情報	ファイル
Nonstandard arithmetic of function fields over H-convex subfields of $^\ast \mathbb{Q}$ 安本, 雅洋 (1983-02) 数理解析研究所講究録, 480: 230-236
Smorynskiの問題について(数学基礎論) 上江州, 忠弘 (1983-02) 数理解析研究所講究録, 480: 192-203
On the Axiom of Multiple Choice Tsukada, Nobutaka (1983-02) 数理解析研究所講究録, 480: 178-191
DEFINABILITY IN L$^p$-SPACES YASUGI, MARIKO (1983-02) 数理解析研究所講究録, 480: 209-229
On the Uniformization of Analytic Sets with countable sections and Related Results YASUDA, Yutaka (1983-02) 数理解析研究所講究録, 480: 204-208
順序半群によるセマンティクス(数学基礎論) 小野, 寛晰; 古森, 雄一 (1983-02) 数理解析研究所講究録, 480: 130-141
ボレル集合の単調列について(数学基礎論) 難波, 完爾 (1983-02) 数理解析研究所講究録, 480: 109-129
Grothendieck Toposへの入門試論(数学基礎論) 倉田, 令二朗 (1983-02) 数理解析研究所講究録, 480: 87-108
PAのM-recursively Saturated Modelについて(数学基礎論) 坪井, 明人 (1983-02) 数理解析研究所講究録, 480: 158-177
構成的数学とプログラム合成(数学基礎論) 林, 晋 (1983-02) 数理解析研究所講究録, 480: 33-52