Suppose $T$ is a complete first order theory with a finite axiomatization. Must $T$ be $\aleph_0$-categorical? If not are there any simple examples of finitely axiomatized complete first order theories which are not $\aleph_0$-categorical?

  • 3
    $\begingroup$ From a quick look at David Marker's model theory textbook (GTM 217), the answer is no. In exercise 2.5.16 he gives a finitely axiomatizable theory that is $\aleph_1$-categorical and without finite models (thus complete), but not $\aleph_0$-categorical. The theory looks to be anything but simple, however. I hope that someone can chime in with a nicer example. $\endgroup$ – Garrett Ervin Sep 28 '13 at 4:08

The answer is no: for a simple example, take $Th(\mathbb Z,<)$. The axioms are:

  • $<$ defines a linear order;

  • every element has a immediate successor and an immediate predecessor.

Getting examples which are lower in the classification (e.g. stable) is much harder, and this is the point of the exercise in Marker's book which Garrett mentioned in the comments above.

| cite | improve this answer | |

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.