Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
C-minimal theory
open-in-new
<p>In <a href="/facts/Model_theory/vLWVV8sQ">model theory</a>, a branch of <a href="/facts/Mathematical_logic/SaI7Y3wN">mathematical logic</a>, a C-minimal theory is a theory that is "minimal" with respect to a <a href="/facts/Triadic_relation/m5wypU94">ternary relation</a> <i>C</i> with certain properties. <a href="/facts/Algebraically_closed_field/HuVQClok">Algebraically closed fields</a> with a (Krull) <a href="/facts/Valuation_(algebra)/FXadrz5c">valuation</a> are perhaps the most important example. </p><p>This notion was defined in analogy to the <a href="/facts/O-minimal_theory/DoWoxEts">o-minimal theories</a>, which are "minimal" (in the same sense) with respect to a linear order. </p>