Definable Open Sets As Finite Unions of Definable Open Cells

作者：Andrews Simon^*

来源：Notre Dame Journal of Formal Logic, 2010, 51(2): 247-251.

DOI：10.1215/00294527-2010-015

• o-minimal
• open cell property

We introduce CE-cell decomposition, a modified version of the usual o-minimal cell decomposition. We show that if an o-minimal structure.R admits CE-cell decomposition then any definable open set in R may be expressed as a finite union of definable open cells. The dense linear ordering and linear ominimal expansions of ordered abelian groups are examples of such structures.

• 出版日期2010