数理論理学と基礎論 (バ-クレ-・コングレス<特集>) -- (部門別報告)

スポンサーリンク

概要

• 論文の詳細を見る
• 日本数学会の論文

著者

• 坪井 明人

  筑波大学数理物質科学研究科

関連論文

• 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)
• 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

もっと見る 閉じる

スポンサーリンク