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