田中 広志 | 岡山大学大学院自然科学研究科
スポンサーリンク
概要
関連著者
著作論文
- 弱順序極小な実閉体上での関数の微分の definability について(モデル理論における独立概念と次元)
- 非付値的弱順序極小な実閉体上の関数の微分可能性について(体のモデル理論とその応用)
- 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)