2
$\begingroup$

Let $T$ be a complete theory in a countable language (with only infinite models). Recall the spectrum function: $I(\aleph_\alpha,T)=$ the number of non-isomorphic models of $T$ of cardinality $\aleph_\alpha$. We also recall that $I^*(\aleph_\alpha,T)=|\{M\models T:|M|\leq\aleph_\alpha\}|$ (clearly, we mod-out by isomorphism).

Edit:

Note that $I^*(\aleph_\alpha,T)=|\cup_{\beta \leq \alpha}I(\aleph_\beta,T)|$

Example: Note that if $T$ is dense linear ordering without endpoints or the random graph, then $I^*(\aleph_1,T)=2^{\aleph_1}$

Furthermore, we note that under GCH, we have that if $T$ is uncountably categorical, $I^*(\aleph_{\omega_2},T)=2^{\aleph_1}$

My question is as follows: does there exist some $\kappa$ such that for all $T$ we have $I^*(\xi_T,T)=\kappa$ for some $\xi_T$? What if we assume GCH?

Thanks!

$\endgroup$
5
  • $\begingroup$ I can't quite parse the question. $\endgroup$
    – Asaf Karagila
    Jun 24, 2014 at 17:29
  • $\begingroup$ @AsafKaragila; Hope my edit helps. $\endgroup$ Jun 24, 2014 at 17:42
  • 3
    $\begingroup$ Correction: $I^*(\aleph_1,DLO)=2^{\aleph_1}$, and the same for the random graph. Every countable unstable theory (and more generally, all countable theories on the wrong side of Shelah's Main Gap) have $2^\kappa$ models in all uncountable $\kappa$. $\endgroup$ Jun 24, 2014 at 20:02
  • $\begingroup$ @AlexKruckman; You're right. I'll fix that. $\endgroup$ Jun 24, 2014 at 20:11
  • $\begingroup$ I should also mention that I cheated a little and tweaked the definition of $I^*$ to be $I^*(\aleph_\alpha,T)=|\{M\models T: |M|<\aleph_\alpha\}|$. $\endgroup$ Jun 26, 2014 at 21:58

1 Answer 1

1
$\begingroup$

I finally made an easy proof of this:

From the Main Gap Theorem, we have that for any complete theory $T$ in a countable language, one of the following holds:

$$\forall \alpha>0, I(T,\aleph_\alpha)=2^{\aleph_\alpha}$$

or

$$\forall \alpha>0, I(T,\aleph_\alpha)<\beth_{\omega_1}(\alpha)$$

Let $\kappa=\beth_{\omega_1}$

Case 1: $\forall \alpha>0, I(T,\aleph_\alpha)=2^{\aleph_\alpha}$

Note that $I^-(T,\beth_\omega)=\bigcup_{\aleph_\beta < \beth_{\omega_1}}I(T,\aleph_\beta)=\bigcup_{\aleph_\beta < \beth_{\omega_1}}2^{\aleph_\beta}=\beth_\omega $

Case 2: $\forall \alpha>0, I(T,\aleph_\alpha)<\beth_{\omega_1}(\alpha)$

Note that $I^-(T,\aleph_{\beth_{\omega_1}})=\bigcup_{\beta<\omega_1}I(T,\aleph_\beta)$

Now, we have that $\bigcup_{\beta<\omega_1}\{1\}\leq \bigcup_{\beta<\omega_1}I(T,\aleph_\beta)\leq \bigcup_{\beta<\omega_1}\beth_{\omega_1}(\beta)$

$\implies \beth_{\omega_1}\leq \bigcup_{\beta<\omega_1}I(T,\aleph_\beta)\leq \bigcup_{\beta<\omega_1}\beth_{\omega_1}$

$\implies\beth_{\omega_1}\leq \bigcup_{\beta<\omega_1}I(T,\aleph_\beta)\leq \beth_{\omega_1}$

$\implies \beth_{\omega_1}=\bigcup_{\beta<\omega_1}I(T,\aleph_\beta)= I^-(T,\aleph_{\beth_{\omega_1}})$

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .