1. Kyoto University Research Information Repository

検索


適用済条件:
検索をやり直す
検索条件の追加:

検索条件を追加することで検索結果を絞り込むことができます。

 | 
検索結果表示: 1-10 / 10.
  • 前
  • 1
  • 次
検索結果:
書誌情報ファイル
表紙・目次
   (2006-09)
  数理解析研究所講究録, 1515
file type icon 
体のモデル理論とその応用(体のモデル理論とその応用)
  板井, 昌典 (2006-09)
  数理解析研究所講究録, 1515: 1-24
file type icon 
固有デファイナブル作用について(体のモデル理論とその応用)
  川上, 智博 (2006-09)
  数理解析研究所講究録, 1515: 34-39
file type icon 
非付値的弱順序極小な実閉体上の関数の微分可能性について(体のモデル理論とその応用)
  田中, 広志; 川上, 智博 (2006-09)
  数理解析研究所講究録, 1515: 25-33
file type icon 
Integers in $p$-adically closed fields are definable(Model Theory of fields and its applications)
  Itai, Masanori; Ochi, Yoshihiro (2006-09)
  数理解析研究所講究録, 1515: 50-51
file type icon 
Cell 分解による $p$ 進体の量化記号消去(体のモデル理論とその応用)
  井深, 真悟 (2006-09)
  数理解析研究所講究録, 1515: 72-80
file type icon 
Julia Robinson の formula について(体のモデル理論とその応用)
  福崎, 賢治 (2006-09)
  数理解析研究所講究録, 1515: 40-49
file type icon 
Generic な曲線の極限構造について(体のモデル理論とその応用)
  米田, 郁生 (2006-09)
  数理解析研究所講究録, 1515: 63-71
file type icon 
FACTS ON PAC FIELDS AND STABLE FIELDS(Model Theory of fields and its applications)
  YONEDA, IKUO (2006-09)
  数理解析研究所講究録, 1515: 52-62
file type icon 
ファイバーバンドルについて(体のモデル理論とその応用)
  三善, 健市 (2006-09)
  数理解析研究所講究録, 1515: 81-85
file type icon 

絞り込み