書誌情報	ファイル
表紙・目次    (1995-11)   数理解析研究所講究録, 930
On uncountable representability of cBa under $\neg$CH(Metamathematics and it's applications)   高橋, 真 (1995-11)   数理解析研究所講究録, 930: 1-9
Bounded Second Order Arithmetic(Metamathematics and it's applications)   安本, 雅洋 (1995-11)   数理解析研究所講究録, 930: 10-19
スペッカー現象とHawaiian earring(数学基礎論およびその応用)   江田, 勝哉 (1995-11)   数理解析研究所講究録, 930: 20-24
Finite Images of Topological Groups(Metamathematics and it's applications)   東川, 雅志 (1995-11)   数理解析研究所講究録, 930: 25-27
Open Coloring Axiomについて(数学基礎論およびその応用)   渕野, 昌 (1995-11)   数理解析研究所講究録, 930: 28-41
$\omega^\omega$上のイデアルに関する新しい基礎不変量(数学基礎論およびその応用)   嘉田, 勝 (1995-11)   数理解析研究所講究録, 930: 42-54
Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications)   湯浅, 能史 (1995-11)   数理解析研究所講究録, 930: 55-58
REFINEMENT OF CARR AND JOHNSON'S RESULTS ON $\mathcal{P}_k\lambda$-COMBINATORICS(Metamathematics and it's applications)   阿部, 吉弘 (1995-11)   数理解析研究所講究録, 930: 59-67
Permutation Groups of Finite Morley Rank(Metamathematics and it's applications)   Nesin, Ali (1995-11)   数理解析研究所講究録, 930: 68-75
On theories having a small Galois group(Metamathematics and it's applications)   Ikeda, Koichiro (1995-11)   数理解析研究所講究録, 930: 76-83
算術化された安定性定理の応用について(数学基礎論およびその応用)   菊池, 誠 (1995-11)   数理解析研究所講究録, 930: 84-89
A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic(Metamathematics and it's applications)   Ikeda, Kazuma (1995-11)   数理解析研究所講究録, 930: 90-106
モデルの合併について(数学基礎論およびその応用)   若井, 健太郎 (1995-11)   数理解析研究所講究録, 930: 107-111
KOLMOGOROV COMPLEXITY AND P-PRINTABLE SETS(Metamathematics and it's applications)   今田, 宏司; 篠田, 寿一 (1995-11)   数理解析研究所講究録, 930: 112-119
Generic Oracles と Random Oracles について : 特に、相対化BPPの部分クラスたちの分離(数学基礎論およびその応用)   工藤, 正史; 田中, 尚夫 (1995-11)   数理解析研究所講究録, 930: 120-127