PAのモデルの中で定義可能な非標準モデル(自然数の超準モデルにおける1階定義可能性の研究)
スポンサーリンク
概要
著者
関連論文
- 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)
- 局所順序極小構造について (モデル理論における独立概念と次元の研究)
- Low theories and the number of independent partitions (Model theoretic aspects of the notion of independence and dimension)
- Normal forms for derivations in Arai's AI$_\xi^-$
- A normal form for arithmetical derivations implying the $\omega$-consistency of arithmetic(Metamathematics and it's applications)
- 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
- On Harrington's conservation theorem (Model Theory of Fields and its Applications)
- 数理論理学と基礎論 (バ-クレ-・コングレス) -- (部門別報告)
- 教育実習を支援するデータベースの構築と運営 -保育所,幼稚園実習を主にして-