検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
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 |
絞り込み
分類
- 17 410
資料種別