0
$\begingroup$

$\textrm{Definition:}$ An infinite structure $\mathcal{M}$ is said to be minimal if every definable subset with parameters is finite or cofinite.

$\textrm{Case one:}$ In the above definition, namely in a minimal structure $\mathcal{M}$, if the condition holds " in every elementary extension of $\mathcal{M} $ ", then it is said $\mathcal{M}$ is a strongly minimal structure.

$\textrm{Case two:}$ An infinite structure $\mathcal{M}$ which is both minimal and ordered by $<$, is said to be an O-minimal structure if every definable subset with parameters is a finite union of intervals or points. Namely, if we add two following changes to the definition of a minimal structure, then we get an O-minimal structure:

  • To add $<$ a totally ordering relation

  • A restriction on definable sets, I mean being " intervals and pints ",( correct this second change if I'm wrong )

So, if one wants to compare these, one can say O-minimality is analogous to minimality,

in minimality, one can suppose the definable sets are definable using nothing but $=$ equality relation.

in O-minimality, one can suppose the definable sets are definable using nothing but $<$ order relation.

Up to here, I don't see any similarity between strong minimality and O-minimality. Specifically, because that one, namely strong minimality deals with the expansions and not relations. (only they are both minimal structures)

My question is how much the following sentence about O-minimality is true and how? " The name and the definition parallel the situation in a strongly minimal set, only that the setting includes now an ordering of the universe, which implies that the theory is unstable."

Except for their definitions, how much O-minimality and strong minimality have common or similar properties?

$\endgroup$
5
  • 1
    $\begingroup$ An o-minimal structure is not minimal. For example, $(\mathbb{R},<)$ is o-minimal, but the unit interval $(0,1)$, defined by $0 < x \land x < 1$, is neither finite nor cofinite. So your definition "An infinite structure $\mathcal{M}$ which is both minimal and ordered by $<$, is said to be an O-minimal structure if..." is incorrect. $\endgroup$ – Alex Kruckman May 5 '20 at 16:13
  • 1
    $\begingroup$ There seem to be three quite distinct questions here: (1) At the start, it seems you're asking why the definition of o-minimality doesn't mention elementary extensions, while the definition of strong minimality does mention elementary extensions. (2) Then you ask about the meaning of a particular quote. (When you include a quote, you should always cite the source of the quote.) (3) At the end, it seems like you're asking a much more general question about "similar properties" between strong minimality and o-minimality. Can you clarify what you're asking or focus the question more? $\endgroup$ – Alex Kruckman May 5 '20 at 16:17
  • $\begingroup$ Yes, you are right. I was wrong. I was trying to extract the definition of o-minimality from minimality! :) yes, my definition is incorrect based on your example. No, I didn't think about your first question. I knew $ (\mathbb{N}, < ) $ is minimal but not strongly minimal. So I put strong minimality aside, and I thought perhaps there exists a kind of similarity or relation between two other ones, I mean minimality and o-minimality. Specifically because of the presence of relational symbols in them. Why they, model theorists use minimal terminology in them, especially in o-minimal structures? $\endgroup$ – Maryam Ajorlou May 6 '20 at 10:12
  • $\begingroup$ I quoted here ub.edu/modeltheory/documentos/HistoryMT.pdf , paragraph 10 $\endgroup$ – Maryam Ajorlou May 6 '20 at 10:20
  • $\begingroup$ For similar properties, I wanted to know their behavior aspect of for example model completeness, quantifier elimination, and so on. $\endgroup$ – Maryam Ajorlou May 6 '20 at 10:29
1
$\begingroup$

Here is a theme:

If we impose strong enough conditions on definable subsets of $M^1$ (formulas $\varphi(x,\overline{b})$ where $x$ is a single variable), then we can use this to understand definable subsets of $M^n$ for all $n$ (formulas $\varphi(\overline{x},\overline{b})$ where $\overline{x}$ is a tuple of variables).

Here are some examples of "strong enough conditions":

  • Minimality: Every definable subset of $M^1$ is finite or cofinite. Equivalently, definable by a quantifier-free formula in the empty language.
  • o-minimality: Every definable subset of $M^1$ is a finite union of points and intervals (with respect to a distinguished linear order $<$ in the language). Equivalently, definable by a quantifier-free formula in the language $\{<\}$.
  • $C$-minimality: Every definable subset of $M^1$ is definable by a quantifier-free formula in the language $\{C\}$, where $C$ is a distinguished $C$-relation in the language.
  • Others, like $P$-minimality, weak o-minimality, etc.

