Skip to main content
2 of 3
Typo in title
James E Hanson
  • 12.5k
  • 3
  • 37
  • 68

Unstable structures with unstable $\aleph_0$-categorical reducts

Suppose $M$ is a first-order structure which is unstable. If necessary, assume it is $\aleph_0$-saturated (or more, but I don't think it matters beyond that).

Are there any interesting criteria for determining whether $M$ has an unstable $\aleph_0$-categorical reduct? Was this problem considered? (Or any related problem, with "unstable" replaced by some other relevant adjective.)

(By reduct I mean a structure obtained from $M$ by expanding it by definitions, possibly allowing parameters, and then forgetting some language; for this problem, I think we can equivalently replace "reduct" by "a structure interpreted in $M$".)

Note that the question trivialises when we drop "unstable", since the trivial reduct is $\aleph_0$-categorical.

Note also that it is enough to consider reducts with only one relational symbol, since that's all we need to witness unstability. Thus, the question would be resolved if we knew how to determine whether, given a formula $\varphi(x,y)$, the reduct to $\varphi$ is $\aleph_0$-categorical.

I guess this question does not have a trivial answer for arbitrary $M$, since if this was true (that every unstable structure admits an unstable $\aleph_0$-categorical reduct), it would follow (by the work of Pierre Simon) that the conjecture (of Shelah IIRC) that every unstable NIP theory defines an infinite linear order is true, which to my knowledge remains open (and I think I remember Pierre saying that he thinks it's probably not true).

tomasz
  • 1.3k
  • 7
  • 18