Collection home page

Metamathematics and it's applications   16

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