Artificial intelligent assistant

Are there exist any aleph-one categorical theories which are not strongly minimal? Is every aleph-one categorical theory strongly minimal?Are there exist any aleph-one categorical theories which are not strongly minimal?

Consider the theory of two equal-cardinality infinite sets:

* The language has two unary predicates $U$ and $V$ and a binary relation $E$.

* The theory says that $U$ and $V$ partition the universe, that $E$ defines a bijection between $U$ and $V$, and that the universe is infinite.




This is in fact totally categorical, but not strongly minimal - indeed, _every_ model has infinite coinfinite definable sets!

* * *

Similarly, you can "glue a pure set" to any uncountably categorical theory to completely break minimality.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy 9b6f6bdc69bd48e2a91dca2223b1098c