局所順序極小構造について (モデル理論における独立概念と次元の研究)
スポンサーリンク
概要
著者
-
田中 広志
阿南工業高等専門学校一般教科
-
川上 智博
和歌山大学教育学部数学教室
-
坪井 明人
筑波大学数理物質科学研究科
-
竹内 耕太
筑波大学数理物質科学研究科
-
川上 智博
和歌山大学教育学部
-
田中 広志
阿南工業高等専門学校
-
坪井 明人
筑波大学数学系
関連論文
- 弱順序極小構造上での連結性について (変換群論の新たな展開)
- 実閉体の順序極小拡張におけるデファイナブルファイバー束について (モデル理論とその代数への応用)
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- 高校生に対する最速降下曲線についての出張授業について
- R_expの順序極小拡張上の有限アーベル群作用をもったデファイナブルC^∞多様体の相対性質について
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- Independence in generic structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- タイプの排除と順序型(モデル理論における独立概念と次元)
- A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
- 理論の単純性について : n-simplicity に関する考察(自然数の超準モデルにおける1階定義可能性の研究)
- PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
- On the existence of a Morley sequence with a certain property (Generic structures and their applications)
- 有限性を持つ理論について (モデル理論と代数幾何の交流)
- PAPAをもたない理論 (モデル理論と代数幾何の交流)
- 書評 田中一之:数の体系と超準モデル
- Constructing Saturated Quasi-minimal Structures (Model theory via geometric approach)
- 理論の融合について (モデル理論とその応用)
- 最近のモデル理論について
- Large indiscernible sets of a structure(Mathematical Logic and Applications'92)
- Superstableな環と結合律(数学基礎論およびその応用)
- 数理論理学と基礎論 (バ-クレ-・コングレス) -- (部門別報告)
- ON THEORIES HAVING A FINITE NUMBER OF NON-ISOMORPHIC COUNTABLE MODELS(Foundational Study and Its Applications)
- PAのM-recursively Saturated Modelについて(数学基礎論)
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
- Large indiscernible sets of a structure(Mathematical Logic and Applications'92)
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
- Large indiscernible sets of a structure(Mathematical Logic and Applications'92)
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- A Generalization of Morley's Omitting Types Theorem(Mathematical Logic and its Applications)
- Large indiscernible sets of a structure(Mathematical Logic and Applications'92)
- EQUIVARIANT DEFINABLE MORSE FUNCTIONS ON DEFINABLE $C^{\infty}G$ MANIFOLDS (New developments of independence notions in model theory)
- On generic automorphisms of a tree structure (New developments of independence notions in model theory)
- Completeness and The Number of Types For Infinitary Logic (New developments of independence notions in model theory)
- On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory)
- 高校生に対する最速降下曲線についての出張授業について
- 微積分学教育における和歌山大学と同志社大学の実践例について
- 局所デファイナブルファイバー束
- 実閉体の順序極小拡張上のデファイナブルファイバー束
- 実閉体上へのBorsuk-Ulam型定理の拡張について (変換群論の新たな展開)
- The Smith homology and a generalized Borsuk-Ulam theorem (変換群論の新たな展開--RIMS研究集会報告集)
- デファイナブル$C^rG$多様体とその部分多様体の同時コンパクト化について (弱順序極小構造上での実代数幾何の研究)
- デファイナブルC^rG多様体の相対性質について
- 高校生に対する正多面体についての出張授業について
- デファイナブル$C^2$多様体とそのデファイナブル$C^2$部分多様体の微分可能性の同時格上げについて (変換群の幾何とその周辺)
- コンパクト底空間をもったデファイナブルGファイバー束 (モデル理論の手法による無限構造の構成法)
- デファイナブルC^r群と固有デファイナブル作用
- デファイナブルGファイブレーション
- 同変 Morse 理論のデファイナブルカテゴリーへの一般化(Borsuk-Ulam 型定理の変換群論的アプローチ)
- デファイナブルG ファイバー空間(さまざまな体における定義可能集合の構造の研究)
- 強デファイナブル $C^rG$ ベクトル束(変換群の理論とその応用)
- デファイナブル相対被覆ホモトピー定理と被覆写像柱予想(モデル理論における独立概念と次元)
- 弱順序極小な実閉体上での関数の微分の definability について(モデル理論における独立概念と次元)
- 実閉体上のデファイナブル$G$集合のデファイナブル強変位$G$レトラクトについて (変換群と手術理論)
- 弱順序極小構造とdefinable集合の完備化 (弱順序極小構造上での実代数幾何の研究)
- A transverse condition of definable CrG maps
- 実閉体上のデファイナブルG集合のデファイナブル強Gレトラクトについて
- デファイナブル$C^rG$ 写像の横断的条件について (モデル理論における独立概念と次元の研究)
- 局所順序極小構造について (モデル理論における独立概念と次元の研究)
- Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
- A generalization of Shelah's omitting types theorem (Model theoretic aspects of the notion of independence and dimension)
- 生物の行動を探る道具としてのカオス・フラクタル理論 : 魚行動のカオス解析
- Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
- 弱順序極小実閉体上の$C^r$セル分解(特異点論とオーミニマルカテゴリー)
- 順序極小構造上のデファイナブルG集合のデファイナブルG CW 複体構造の存在とその応用(変換群論の手法)
- 固有デファイナブル作用について(体のモデル理論とその応用)
- 非付値的弱順序極小な実閉体上の関数の微分可能性について(体のモデル理論とその応用)
- 部分的デファイナブル$G$自明性について(自然数の超準モデルにおける1階定義可能性の研究)
- デファイナブル$C^r$多様体のアフィン性について (ザリスキー幾何と数論幾何)
- オーミニマル構造におけるホイットニー型定理について (変換群論の新たな展開)
- 同慶デファイナブルCド近似定理とG不変デファイナブルCド関数の同慶デファイナブルC帽明性
- コンパクト化可能多様休の実代数多様休構造について
- 和歌山大学教育学部における幾何学教育についての考察
- DEFINABLE $C^rG$ TRIVIALITY OF $G$ INVARIANT PROPER DEFINABLE $C^r$ MAPS (Transformation Group Theory and Surgery)
- DEFINABLE $G$-FIBER BUNDLES AND DEFINABLE $C^rG$-FIBER BUNDLES (Topological Transformation Groups and Related Topics)
- A generalization of Shelah's omitting types theorem (Model theoretic aspects of the notion of independence and dimension)
- 局所順序極小構造について (Model theoretic aspects of the notion of independence and dimension)
- DEFINABLE FIBER BUNDLES AND AFFINENESS OF DEFINABLE $C^r$ MANIFOLDS (Transformation groups from new points of view)
- 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の微分閉体のモデル理論 (モデル理論と代数幾何の交流)
- 実閉体上のデファイナブルモース関数について
- デファイナブルC^r群上の代表デファイナブルC^r関数について
- 弱順序極小構造とdefinably connectedについて (モデル理論の手法による無限構造の構成法)
- 弱順序極小構造上での一変数関数の単調性定理について(さまざまな体における定義可能集合の構造の研究)
- 実閉体の順序極小構造上の構造定理について (体のモデル理論とその応用)
- Trees and Branching Axioms (Model Theory of Fields and its Applications)
- 高校生に対する指数関数についての出張授業
- On the existence of indiscernible structures (Model Theory of Fields and its Applications)
- 順序極小構造上のデファイナブルモース関数について (変換群の幾何の展開)
- 書評 J.K. Ghosh: Higher Order Asymptotics
- Piecewise definable C^rG triviality and definable C^rG compactification
- 数理論理学と基礎論 (バ-クレ-・コングレス) -- (部門別報告)
- デファイナブル障害理論 (変換群のトポロジーとその周辺)
- デファイナブルスライス