Now for each of the above, we could impose these restrictions on definable sets at one of two levels: We say $M$ is minimal/o-minimal/etc. if the restriction holds for definable subsets of $M^1$. And we say $M$ is strongly minimal/o-minimal/etc. if the restriction holds not just for $M$, but for all models of the complete theory $T = \text{Th}(M)$. Note that the first option is a property of a single structure, while the second is a property of a complete theory.

Sometimes the two notions are equivalent. This happens for o-minimality: Knight, Pillay, and Steinhorn proved that if a structure $M$ is o-minimal, then it is strongly o-minimal. So people don't bother to include the word "strong". On the other hand, minimality is not equivalent to strong minimality (a counterexample is the structure $(\mathbb{N},<)$: it is minimal, but no proper elementary extension is minimal). Strong minimality is more useful than minimality in model theory (this is not so surprising, since we often want to use the compactness theorem and move between models), so you rarely here about minimality without the word "strong" attached.

Historically, strong minimality emerged quite early in model theory, due to its prominant role in the Baldwin-Lachlan theorem in the early 1970s. Much of Shelah's stability theory can be seen as a generalization of the behavior of strongly minimal theories (and yes, every strongly minimal theory is stable).

o-minimality was isolated later, by van den Dries in the mid 1980s. Pillay and Steinhorn named it o-minimality, noting the similarity with the definition of strong minimality. The other minimality notions arose later: once a theme has been enunciated, variations abound.

So the quote by Casanovas you give in the question is pretty straightforward: the definitions have obvious similarities, strongly minimal theories are stable, but o-minimal theories are also tame, despite being unstable (because they include a linear order).

Ok, in what ways are strongly minimal an o-minimal theories similar?

The main way is that they're both instances of the theme: we get a good understanding of definable subsets of $M^n$ for all $n$. In o-minimal theories, this is via the notion of cell decomposition: every definable set is a finite union of particularly simple definable sets called cells. In strongly minimal theories, every definable set has a Morley rank, and it can be decomposed into a finite union of "irreducible" definable sets of that rank. In both settings, we can think of arbitrary definable sets "geometrically", though in the o-minimal case we generalize semialgebraic geometry (polynomial equations and inequalities over $\mathbb{R}$), while in the strongly minimal case we generalize classical algebraic geometry (polynomial equations over $\mathbb{C}$).

Another feature that strongly minimal and o-minimal theories share is that the algebraic closure operator $\text{acl}$ gives rise to a pregeometry. This allows us to assign a natural dimension to each definable set and each model.

In terms of other abstract model theoretic properties, strongly minimal and o-minimal theories also tend to lie on the "tame" side of model-theoretic properties that can be described as saying there is no "randomness" in definable sets. For example, strongly minimal and o-minimal theories are all NIP and dp-minimal and VC-minimal (the latter two properties also have "minimality" in their names, but their definitions don't quite fit the form of the examples I gave above).

One last thing: You explicitly asked in the comments about model completeness and quantifier elimination. Model-theoretic properties come in two flavors: langauge-dependent and language-independent. A language-independent property only refers to the class of definable sets and to the elementary substructure relation. A language-dependent property may refer to the syntax of the formulas defining those sets and to the substructure relation.

Model completeness and quantifier elimination are language-dependent properties. Strong minimality, o-minimality, stability, NIP, etc. are language-independent properties.

You should never expect to have implications between language-independent properties and language-dependent properties: they're just at different levels. A good example to keep in mind to remind yourself of this is the Morleyization construction. If $T$ is any theory (let's say without quantifier elimination), then there is another theory $T'$, the Morleyization of $T$, obtained by adding a new relation symbol $R_\varphi$ for each formula $\varphi$ in the language of $T$ and axioms asserting that $R_\varphi$ is equivalent to $\varphi$. Then $T'$ has the same class of models as $T$ (up to reduct and unique expansion) and models of $T'$ have the same definable sets as the corresponding models of $T$. So $T$ and $T'$ agree on all language-independent properties, but $T'$ has quantifier elimination and $T$ does not.

$\endgroup$
1
  • $\begingroup$ A very perfect answer! Thank you so much for all paragraphs! I studied it very carefully. Also thank you for precise definitions and historical notes $\endgroup$ – Maryam Ajorlou May 10 '20 at 21:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.