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