Genericな構造について
スポンサーリンク
概要
- 論文の詳細を見る
可算モデルの個数が1を除き有限となるような単純理論は存在しないという予想がある. この予想はまだ解かれていないが, もしそのような単純理論が存在するならば無限のweightをもつsmallな理論となることが知られている. 本稿では, まずGenericな構造に関する基本的な性質について述べ, 最後に, 無限のweightをもつsmallな単純理論で1-typeがひとつしかないような理論が存在する, という筆者の結果について解説をする.
- 豊田工業高等専門学校の論文
- 2001-11-26
著者
関連論文
- ジェネリック構造の飽和性と安定性 (モデル理論とその代数への応用)
- On superstable generic structures (New developments of independence notions in model theory)
- On generic Kripke structures (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- On random Kripke frames (モデル理論の手法による無限構造の構成法--RIMS共同研究報告集)
- 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)
- 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)