検索


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

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


検索結果表示: 1-10 / 15.
検索結果:
書誌情報ファイル
Dividing and Forking : A Proof of the Equivalence (Model theoretic aspects of the notion of independence and dimension)
  Tsuboi, Akito (2014-04)
  数理解析研究所講究録, 1888: 23-27
file type icon 
QUANTIFIER ELIMINATION IN ADELIC STRUCTURES OVER ALGEBRAICALLY CLOSED VALUED FIELDS (Model theoretic aspects of the notion of independence and dimension)
  YIN, YIMU (2014-04)
  数理解析研究所講究録, 1888: 57-58
file type icon 
Elementary equivalence of rational function fields of many variables (Model theoretic aspects of the notion of independence and dimension)
  Fukuzaki, Kenji (2014-04)
  数理解析研究所講究録, 1888: 93-96
INTRODUCTION TO THE CONSTRUCTION OF ADDITIVE INVARIANTS IN O-MINIMAL VALUED FIELDS (Model theoretic aspects of the notion of independence and dimension)
  Yin, Yimu (2014-04)
  数理解析研究所講究録, 1888: 52-56
file type icon 
The strong continuity in weakly o-minimal structures (Model theoretic aspects of the notion of independence and dimension)
  Tanaka, Hiroshi (2014-04)
  数理解析研究所講究録, 1888: 87-92
file type icon 
Uncountable $p$-adically closed fields with arithmetic parts satisfying PA (Model theoretic aspects of the notion of independence and dimension)
  Yanagawa, Makoto (2014-04)
  数理解析研究所講究録, 1888: 17-22
file type icon 
A proof of the existence of indiscernible trees without Erdos-Rado theorem (Model theoretic aspects of the notion of independence and dimension)
  Kobayashi, Munhehiro (2014-04)
  数理解析研究所講究録, 1888: 9-16
file type icon 
Basic properties of definable isomorphisms of quantum 2-tori $T_q^2(mathbb{C})$ (Model theoretic aspects of the notion of independence and dimension)
  ITAI, Masanori (2014-04)
  数理解析研究所講究録, 1888: 44-51
file type icon 
Some stability condition of atomic types (Model theoretic aspects of the notion of independence and dimension)
  MAESONO, Hisatomo (2014-04)
  数理解析研究所講究録, 1888: 75-82
file type icon 
Graph axiom and model companion (Model theoretic aspects of the notion of independence and dimension)
  Naito, Takehiro (2014-04)
  数理解析研究所講究録, 1888: 83-86
file type icon