C-最小理論

C-minimal_theory
モデル理論の分岐数学ロジック、C-最小の理論がに関して「最小」である理論である三元関係 C一定の特性を有します。（Krull）評価の代数的閉体は、おそらく最も重要な例です。
この概念は、線形順序に関して（同じ意味で）「最小」であるO極小理論と同様に定義されました。

意味
A Cの-relationは、三元関係であるC（X、Y-Zを満たす次公理こと）。X y z [ C （（ X; y z
）。 C （（ X; z y ）。 ] { forall xyz 、[C（x; yz） rightarrow C（x; zy）]、}