Skip to main content
2 of 2
edited title
Monroe Eskew
  • 18.7k
  • 5
  • 53
  • 115

Is categoricity retained when reducing the language?

Suppose $\mathcal L \subseteq \mathcal L’$ are first-order languages, $\kappa$ is a cardinal, and $T’$ is a theory in $\mathcal L’$ that is $\kappa$-categorical. Let $T = T’ \restriction \mathcal L$. Is $T$ $\kappa$-categorical?

If $|\mathcal L’| = \kappa = \aleph_0$, then I can show the answer is yes using the Ryll-Nardzewski Theorem, which says that a countable theory is $\aleph_0$-categorical iff for each $n$, the number of $n$-types is finite.

Monroe Eskew
  • 18.7k
  • 5
  • 53
  • 115