Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

検索結果表示: 1-10 / 15.

前
1
2
次

検索結果:

書誌情報	ファイル
Generic Oracles と Random Oracles について : 特に、相対化BPPの部分クラスたちの分離(数学基礎論およびその応用) 工藤, 正史; 田中, 尚夫 (1995-11) 数理解析研究所講究録, 930: 120-127
KOLMOGOROV COMPLEXITY AND P-PRINTABLE SETS(Metamathematics and it's applications) 今田, 宏司; 篠田, 寿一 (1995-11) 数理解析研究所講究録, 930: 112-119
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: 84-89
On theories having a small Galois group(Metamathematics and it's applications) Ikeda, Koichiro (1995-11) 数理解析研究所講究録, 930: 76-83
モデルの合併について(数学基礎論およびその応用) 若井, 健太郎 (1995-11) 数理解析研究所講究録, 930: 107-111
$\omega^\omega$上のイデアルに関する新しい基礎不変量(数学基礎論およびその応用) 嘉田, 勝 (1995-11) 数理解析研究所講究録, 930: 42-54
REFINEMENT OF CARR AND JOHNSON'S RESULTS ON $\mathcal{P}_k\lambda$-COMBINATORICS(Metamathematics and it's applications) 阿部, 吉弘 (1995-11) 数理解析研究所講究録, 930: 59-67
Shrinkability of Unbounded Sets in the Cohen Extention(Metamathematics and it's applications) 湯浅, 能史 (1995-11) 数理解析研究所講究録, 930: 55-58
スペッカー現象とHawaiian earring(数学基礎論およびその応用) 江田, 勝哉 (1995-11) 数理解析研究所講究録, 930: 20-24