The last part of this book is devoted to o-minimal structures. As we saw in the past chapters, they are the infinite expansions M=(M, ≤, ...) of linear orderings such that the subsets of M definable in M are as trivial as possible, and restrict to the finite unions of singletons and open intervals, possibly with infinite endpoints ±∞ (equivalently to the finite unions of open, closed, ... intervals in the broad sense including half-lines and the whole M).
KeywordsOpen Interval Real Field Cell Decomposition Finite Union Quantifier Elimination
Unable to display preview. Download preview PDF.