Let $L$ be the language $\{R\}$ containing a single binary relation symbol. Consider the space $S_0(L)$ of complete, first-order $L$-theories. This is a seperable, compact Hausdorff space; what is its Cantor-Bendixson rank?

More precisely, define $X_\alpha \subseteq S_0(L)$ via: $X_0 = S_0(L)$, $X_{\alpha+1} = X_\alpha \backslash$ the isolated points of $X_\alpha$, and take intersections at limit stages. There will be some least $\alpha_0 < \omega_1$ with $X_{\alpha_0}$ perfect. So the question is:

What is this $\alpha_0$?

Some observations:

  • A theory $T \in S_0(L)$ is Cantor-Bendixson rank $0$ iff it is finitely axiomatizable; it is rank $1$ iff it is finitely axiomatizable over the axiom schema "I am not finitely axiomatizable," etc.
  • If we had chosen an infinite language then the Cantor-Bendixson rank would be $0$. Any finite language $L'$ containing a binary relation symbol has the same Cantor-Bendixson rank as $S_0(L)$, since $S_0(L)$ and $S_0(L')$ can be embedded as clopen subsets of each other.

The following is all I know so far:

Fact. $\alpha_0 \geq \omega$.

Proof. (Rewritten in more detail.) Fix $n$, and let $\phi$ be the sentence "$R$ is an equivalence relation with $n$ classes." Then we can write down all the complete extensions of $\phi$; namely let $(m_0, m_1, \ldots, m_{l-1})$ be a sequence of numbers of length $l \leq n$, and let $T_{\overline{m}}$ be the theory of the model $M_{\overline{m}}$ with $n$ equivalence classes $(A_0, \ldots, A_{n-1})$, with $A_i$ having size $m_i$ for $i < l$, and $|A_i| = \infty$ for $i \geq l$.

I claim that the Cantor-Bendixson rank of $T_{\overline{m}}$ is $k := n-|\overline{m}|$, i.e. $k = $ the number of infinite classes.

If $k = 0$ then $T_{\overline{m}}$ is finitely axiomatizable clearly. Conversely, an easy compactness argument shows that whenever $k > 0$, $T_{\overline{m}}$ cannot be finitely axiomatizable. (Same proof as that the theory of infinite sets is not finitely axiomatizable.)

Suppose we have verified the claim for $k < n$, and ${\overline{m}}$ has length $n-k-1$. Then consider the sentence $\psi := $"$R$ is an equivalence relation, it has $n$ classes, and there exist $a_0, \ldots, a_{n-k-1}$ all $R$-inequivalent, so that $a_i/R$ has size $m_i$." Then this axiomatizes $T_{\overline{m}}$ over the negation of all theories of rank $\leq k$: for suppose $M \models \psi$, with rank(Th($M)) \geq k+1.$ Then $M$ must have at least $k+1$ infinite classes, which together with $\psi$ yields that $M \models T_{\overline{m}}$.

And a similar compactness argument gets that these are all of the rank $k+1$ theories.

  • $\begingroup$ Would it be possible for you kindly to supply a little more explanation for your example? $\endgroup$ – Joel David Hamkins Apr 5 '16 at 17:08
  • 1
    $\begingroup$ Are there any plausible candidates besides $\omega_1^{CK}$? $\endgroup$ – Emil Jeřábek Apr 5 '16 at 21:34
  • 2
    $\begingroup$ Well, $\omega$ is the other candidate. $\endgroup$ – Douglas Ulrich Apr 5 '16 at 21:43
  • 2
    $\begingroup$ What was in Dana Scott's PhD thesis? I never saw it but I think it was about metric completions of theories, so perhaps there are results about the Cantor-Bendixson rank as well? $\endgroup$ – Andrej Bauer Apr 25 '16 at 6:07
  • 2
    $\begingroup$ Scott's thesis is available on ProQuest. I downloaded it, and I've emailed it to Douglas. Unfortunately it doesn't answer the question. $\endgroup$ – Alex Kruckman Apr 25 '16 at 22:44

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.