In an o-minimal structure, which of the following correctly describes a definable subset of M²?
AIt can be any measurable set, since o-minimality only constrains one-variable sets
BIt must be a finite union of open rectangles
CIt can be partitioned into finitely many cells, which are smooth sets built inductively from one-dimensional pieces
DIt is always a semialgebraic set, regardless of the structure
O-minimality is defined only for one-variable sets, but the cell decomposition theorem extends tameness to all dimensions: every definable subset of Mⁿ partitions into finitely many cells built inductively from one-dimensional pieces. Option A is the key misconception — the one-variable restriction does NOT mean higher-dimensional sets can be wild; it propagates to all dimensions. Option D is wrong because o-minimality is a general condition; semialgebraicity is a specific consequence in the real field, not a general feature.
Question 2 Multiple Choice
Which claim about o-minimal structures is correct?
AO-minimal structures are stable, since they admit quantifier elimination
BO-minimal structures are generally unstable but achieve geometric control comparable to stability through the order
CO-minimality and stability are equivalent tameness conditions with different names
DThe real exponential function exp(x) cannot appear in an o-minimal structure because it is transcendental
O-minimal structures are generally unstable — they have a linear order, which in stability theory is a source of wildness. But o-minimality achieves a parallel form of tameness through geometric rather than combinatorial means. Wilkie's theorem (1996) shows (ℝ, <, +, ·, exp) is o-minimal, refuting option D. Options A and C conflate o-minimality with stability; the two theories are distinct and complementary.
Question 3 True / False
In an o-minimal structure, a definable subset of M¹ can be an infinite discrete set (e.g., the integers within ℝ).
TTrue
FFalse
Answer: False
By definition, every definable subset of M in an o-minimal structure is a finite union of open intervals and isolated points. An infinite discrete set like the integers has infinitely many isolated points, violating the finiteness condition. This finiteness requirement is precisely the tameness condition o-minimality enforces — no Cantor sets, no infinite discrete sets, just finitely many intervals and points.
Question 4 True / False
The real closed field (ℝ, <, +, ·) is o-minimal because every semialgebraic subset of ℝ is a finite union of intervals and points.
TTrue
FFalse
Answer: True
By the Tarski-Seidenberg theorem (quantifier elimination for real closed fields), every definable set in (ℝ, <, +, ·) is semialgebraic — defined by polynomial inequalities. A semialgebraic subset of ℝ always has finitely many connected components, each an interval or isolated point. This verifies the o-minimality condition, making the real closed field the canonical o-minimal example.
Question 5 Short Answer
Why does the o-minimality condition only specify the structure of one-variable definable sets? How does tameness extend to higher dimensions?
Think about your answer, then reveal below.
Model answer: The cell decomposition theorem shows that the one-variable condition propagates inductively. A cell in M¹ is a point or open interval (given by o-minimality). Cells in M² are defined as graphs of definable continuous functions over M¹ cells, or bands between two such graphs. This inductive construction extends to all Mⁿ. Because every definable set in Mⁿ can be partitioned into finitely many such cells, the one-variable condition is strong enough to control geometry in all dimensions.
The key structural insight is that the condition at dimension 1 bootstraps to give full geometric control at every dimension. Without cell decomposition, o-minimality would be a curiosity. With it, o-minimal structures have finitely many connected components and uniformly bounded Betti numbers for all definable sets, generalizing classical results from differential topology to a purely model-theoretic setting.