About: C-minimal theory

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. Algebraically closed fields with a (Krull) valuation are perhaps the most important example. This notion was defined in analogy to the o-minimal theories, which are "minimal" (in the same sense) with respect to a linear order.