Skip to main content
1 of 4
Farmer S
  • 9.9k
  • 24
  • 42

I think that if you have a logic $\mathcal{L}$ which has downward Lowenheim-Skolem (for theories of arbitrary cardinality, i.e. if $T$ has cardinality $\lambda$ and $N$ is a model $A$ of size $\theta\geq\lambda$, and $\lambda\leq\gamma\leq\theta$, then we can find a sub-model of size $\gamma$ which is elementary in $A$ (w.r.t. the relevant formulas of the logic)), then its strong compactness number is $\leq$ the least supercompact $\kappa$.

For suppose $T$ is a theory in $\mathcal{L}$ such that all subsets of $T$ of size ${<\kappa}$ have a model. Let $\lambda$ be the cardinality of $T$; we consider $T\subseteq\lambda$. Let $j:V\to M$ with $\mathrm{crit}(j)=\kappa$ and $\mathcal{P}(\lambda)\subseteq M$ and $j\upharpoonright\lambda\in M$. Then $M$ thinks that every sub-theory of $j(T)$ of size $<j(\kappa)$ has a model. But we have $T\in M$ and $T\subseteq\lambda$, and note that $T$ is equivalent to $j``T\in M$, and this has size $\lambda<j(\kappa)$ in $M$. So $T$ has a model $B$ in $M$. But by Lowenheim-Skolem, then it has a model of size $\lambda$ in $M$. Since $\mathcal{P}(\lambda)\subseteq M$, this is truly a model in $V$.

Farmer S
  • 9.9k
  • 24
  • 42