坪井 明人 | 筑波大学数理物質科学研究科
スポンサーリンク
概要
関連著者
-
坪井 明人
筑波大学数理物質科学研究科
-
坪井 明人
筑波大学数学系
-
坪井 明人
筑波大学大学院数理物質科学研究科
-
桔梗 宏孝
神戸大学システム情報学研究科
-
田中 広志
阿南工業高等専門学校一般教科
-
平井 武
京都大学名誉教授
-
川上 智博
和歌山大学教育学部数学教室
-
赤平 昌文
筑波大学数学系
-
池田 一磨
聖徳大学人文学部
-
桔梗 宏孝
東海大学理学部情報数理
-
Hrushovski Ehud
The Hebrew University at Jerusalem
-
坪井 明人
University of Tsukuba
-
枡田 幹也
大阪市立大学大学院理学研究科
-
桔梗 宏孝
神戸大学大学院システム情報学研究科
-
竹内 耕太
筑波大学数理物質科学研究科
-
川上 智博
和歌山大学教育学部
-
田中 広志
阿南工業高等専門学校
-
水原 昂廣
山形大学理学部
-
池田 一磨
聖徳大学児童学部
-
森田 茂之
東京大学大学院数理科学研究科
-
平井 武
京都大学
著作論文
- 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について(数学基礎論)
- On generic automorphisms of a tree structure (New developments of independence notions in model theory)
- On Coheir Sequences : Indiscernible Array, Tree and Forest (New developments of independence notions in model theory)
- 局所順序極小構造について (モデル理論における独立概念と次元の研究)
- Low theories and the number of independent partitions (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)
- Trees and Branching Axioms (Model Theory of Fields and its Applications)
- 書評 J.K. Ghosh: Higher Order Asymptotics