MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is well-known that the theory of separably closed fields of some fixed positive characteristic and degree of imperfection is stable but not superstable. By a result of Cherlin and Shelah a superstable field is algebraically closed and many $\omega$-stable expansions of algebcaically fields are known ("coloured fields").

Is there an example of a non-$\omega$-stable superstable theory of (an expansion of) a field?

share|cite|improve this question
up vote 2 down vote accepted

Hi Dima,

The expansion of the complex field by a predicate for the set of integer powers of 2 is an example. This follows from the results of Günaydin and Van den Dries in

"The Fields of Real and Complex Numbers with a Small Multiplicative Group"

Their Corollary 6.2 says that if you expand an algebraically closed field K by a predicate for a multiplicative subgroup G with the Mann property (equivalently, the Mordell-Lang property, i.e. the induced structure on the subgroup is only the group structure), then the expanded structure has the same kind of stability as the group structure on the subgroup.

In the example, the structure induced on 2^Z is just the (multiplicative) group structure (by "Mordell-Lang for G_m"), and as a group 2^Z is isomorphic to the additive group of the integers, which is superstable, non-omega-stable.

Also, since coloured fields were mentioned, there's a version of Poizat's green field where the coloured group is elementarily equivalent to the additive group of the integers and the structure is then superstable, non-omega-stable. This is in my (J.D. Caycedo) thesis, Section 6.5, you can find it here:


share|cite|improve this answer
Hi, Juan Diego! Welcome to MO and thanks for the answer. Seems like the examples of strict stability are tightly connected to the structure (Z,+); I wonder if it is a mere coincidence. – Dima Sustretov Jul 9 '12 at 13:29

As far as I know (and as far as I heard at Shelah's talk in Krakow a few days ago), the only known fields which are stable are the well-known ones:

  1. The algebraically closed fields
  2. Separably closed fields
  3. Finite fields.

None of them satisfy your requirement.

share|cite|improve this answer
Dear Goldstern, I am unsure what you mean by this statement. Surely there are known stable theories of fields that do not fit the list in the sense that their structure is not of a pure algebraically or separably closed field, e.g. the "bad field" of Baudisch-Martin-Pizarro-Hils-Wagner and all kinds of fields with "coloured points" constructed by Poizat. – Dima Sustretov Jul 8 '12 at 20:56
I may have misunderstood your question. I meant fields in the language of rings. – Goldstern Jul 8 '12 at 21:54
"A superstable non-ω-stable expansion of a field" would be a more precise term. I have updated the question. – Dima Sustretov Jul 9 '12 at 8:42

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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