Cell Decomposition and Dimension Functions in First-Order Topological Structures
Larry Mathews · Proceedings of the London Mathematical Society · 1995
The notion of a cell and that of a cell decomposition has been a central one in the study of certain first-order theories. A cell is a particular kind of definable set. The notion of a cell was first explicitly considered in [8], in the context of the theory of real closed fields. Collins defined a class of cells in this context, and