コレクションホームページ
0480 数学基礎論
17
0480 数学基礎論
17
(http://hdl.handle.net/2433/101532)
ブラウズ
文献一覧(目次の昇順ソート): 1 - 17 / 17
書誌情報 | ファイル |
---|---|
表紙・目次 (1983-02) 数理解析研究所講究録, 480 | |
Strongly compact cardinals and the fixed points of elementary embeddings 阿部, 吉弘 (1983-02) 数理解析研究所講究録, 480: 1-11 | |
代数の無限積と可測基数(数学基礎論) 江田, 勝哉 (1983-02) 数理解析研究所講究録, 480: 12-19 | |
Souslin treeの積について(数学基礎論) 花沢, 正純 (1983-02) 数理解析研究所講究録, 480: 20-32 | |
構成的数学とプログラム合成(数学基礎論) 林, 晋 (1983-02) 数理解析研究所講究録, 480: 33-52 | |
Reflection Principles via Filter Quantifier 角田, 譲 (1983-02) 数理解析研究所講究録, 480: 53-63 | |
Some statement which implies $\exists$ Ramsey ufs on $\omega$ 加茂, 静夫 (1983-02) 数理解析研究所講究録, 480: 64-86 | |
Grothendieck Toposへの入門試論(数学基礎論) 倉田, 令二朗 (1983-02) 数理解析研究所講究録, 480: 87-108 | |
ボレル集合の単調列について(数学基礎論) 難波, 完爾 (1983-02) 数理解析研究所講究録, 480: 109-129 | |
順序半群によるセマンティクス(数学基礎論) 小野, 寛晰; 古森, 雄一 (1983-02) 数理解析研究所講究録, 480: 130-141 | |
Combinatorial Set Theory and its Applications to Topology Tall, Franklin D. (1983-02) 数理解析研究所講究録, 480: 142-157 | |
PAのM-recursively Saturated Modelについて(数学基礎論) 坪井, 明人 (1983-02) 数理解析研究所講究録, 480: 158-177 | |
On the Axiom of Multiple Choice Tsukada, Nobutaka (1983-02) 数理解析研究所講究録, 480: 178-191 | |
Smorynskiの問題について(数学基礎論) 上江州, 忠弘 (1983-02) 数理解析研究所講究録, 480: 192-203 | |
On the Uniformization of Analytic Sets with countable sections and Related Results YASUDA, Yutaka (1983-02) 数理解析研究所講究録, 480: 204-208 | |
DEFINABILITY IN L$^p$-SPACES YASUGI, MARIKO (1983-02) 数理解析研究所講究録, 480: 209-229 | |
Nonstandard arithmetic of function fields over H-convex subfields of $^\ast \mathbb{Q}$ 安本, 雅洋 (1983-02) 数理解析研究所講究録, 480: 230-236 |
文献一覧(目次の昇順ソート): 1 - 17 / 17