Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)
スポンサーリンク
概要
著者
関連論文
- 弱順序極小構造上での連結性について (変換群論の新たな展開)
- EQUIVARIANT DEFINABLE MORSE FUNCTIONS ON DEFINABLE $C^{\infty}G$ MANIFOLDS (New developments of independence notions in model theory)
- 弱順序極小な実閉体上での関数の微分の definability について(モデル理論における独立概念と次元)
- 局所順序極小構造について (モデル理論における独立概念と次元の研究)
- 生物の行動を探る道具としてのカオス・フラクタル理論 : 魚行動のカオス解析
- 弱順序極小実閉体上の$C^r$セル分解(特異点論とオーミニマルカテゴリー)
- 非付値的弱順序極小な実閉体上の関数の微分可能性について(体のモデル理論とその応用)
- 局所順序極小構造について (Model theoretic aspects of the notion of independence and dimension)
- Quantifier elimination of the products of ordered abelian groups(Study of definability in nonstandard models of arithmetic)
- Weakly o-minimal structures(Study of definability in nonstandard models of arithmetic)
- Weakly o-minimal algebraic structures (Zariski Geometry and Arithmetic Geometry)
- Gap Number of Groups (Generic構造とその応用 研究集会報告集)
- 標数0の微分閉体のモデル理論 (モデル理論と代数幾何の交流)