Kyoto University Research Information Repository: 検索

DSpace

Kyoto University

検索

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

前
1
2
次

検索結果:

書誌情報	ファイル
アーベル群の$\Delta$-system Lemma と c.c.c.(数学基礎論とその応用) 江田, 勝哉 (1991-12) 数理解析研究所講究録, 772: 140-143
WEAKLY NORMAL CLOSURES OF FILTERS ON $P_\kappa\lambda$(MATHEMATICAL LOGIC AND ITS APPLICATIONS) SHIOYA, MASAHIRO (1991-12) 数理解析研究所講究録, 772: 27-37
Simplifled Morasses which capture the $\Delta$-systems(MATHEMATICAL LOGIC AND ITS APPLICATIONS) MIYAMOTO, Tadatoshi (1991-12) 数理解析研究所講究録, 772: 75-83
閉点定理と選択公理(数学基礎論とその応用) 米澤, 佳己 (1991-12) 数理解析研究所講究録, 772: 138-139
可算本の直線で覆うことのできない平面上の点集合について(数学基礎論とその応用) 藤田, 博司 (1991-12) 数理解析研究所講究録, 772: 20-26
Number of Proofs for Implicational Formulas(MATHEMATICAL LOGIC AND ITS APPLICATIONS) Hirokawa, Sachio (1991-12) 数理解析研究所講究録, 772: 72-74
自動証明における自然な三段論法の導入について : (LJ + 排中律)証明への変換アルゴリズムによる(数学基礎論とその応用) 大芝, 猛 (1991-12) 数理解析研究所講究録, 772: 95-109
計算量理論における記述集合論的問題について(数学基礎論とその応用) 田中, 尚夫 (1991-12) 数理解析研究所講究録, 772: 126-137
サブスライス $\mathcal{S}_{3, n}$上の strongly independent な中間論理(数学基礎論とその応用) 増田, 勲 (1991-12) 数理解析研究所講究録, 772: 110-115
L JにCDN-公理を追加してできる中間論理について(数学基礎論とその応用) 佐々木, 克己 (1991-12) 数理解析研究所講究録, 772: 116-125