Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1776

Preprint Number 1776

Previous Next Preprint server

1776. Alex Savatovsky
Structure theorem for i-minimal expansions of the real additive ordered group

Submission date: 30 April 2020


We prove that for an o-minimal expansion of the real additive group R and a set P ⊆ ℝ of dimension 0 such that is sparse, has definable choice and every definable set has interior or is nowhere dense then, for every definable set X, there is a family {X_t: t in A} definable in R and a set S ⊆ A of dimension 0 such that X = ∪_{t in S}X_t. Moreover, in the d-minimal setting, there is a finite decomposition of X into sets of the previous form such that for every t in S, X_t is relatively open in ∪_{t in S}X_t.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2005.00063: pdf, ps.

Last updated: March 23 2021 09:21 Please send your corrections to: