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