Cell decompositions of \(C\)-minimal structures (Q1315832): Difference between revisions

\(C\)-minimality is a variant of \(o\)-minimality in which structures carry, instead of a linear ordering, a ternary relation interpretable in a natural way on a set of maximal chains of a tree. This notion is discussed, a cell-decomposition theorem for \(C\)-minimal structures is proved, and a notion of dimension is introduced. It is shown that \(C\)- minimal fields are precisely valued algebraically closed fields. It is also shown that, if certain specific `bad' functions are not definable, then algebraic closure has the exchange property, and for definable sets dimension coincides with the rank obtained from algebraic closure.