書誌情報	ファイル
表紙・目次    (1991-12)   数理解析研究所講究録, 772
THREE APPLICATIONS OF STATIONARY SETS IN TOPOLOGY(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   大田, 春外 (1991-12)   数理解析研究所講究録, 772: 1-9
A Note On Subcontinua of $\beta [ 0 , \infty] - [ 0 , \infty]$(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   Zhu, Jian-Ping (1991-12)   数理解析研究所講究録, 772: 10-19
可算本の直線で覆うことのできない平面上の点集合について(数学基礎論とその応用)   藤田, 博司 (1991-12)   数理解析研究所講究録, 772: 20-26
WEAKLY NORMAL CLOSURES OF FILTERS ON $P_\kappa\lambda$(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   SHIOYA, MASAHIRO (1991-12)   数理解析研究所講究録, 772: 27-37
Weakly normal ideals と the singular cardinal hypothesis(数学基礎論とその応用)   阿部, 吉弘 (1991-12)   数理解析研究所講究録, 772: 38-44
局所有限な安定群について(数学基礎論とその応用)   田中, 克己 (1991-12)   数理解析研究所講究録, 772: 45-48
dopをもつ$\omega$-catagorical $\omega$-stableな理論について(数学基礎論とその応用)   池田, 宏一郎 (1991-12)   数理解析研究所講究録, 772: 49-57
A SUBRECURSIVE INACCESSIBLE ORDINAL(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   Kadota, Noriya (1991-12)   数理解析研究所講究録, 772: 58-71
Number of Proofs for Implicational Formulas(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   Hirokawa, Sachio (1991-12)   数理解析研究所講究録, 772: 72-74
Simplifled Morasses which capture the $\Delta$-systems(MATHEMATICAL LOGIC AND ITS APPLICATIONS)   MIYAMOTO, Tadatoshi (1991-12)   数理解析研究所講究録, 772: 75-83
RCS iteration の一つの定義(数学基礎論とその応用)   古田, 泰之 (1991-12)   数理解析研究所講究録, 772: 84-94
自動証明における自然な三段論法の導入について : (LJ + 排中律)証明への変換アルゴリズムによる(数学基礎論とその応用)   大芝, 猛 (1991-12)   数理解析研究所講究録, 772: 95-109
サブスライス $\mathcal{S}_{3, n}$上の strongly independent な中間論理(数学基礎論とその応用)   増田, 勲 (1991-12)   数理解析研究所講究録, 772: 110-115
L JにCDN-公理を追加してできる中間論理について(数学基礎論とその応用)   佐々木, 克己 (1991-12)   数理解析研究所講究録, 772: 116-125
計算量理論における記述集合論的問題について(数学基礎論とその応用)   田中, 尚夫 (1991-12)   数理解析研究所講究録, 772: 126-137
閉点定理と選択公理(数学基礎論とその応用)   米澤, 佳己 (1991-12)   数理解析研究所講究録, 772: 138-139
アーベル群の$\Delta$-system Lemma と c.c.c.(数学基礎論とその応用)   江田, 勝哉 (1991-12)   数理解析研究所講究録, 772: 140-143