On generic automorphisms of a tree structure (New developments of independence notions in model theory)
スポンサーリンク
概要
著者
関連論文
- Algebraic types and the number of countable models (Model Theory and It's Application to Algebra)
- 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)
- 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)
- ベクトル空間のGeneric 自己同型(モデル理論における独立概念と次元)
- AN UNSATURATED GENERIC STRUCTURE (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)
- 差分パズル
- モデルと構造(10)複素数の初等理論
- Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
- On the Amalgamation Property for Automorphisms (Model theoretic techniques for constructing infinite structures)
- On Predimensions of Finite Structures (Zariski Geometry and Arithmetic Geometry)
- On Generic Predicates and Automorphisms (Generic構造とその応用 研究集会報告集)
- ACFAとManin-Mumford予想 (幾何学的モデル理論の研究)
- 複素多様体のモデル理論 (モデル理論とその応用)
- 不安定構造のGeneric自己同型写像 (モデル理論とその応用)
- モデルと構造 第12回完 モデルと要素の種類
- モデルと構造(第11回)可算範疇的な理論
- モデルと構造 第9回 実数の初等理論 2
- モデルと構造 第8回 実数の初等理論 1
- モデルと構造 第7回 稠密全順序構造
- モデルと構造 第6回 コンパクト性定理 2
- モデルと構造 第5回 コンパクト性定理-1-
- モデルと構造-4-自然数の順序の初等理論
- Trees and Branching Axioms (Model Theory of Fields and its Applications)
- モデルと構造-3-整列順序構造
- モデルと構造 第2回 論理式と解釈
- モデルと構造-1-言語と構造
- 書評 J.K. Ghosh: Higher Order Asymptotics
- 自己同型写像のモデル理論