C-minimal theory: Difference between revisions

Revision as of 18:20, 4 May 2008

Revision as of 19:24, 9 May 2008

Line 1:

In [[model theory]], a branch of [[mathematical logic]], a '''C-minimal theory''' is a theory that is "minimal" with respect to a ternary relation ''C'' with certain properties. TheAlgebraically theoriesclosed offields thewith [[p-adica number|''p''-adic(Krull) number fields]] '''Q'''_''p''valuation are perhaps the most important example.

This notion was defined in analogy to the [[o-minimal theory|o-minimal theories]], which are "minimal" (in the same sense) with respect to a linear order.

==Definition==