Collection home page

Mathematical Logic and its Applications   18
(http://hdl.handle.net/2433/81876)

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