On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
スポンサーリンク
概要
著者
関連論文
- Comparing Expressiveness of First-Order Modal $\mu$-calculus and First-Order $\rm{CTL}^{\ast}$ (Model Theory and It's Application to Algebra)
- ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用)
- オントロジーに基づくサービスプロセスからの共通構造抽出法
- 形式モデルに基づくディペンダビリティのアセスメントプロセスの設計
- On superstable generic structures (New developments of independence notions in model theory)
- On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- On random Kripke frames (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- GROUP CONFIGURATIONS IN SIMPLE THEORIES (PART. 2) (Interaction between model theory and algebraic geometry)
- 情報システムの構造化仕様のための業務オントロジーの試作
- AN UNSATURATED GENERIC STRUCTURE (Model theoretic aspects of the notion of independence and dimension)
- A note on strictly superstable generic structures (Model theoretic aspects of the notion of independence and dimension)
- 先端技術動向紹介・将来展望(4)組み込みソフトウェア製品の品質評価手法の動向
- A note on strictly superstable genetic structures (Model theoretic aspects of the notion of independence and dimension)
- A note on independence in generic structures (Model theoretic techniques for constructing infinite structures)
- A note on the stability spectrum of generic structures (モデル理論における独立概念と次元--RIMS研究集会報告集)
- モデル理論のランダムグラフへの応用(数学基礎論とその応用)
- Forking in Generic Structures(Study of definability in nonstandard models of arithmetic)
- Generic構造の安定性について (II) (ザリスキー幾何と数論幾何)
- Generic構造の安定性について (I) (ザリスキー幾何と数論幾何)
- Simplicity of Generic Structures (Generic構造とその応用 研究集会報告集)
- Stability of Generic Pseudoplanes (Interaction between model theory and algebraic geometry)
- A Remark on Generic Pseudoplanes (幾何的モデル理論の研究 研究集会報告集)
- Genericな構造について
- A Note on Hrushovski's Pseudoplanes (Model Theory and Its Applications)
- 極小構造について
- On theories having a small Galois group(Metamathematics and it's applications)
- A Note on Minimal Models(Mathematical Logic and Applications'92)
- dopをもつ$\omega$-catagorical $\omega$-stableな理論について(数学基礎論とその応用)
- ジェネリック構造と $NSOP_4$ (体のモデル理論とその応用)
- A note on strictly superstable generic structures (Model theoretic aspects of the notion of independence and dimension)
- Generic structures and model completeness (Model theoretic aspects of the notion of independence and dimension)